The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Analysing Time-Related Properties of Service-Oriented Systems
|
Author(s): Laura Bocchi (University of Leicester, UK), José Fiadeiro (University of Leicester, UK), Monika Solanki (University of Leicester, UK), Stephen Gilmore (The University of Edinburgh, UK), João Abreu (Altitude Software, Portugal)and Vishnu Vankayala (Lapilluz Software Solutions, India)
Copyright: 2012
Pages: 25
Source title:
Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions
Source Author(s)/Editor(s): Stephan Reiff-Marganiec (University of Leicester, UK)and Marcel Tilly (European Microsoft Innovation Center, Germany)
DOI: 10.4018/978-1-61350-432-1.ch003
Purchase
|
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.
Related Content
Azeem Khan, Noor Zaman Jhanjhi, Dayang Hajah Tiawa Binti Awang Haji Hamid, Haji Abdul Hafidz bin Haji Omar.
© 2024.
30 pages.
|
Siva Raja Sindiramutty, Chong Eng Tan, Sei Ping Lau, Rajan Thangaveloo, Abdalla Hassan Gharib, Amaranadha Reddy Manchuri, Navid Ali Khan, Wee Jing Tee, Lalitha Muniandy.
© 2024.
67 pages.
|
Ruchi Doshi, Kamal Kant Hiran.
© 2024.
16 pages.
|
N. Ambika.
© 2024.
9 pages.
|
Siva Raja Sindiramutty, Wee Jing Tee, Sumathi Balakrishnan, Sukhminder Kaur, Rajan Thangaveloo, Husin Jazri, Navid Ali Khan, Abdalla Gharib, Amaranadha Reddy Manchuri.
© 2024.
54 pages.
|
Azeem Khan, NZ Jhanjhi, Dayang Hajah Tiawa Binti Awang Haji Hamid, Haji Abdul Hafidz bin Haji Omar.
© 2024.
22 pages.
|
Azeem Khan, Noor Zaman Jhanjhi, Dayang Hajah Tiawa Binti Awang Haji Hamid, Haji Abdul Hafidz bin Haji Omar.
© 2024.
36 pages.
|
|
|