The sensoria reference modelling language

José Fiadeiro; Antónia Lopes; Laura Bocchi; João Abreu

doi:10.1007/978-3-642-20401-2_5

The sensoria reference modelling language

José Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Chapter

11 Citations (Scopus)

Abstract

This chapter provides an overview of SRML - the Sensoria Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodological approach that SRML supports, and the mathematical semantics the underpins the modelling approach, including techniques for qualitative and quantitative analysis.

Original language	English
Title of host publication	Rigorous Software Engineering for Service-Oriented Systems
Editors	Martin Wirsing, Matthias Holzl
Publisher	Springer
Pages	61-114
Number of pages	54
ISBN (Electronic)	9783642204012
ISBN (Print)	9783642204005
DOIs	https://doi.org/10.1007/978-3-642-20401-2_5
Publication status	Published - 9 Nov 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6582
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

State Machine
Service level agreement
Layer Protocol
Service Module
External Service

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-20401-2_5

Cite this

Fiadeiro, J., Lopes, A., Bocchi, L., & Abreu, J. (2011). The sensoria reference modelling language. In M. Wirsing, & M. Holzl (Eds.), Rigorous Software Engineering for Service-Oriented Systems (pp. 61-114). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6582). Springer . https://doi.org/10.1007/978-3-642-20401-2_5

@inbook{a15364c2ee6d4f7ea1a5b1b1629f5b8c,

title = "The sensoria reference modelling language",

abstract = "This chapter provides an overview of SRML - the Sensoria Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodological approach that SRML supports, and the mathematical semantics the underpins the modelling approach, including techniques for qualitative and quantitative analysis.",

keywords = "State Machine, Service level agreement, Layer Protocol, Service Module, External Service",

author = "Jos{\'e} Fiadeiro and Ant{\'o}nia Lopes and Laura Bocchi and Jo{\~a}o Abreu",

year = "2011",

month = nov,

day = "9",

doi = "10.1007/978-3-642-20401-2_5",

language = "English",

isbn = "9783642204005",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer ",

pages = "61--114",

editor = "Martin Wirsing and Matthias Holzl",

booktitle = "Rigorous Software Engineering for Service-Oriented Systems",

}

Fiadeiro, J, Lopes, A, Bocchi, L & Abreu, J 2011, The sensoria reference modelling language. in M Wirsing & M Holzl (eds), Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6582, Springer , pp. 61-114. https://doi.org/10.1007/978-3-642-20401-2_5

The sensoria reference modelling language. / Fiadeiro, José; Lopes, Antónia; Bocchi, Laura et al.
Rigorous Software Engineering for Service-Oriented Systems. ed. / Martin Wirsing; Matthias Holzl. Springer , 2011. p. 61-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6582).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - The sensoria reference modelling language

AU - Fiadeiro, José

AU - Lopes, Antónia

AU - Bocchi, Laura

AU - Abreu, João

PY - 2011/11/9

Y1 - 2011/11/9

N2 - This chapter provides an overview of SRML - the Sensoria Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodological approach that SRML supports, and the mathematical semantics the underpins the modelling approach, including techniques for qualitative and quantitative analysis.

AB - This chapter provides an overview of SRML - the Sensoria Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodological approach that SRML supports, and the mathematical semantics the underpins the modelling approach, including techniques for qualitative and quantitative analysis.

KW - State Machine

KW - Service level agreement

KW - Layer Protocol

KW - Service Module

KW - External Service

UR - http://www.scopus.com/inward/record.url?scp=80455126041&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-20401-2_5

DO - 10.1007/978-3-642-20401-2_5

M3 - Chapter

AN - SCOPUS:80455126041

SN - 9783642204005

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 61

EP - 114

BT - Rigorous Software Engineering for Service-Oriented Systems

A2 - Wirsing, Martin

A2 - Holzl, Matthias

PB - Springer

ER -

Fiadeiro J, Lopes A, Bocchi L, Abreu J. The sensoria reference modelling language. In Wirsing M, Holzl M, editors, Rigorous Software Engineering for Service-Oriented Systems. Springer . 2011. p. 61-114. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-20401-2_5

The sensoria reference modelling language

Abstract

Publication series

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this