Analysing Time-Related Properties of Service-Oriented Systems-Reference-Cited by-同舟云学术

Analysing Time-Related Properties of Service-Oriented Systems

Published:2012 Issue: Volume: Page:36-60
ISSN:
Container-title:Handbook of Research on Service-Oriented Systems and Non-Functional Properties
language:
Short-container-title:

Author:

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

Affiliation:

1. University of Leicester, UK

2. The University of Edinburgh, UK

3. Altitude Software, Portugal

4. Lapilluz Software Solutions, India

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.

Publisher

IGI Global

Reference30 articles.

1. A coordination model for service-oriented interactions. In Coordination Languages and Models;J.Abreu;LNCS,2008

2. A model-checking approach for service component architectures. In Formal Methods for Open Object-Based Distributed Systems;J.Abreu;LNCS,2009

3. Argent-Katwala, A., Bradley, J., Clark, A., & Gilmore, S. (2008). Location-aware quality of service measurements for service-level agreements. In Trustworthy Global Computing (TGC’07), Vol. 4912 of LNCS, (pp. 222–239). Springer

4. Model-based performance prediction in software development: a survey

5. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., & Spoletini, P. (2007). A timed extension of wscol. In Web Services (ICWS’07), (pp. 663–670). IEEE.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A formal model for service-oriented interactions;Science of Computer Programming;2012-05

2. A model for dynamic reconfiguration in service-oriented architectures;Software & Systems Modeling;2012-02-19

3. Early Model-Analysis of Logistics Systems;Service-Oriented Computing;2011