Unified Execution of Service Compositions (Short Paper)

Author

Gorlach, Katharina ; Leymann, Frank ; Claus, Volker

fYear

2013

fDate

16-18 Dec. 2013

Firstpage

162

Lastpage

167

Abstract

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.

Keywords

Web services; context-sensitive grammars; formal specification; specification languages; classification; context-sensitive grammars; formal grammars; formal queued automata; formal specifications; grammar-based execution; modeling languages; modeling paradigms; optimized automaton class; service composition execution; service composition models; specification languages; unified execution; Automata; Context; Engines; Grammar; Production; Runtime; Unified modeling language; Formal Automata; Formal Grammars; Service Composition; Unification; Web Service;

fLanguage

English

Publisher

ieee

Conference_Titel

Service-Oriented Computing and Applications (SOCA), 2013 IEEE 6th International Conference on

Conference_Location

Koloa, HI

Print_ISBN

978-1-4799-2701-2

Type

conf

DOI

10.1109/SOCA.2013.61

Filename

6717300