@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",
}