Analysing time-related properties of service-oriented systems

Laura Bocchi, José Fiadeiro, Monika Solanki, Stephen Gilmore, João Abreu, Vishnu Vankayala

Research output: Chapter in Book/Report/Conference proceedingChapter


We present a formal approach for expressing and analysing time-related properties of service-oriented systems. Our aim is to make it possible for analysts to determine, based on models of services developed at early stages of design, what quality-of-service properties can be expected from, or offered by, the providers of those services. Our approach is based on an extension of SRML, a high-level modelling language developed in the Sensoria project for architectural and behavioural specification of dynamically reconfigurable service-oriented systems. The proposed language extension offers primitives that capture several kinds of delays that may occur during service provision. Quantitative analysis is supported by mapping SRML models to PEPA, a Markovian process algebra supported by a range of efficient software tools that can either confirm that required properties are met or provide feedback that can be used to improve the SRML model.

Original languageEnglish
Title of host publicationHandbook of Research on Service-Oriented Systems and Non-Functional Properties
Subtitle of host publicationFuture Directions
PublisherIGI Global
Number of pages25
ISBN (Electronic)9781613504338
ISBN (Print)9781613504321
Publication statusPublished - 1 Dec 2011

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Analysing time-related properties of service-oriented systems'. Together they form a unique fingerprint.

Cite this