Analysing time-related properties of service-oriented systems

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

doi:10.4018/978-1-61350-432-1.ch003

Analysing time-related properties of service-oriented systems

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

Science and Engineering Office

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

1 Citation (Scopus)

Abstract

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 language	English
Title of host publication	Handbook of Research on Service-Oriented Systems and Non-Functional Properties
Subtitle of host publication	Future Directions
Publisher	IGI Global
Pages	36-60
Number of pages	25
ISBN (Electronic)	9781613504338
ISBN (Print)	9781613504321
DOIs	https://doi.org/10.4018/978-1-61350-432-1.ch003
Publication status	Published - 1 Dec 2011

ASJC Scopus subject areas

General Computer Science

Access to Document

10.4018/978-1-61350-432-1.ch003

Cite this

@inbook{73b78ee70c654da9b98d32060c374eeb,

title = "Analysing time-related properties of service-oriented systems",

abstract = "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.",

author = "Laura Bocchi and Jos{\'e} Fiadeiro and Monika Solanki and Stephen Gilmore and Jo{\~a}o Abreu and Vishnu Vankayala",

year = "2011",

month = dec,

day = "1",

doi = "10.4018/978-1-61350-432-1.ch003",

language = "English",

isbn = "9781613504321",

pages = "36--60",

booktitle = "Handbook of Research on Service-Oriented Systems and Non-Functional Properties",

publisher = "IGI Global",

}

TY - CHAP

T1 - Analysing time-related properties of service-oriented systems

AU - Bocchi, Laura

AU - Fiadeiro, José

AU - Solanki, Monika

AU - Gilmore, Stephen

AU - Abreu, João

AU - Vankayala, Vishnu

PY - 2011/12/1

Y1 - 2011/12/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84899159062

U2 - 10.4018/978-1-61350-432-1.ch003

DO - 10.4018/978-1-61350-432-1.ch003

M3 - Chapter

AN - SCOPUS:84899159062

SN - 9781613504321

SP - 36

EP - 60

BT - Handbook of Research on Service-Oriented Systems and Non-Functional Properties

PB - IGI Global

ER -

Analysing time-related properties of service-oriented systems

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this