From Architectural to Behavioural Specification of Services

Many efforts are currently devoted to provide software developers with methods and techniques that can endow service-oriented computing with systematic and accountable engineering practices. To this purpose, a number of languages and calculi have been proposed within the Sensoria project that address different levels of abstraction of the software engineering process. Here, we report on two such languages and the way they can be formally related within an integrated approach that can lead to verifiable development of service components from more abstract architectural models of business activities.

[1]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[2]  Stefania Gnesi,et al.  A Model Checking Approach for Verifying COWS Specifications , 2008, FASE.

[3]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[4]  Cosimo Laneve,et al.  Foundations of Web Transactions , 2005, FoSSaCS.

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

[6]  Laura Bocchi,et al.  From Architectural to Behavioural Specification of Services ? — An implementation of SRML into COWS — , 2009 .

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

[8]  Niels Lohmann,et al.  A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 , 2007, WS-FM.

[9]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[10]  Alexander K. Petrenko,et al.  Electronic Notes in Theoretical Computer Science , 2009 .

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

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

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

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

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

[16]  Francesco Tiezzi,et al.  Regulating data exchange in service oriented applications , 2007, FSEN'07.

[17]  Nora Koch,et al.  MDD4SOA: Model-Driven Service Orchestration , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[18]  Francesco Tiezzi,et al.  Service Discovery and Negotiation With COWS , 2008, Electron. Notes Theor. Comput. Sci..

[19]  Francesco Tiezzi,et al.  C-clock-WS: A Timed Service-Oriented Calculus , 2007, ICTAC.

[20]  Roberto Bruni,et al.  Multiparty Sessions in SOC , 2008, COORDINATION.

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

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

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

[24]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[25]  Paola Mello,et al.  On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework , 2010, Multiagent Grid Syst..

[26]  João Costa Seco,et al.  The Conversation Calculus: A Model of Service-Oriented Computation , 2008, ESOP.

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

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

[29]  Rob J. van Glabbeek,et al.  On Specifying Timeouts , 2006, APC 25.

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

[31]  Flemming Nielson,et al.  Relational Analysis of Correlation , 2008, SAS.