Web Services and Formal Methods

In this paper, we consider the web service business protocol synthesis problem, i.e., the automated construction of a new target protocol by reusing some existing ones. We review recent research works and challenges and discuss the associated computational problems both in bounded and unbounded settings.

[1]  Stephan Mennicke,et al.  The Petri Net API A Collection of Petri Net-related Functions , 2010, AWPN.

[2]  Fabio Casati,et al.  Deriving Protocol Models from Imperfect Service Conversation Logs , 2008, IEEE Transactions on Knowledge and Data Engineering.

[3]  Wil M. P. van der Aalst,et al.  Multiparty Contracts: Agreeing and Implementing Interorganizational Processes , 2010, Comput. J..

[4]  Alessandro Sperduti,et al.  PLG: A Framework for the Generation of Business Process Models and Their Execution Logs , 2010, Business Process Management Workshops.

[5]  Niels Lohmann,et al.  Wendy: A Tool to Synthesize Partners for Services , 2011, Fundam. Informaticae.

[6]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[7]  Stefan Haar,et al.  Conformance Relations for Labeled Event Structures , 2012, TAP@TOOLS.

[8]  Arjan J. Mooij,et al.  Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers , 2010, WS-FM.

[9]  Fabio Casati,et al.  Event correlation for process discovery from web service interaction logs , 2011, The VLDB Journal.

[10]  Emilio Tuosto,et al.  A Modular Toolkit for Distributed Interactions , 2010, PLACES.

[11]  Mike P. Papazoglou,et al.  Web Services - Principles and Technology , 2007 .

[12]  Wil M. P. van der Aalst,et al.  Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? , 2003, Inf. Technol. Manag..

[13]  Mario Bravetti,et al.  Contract-Based Discovery and Composition of Web Services , 2009, SFM.

[14]  Walter Vogler,et al.  Modular Construction and Partial Order Semantics of Petri Nets , 1992, Lecture Notes in Computer Science.

[15]  Niels Lohmann,et al.  Operating Guidelines for Finite-State Services , 2007, ICATPN.

[16]  Christian Stahl,et al.  Deciding Substitutability of Services with Operating Guidelines , 2009, Trans. Petri Nets Other Model. Concurr..

[17]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[18]  Paul W. P. J. Grefen,et al.  Measures and mechanisms for process monitoring in evolving business networks , 2012, Data Knowl. Eng..

[19]  Bertrand Meyer,et al.  The Role of Contracts in Distributed Development , 2009, SEAFOOD.

[20]  Emilio Tuosto,et al.  Synthesising Choreographies from Local Session Types , 2012, CONCUR.

[21]  Remco M. Dijkman,et al.  Petri Net Transformations for Business Processes - A Survey , 2009, Trans. Petri Nets Other Model. Concurr..

[22]  Boudewijn F. van Dongen,et al.  Replaying history on process models for conformance checking and performance analysis , 2012, WIREs Data Mining Knowl. Discov..

[23]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[24]  Schahram Dustdar,et al.  VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs , 2011, Software & Systems Modeling.

[25]  Kees M. van Hee,et al.  Soundness-Preserving Refinements of Service Compositions , 2010, WS-FM.

[26]  Emilio Tuosto,et al.  Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations , 2012, ICE.

[27]  Wil M. P. van der Aalst,et al.  Conformance checking of service behavior , 2008, TOIT.