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)

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

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6582
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

Fingerprint

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

Cite this