The Sensoria Reference Modelling Language

This chapter provides an overview of SRML -- the SENSORIA Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodological approach that SRML supports, and the mathematical semantics the underpins the modelling approach, including techniques for qualitative and quantitative analysis.

[1]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[2]  Fabio Casati,et al.  Technologies for E-Services , 2001, Lecture Notes in Computer Science.

[3]  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.

[4]  Irène Guessarian.  Semantics of Systems of Concurrent Processes , 1990, Lecture Notes in Computer Science.

[5]  Nora Koch,et al.  A Model-Driven Approach to Service Orchestration , 2008, 2008 IEEE International Conference on Services Computing.

[6]  Rocco De Nicola,et al.  Action versus State based Logics for Transition Systems , 1990, Semantics of Systems of Concurrent Processes.

[7]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[8]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[9]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[10]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

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

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

[13]  Roberto Bruni,et al.  SCC: A Service Centered Calculus , 2006, WS-FM.

[14]  Laura Bocchi,et al.  Algebraic Semantics of Service Component Modules , 2006, WADT.

[15]  Alexander Kurz,et al.  Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings , 2009, CALCO.

[16]  Laura Bocchi,et al.  From BPEL to SRML: A Formal Transformational Approach , 2007, WS-FM.

[17]  Kees M. van Hee,et al.  An SOA-based architecture framework , 2006, Int. J. Bus. Process. Integr. Manag..

[18]  Wolfgang Reisig,et al.  Towards a Theory of Services , 2008, UNISCON.

[19]  Manfred Broy,et al.  A formal model of services , 2007, TSEM.

[20]  Patricia Lago,et al.  A stakeholder-driven service life cycle model for SOA , 2007, IW-SOSWE '07.

[21]  Francesco Tiezzi,et al.  A Calculus for Orchestration of Web Services , 2007, ESOP.

[22]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[23]  R. Stephenson.  A and V , 1962, The British journal of ophthalmology.

[24]  Laura Bocchi,et al.  Analysing Time-Related Properties of Service-Oriented Systems , 2012 .

[25]  Ahmed Elfatatry,et al.  Dealing with change: components versus services , 2007, CACM.

[26]  John Derrick,et al.  Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings , 2007, FORTE.

[27]  L. Bocchi,et al.  A Formal Approach to Modelling Time Properties of Service-Oriented Systems ? , 2009 .

[28]  Laura Bocchi,et al.  Specifying and Composing Interaction Protocols for Service-Oriented System Modelling , 2007, FORTE.

[29]  Laura Bocchi,et al.  Engineering Service Oriented Applications: From StPowla Processes to SRML Models , 2008, FASE.

[30]  José Luiz Fiadeiro,et al.  A formal model for service-oriented interactions , 2012, Sci. Comput. Program..

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

[32]  Rocco De Nicola,et al.  Three logics for branching bisimulation , 1995, JACM.

[33]  David S. Rosenblum,et al.  QoS-Aware Service Composition in Dino , 2007, Fifth European Conference on Web Services (ECOWS'07).

[34]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[35]  Gordon S. Blair,et al.  A generic component model for building systems software , 2008, TOCS.

[36]  Andrew D. Gordon,et al.  Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.

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

[38]  João Pedro Abril de Abreu,et al.  Modelling business conversations in service component architectures , 2010 .

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

[40]  David Lee,et al.  Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings , 2009, FMOODS/FORTE.

[41]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[42]  W. Marsden.  I and J , 2012 .

[43]  Ugo Montanari,et al.  CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements , 2007, ESOP.

[44]  Wolfgang Reisig.  Modeling- and Analysis Techniques for Web Services and Business Processes , 2005, FMOODS.

[45]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[46]  Tao Yu,et al.  A broker-based framework for QoS-aware Web service composition , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

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

[48]  Remco M. Dijkman,et al.  Service-Oriented Design: A Multi-Viewpoint Approach , 2004, Int. J. Cooperative Inf. Syst..

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

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

[51]  Laura Bocchi,et al.  Service-Oriented Modelling of Automotive Systems , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[52]  Fabio Casati,et al.  Web service conversation modeling: a cornerstone for e-business automation , 2004, IEEE Internet Computing.

[53]  Pierluigi Plebani,et al.  Supporting policy-driven behaviors in web services: experiences and issues , 2004, ICSOC '04.

[54]  Nobuko Yoshida,et al.  Structured Communication-Centred Programming for Web Services , 2007, ESOP.

[55]  R. V. van Nieuwpoort,et al.  The Grid 2: Blueprint for a New Computing Infrastructure , 2003 .

[56]  Amit P. Sheth,et al.  Semantic Web Services and Web Process Composition, First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers , 2005, SWSWPC.

[57]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

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

[59]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

[61]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[62]  Frank Leymann,et al.  Web Services , 2004, Informatik-Spektrum.

[63]  Martin Wirsing,et al.  Extraction of Structured Programs from Specification Proofs , 1999, WADT.

[64]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[65]  José Luiz Fiadeiro,et al.  Structured Co-spans: An Algebra of Interaction Protocols , 2007, CALCO.