Unified Execution of Service Compositions (Short Paper)

This paper discusses the unification of service composition based on formal specifications. The approach aims for a unified execution of service compositions that can be modeled by various specification languages covering different modeling paradigms. The unification of service composition models is realized based on formal grammars whereas the unification of service composition execution is realized based on formal queued automata. The approach introduces a classification of context-sensitive grammars for determining an optimized automaton class for the execution of service compositions. Finally, a prototype providing transformations of various modeling languages to formal grammars as well as the grammar-based execution of service compositions is presented.

[1]  Jan Mendling,et al.  A Comparison of XML Interchange Formats for Business Process Modelling , 2004, EMISA.

[2]  Alessandra Cherubini,et al.  Breadth-First Phrase Structure Grammars and Queue Automata , 1988, MFCS.

[3]  Richard Hull,et al.  Towards a Unified Model for Web Services Composition , 2005, ASIAN.

[4]  Wil M. P. van der Aalst,et al.  Advanced Workflow Patterns , 2000, CoopIS.

[5]  Frances M. T. Brazier,et al.  A Meta-Meta-Model for Seven Business Process Modeling Languages , 2013, 2013 IEEE 15th Conference on Business Informatics.

[6]  Dieter van Melkebeek.  Randomness and Completeness in Computational Complexity , 2001, Lecture Notes in Computer Science.

[7]  Frank Leymann.  BPEL vs. BPMN 2.0: Should You Care? , 2010, BPMN.

[8]  Roy Grønmo,et al.  Web service composition in UML , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[9]  Frank Leymann,et al.  Dynamic Service Provisioning for the Cloud , 2012, 2012 IEEE Ninth International Conference on Services Computing.

[10]  M Maja Pesic,et al.  Constraint-based workflow management systems : shifting control to users , 2008 .

[11]  Wojciech Zielonka,et al.  The Book of Traces , 1995 .

[12]  Frank Leymann,et al.  Towards Reference Passing in Web Service and Workflow-Based Applications , 2009, 2009 IEEE International Enterprise Distributed Object Computing Conference.

[13]  Ivan Lanese,et al.  Towards a Unifying Theory for Web Services Composition , 2006, WS-FM.

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