Structured Service Composition

Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper, we outline a semi-automatic approach for composing a set of services with data flow dependencies into a structured process model. These data flow dependencies can be automatically derived from the input and output messages of each service, but some additional user input is needed to annotate dependencies with specific branching types. Heart of the approach is a fully automatic composition algorithm that given an annotated dependency graph constructs a structured composition. We illustrate the approach by applying it to an example case study from the CrossWork project, which studies the dynamic formation of cross-organisational workflows.

[1]  Quan Z. Sheng,et al.  The Self-Serv Environment for Web Services Composition , 2003, IEEE Internet Comput..

[2]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[3]  Herman Lam,et al.  A Semi-Automatic Approach to Composite Web Services Discovery, Description and Invocation , 2004, Int. J. Web Serv. Res..

[4]  Mike P. Papazoglou,et al.  Proceedings of the 11th International Conference on Service-Oriented Computing (ICSOC 2013) , 2004 .

[5]  Jana Koehler,et al.  Untangling Unstructured Cyclic Flows - A Solution Based on Continuations , 2004, CoopIS/DOA/ODBASE.

[6]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[7]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[8]  Robert Meersman,et al.  On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE , 2004, Lecture Notes in Computer Science.

[9]  Akhil Kumar,et al.  An Analysis and Taxonomy of Unstructured Workflows , 2005, Business Process Management.

[10]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[11]  Shiyong Lu,et al.  A model for abstract process specification, verification and composition , 2004, ICSOC '04.

[12]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[13]  Mihhail Matskin,et al.  Value-Added Web Services Composition Using Automatic Program Synthesis , 2002, WES.

[14]  Diego Calvanese,et al.  Automatic Service Composition Based on Behavioral Descriptions , 2005, Int. J. Cooperative Inf. Syst..

[15]  Antonio Brogi,et al.  Towards Semi-automated Workflow-based Aggregation of Web Services , 2005, CIbSE.

[16]  Fabio Casati,et al.  Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings , 2005, ICSOC.

[17]  Cesare Pautasso,et al.  The JOpera visual composition language , 2005, J. Vis. Lang. Comput..

[18]  Sheila A. McIlraith,et al.  Web Services, E-Business, and the Semantic Web , 2004, Lecture Notes in Computer Science.

[19]  Mike P. Papazoglou,et al.  Service components for managing the life-cycle of service compositions , 2004, Inf. Syst..

[20]  H Rik Eshuis,et al.  Statecharting Petri nets , 2005 .

[21]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[22]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[23]  Amit P. Sheth,et al.  Semantic E-Workflow Composition , 2003, Journal of Intelligent Information Systems.

[24]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[25]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[26]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

[27]  Ahmed K. Elmagarmid,et al.  Composing Web services on the Semantic Web , 2003, The VLDB Journal.

[28]  Fabio Casati,et al.  Dynamic and adaptive composition of e-services , 2001, Inf. Syst..