A Formal Approach to Modelling Time Properties of Service-Oriented Systems ?

We provide a formal model for expressing and analysing time-related properties of service-oriented systems. Our approach extends SRML, a high-level modelling language that we have been developing in the SENSORIA project. We introduce new primitives for SRML that capture several kinds of delays that can occur during service provision (e.g., the time taken by components to process events and perform computations, the time taken by the SOA middleware for discovering, selecting and binding services, etc.). Finally, we show how we can use the stochastic process algebra PEPA and its development environment to represent and analyse time properties of SRML models.

[1]  Stephen Gilmore,et al.  Performance modelling with the Unified Modelling Language and stochastic process algebras , 2003 .

[2]  Roberto Bruni,et al.  Sessions and Pipelines for Structured Service Programming , 2008, FMOODS.

[3]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[4]  Laura Bocchi,et al.  A Use-Case Driven Approach to Formal Service-Oriented Modelling , 2008, ISoLA.

[5]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[6]  Laura Bocchi,et al.  A Formal Approach to Service Component Architecture , 2006, WS-FM.

[7]  José Luiz Fiadeiro,et al.  A Coordination Model for Service-Oriented Interactions , 2008, COORDINATION.

[8]  Roberto Gorrieri,et al.  Reasoning About Interaction Patterns in Choreography , 2005, EPEW/WS-FM.

[9]  José Luiz Fiadeiro,et al.  A Model-Checking Approach for Service Component Architectures , 2009, FMOODS/FORTE.

[10]  Marco Aiello,et al.  International Conference on Service Oriented Computing , 2010, International Conference on Service Oriented Computing.

[11]  Nicola Zannone,et al.  Formal Analysis of BPMN Via a Translation into COWS , 2008, COORDINATION.

[12]  Mirco Tribastone.  The PEPA Plug-in Project , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

[13]  Lei Li,et al.  Performance engineering of service compositions , 2006, SOSE '06.

[14]  Diego Latella,et al.  MarCaSPiS: a Markovian Extension of a Calculus for Services , 2009, SOS@ICALP.

[15]  The ipclib PEPA Library , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

[16]  Mario Bravetti,et al.  Service oriented computing from a process algebraic perspective , 2007, J. Log. Algebraic Methods Program..

[17]  Roberto Gorrieri,et al.  SOCK : A calculus for service oriented computing , 2006 .

[18]  Paola Quaglia,et al.  Stochastic COWS , 2007, ICSOC.

[19]  Maurice H. ter Beek,et al.  An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications , 2007, FMICS.

[20]  Ivan Lanese,et al.  Contract-Driven Implementation of Choreographies , 2009, TGC.

[21]  Laura Bocchi,et al.  An abstract model of service discovery and binding , 2010, Formal Aspects of Computing.

[22]  Stephen Gilmore,et al.  Location-Aware Quality of Service Measurements for Service-Level Agreements , 2007, TGC.