Service Oriented Architecture is an important trend in the development of services composed of loosely coupled, heterogeneous and interacting components. We first consider COWS, which is a language tailored to model the behavioural aspects of these systems. We analyse the peculiarities of the communication mechanism of the language, a key ingredient in its modelling capabilities, presenting a separation result between a fragment of CCS equipped with global priorities and the fragment of COWS relevant for its communication mechanism. We then consider a stochastic approach to model the quantitative aspects of Web Services through SCOWS, a stochastic extension of COWS. We present a prototype tool, named SCOWS_LTS, for the derivation of the complete representation of the behaviour of a SCOWS model as a Continuous Time Markov Chain. In order to validate the approach, a number of case studies are modelled in SCOWS considering both the SOA and the concurrency literature. Using PRISM as model checker, the results of the simulation phase are analysed using properties written to check the probabilistic behaviours of the considered systems.

Communication Priorities and Stochastic Measures for Web Services Modeling / Cappello, Igor. - (2012), pp. 1-172.

Communication Priorities and Stochastic Measures for Web Services Modeling

Cappello, Igor
2012-01-01

Abstract

Service Oriented Architecture is an important trend in the development of services composed of loosely coupled, heterogeneous and interacting components. We first consider COWS, which is a language tailored to model the behavioural aspects of these systems. We analyse the peculiarities of the communication mechanism of the language, a key ingredient in its modelling capabilities, presenting a separation result between a fragment of CCS equipped with global priorities and the fragment of COWS relevant for its communication mechanism. We then consider a stochastic approach to model the quantitative aspects of Web Services through SCOWS, a stochastic extension of COWS. We present a prototype tool, named SCOWS_LTS, for the derivation of the complete representation of the behaviour of a SCOWS model as a Continuous Time Markov Chain. In order to validate the approach, a number of case studies are modelled in SCOWS considering both the SOA and the concurrency literature. Using PRISM as model checker, the results of the simulation phase are analysed using properties written to check the probabilistic behaviours of the considered systems.
2012
XXIV
2011-2012
Ingegneria e Scienza dell'Informaz (cess.4/11/12)
Information and Communication Technology
Quaglia, Paola
no
Inglese
Settore INF/01 - Informatica
File in questo prodotto:
File Dimensione Formato  
Igor_Cappello_-_PhD_Dissertation_-_Communication_Priorities_and_Stochastic_Measures_for_Web_Services_Modeling.pdf

accesso aperto

Tipologia: Tesi di dottorato (Doctoral Thesis)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 768.7 kB
Formato Adobe PDF
768.7 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/368369
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact