The sensoria reference modelling language

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

Research output: Chapter in Book/Report/Conference proceedingChapter

11 Citations (Scopus)


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 languageEnglish
Title of host publicationRigorous Software Engineering for Service-Oriented Systems
EditorsMartin Wirsing, Matthias Holzl
Number of pages54
ISBN (Electronic)9783642204012
ISBN (Print)9783642204005
Publication statusPublished - 9 Nov 2011

Publication series

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


  • State Machine
  • Service level agreement
  • Layer Protocol
  • Service Module
  • External Service

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'The sensoria reference modelling language'. Together they form a unique fingerprint.

Cite this