| Bibliography | Görlach, Katharina; Leymann, Frank; Claus, Volker: Unified Execution of Service Compositions.
In: Proceedings of the 6th IEEE International Conference on Service Oriented Computing & Applications (SOCA 2013).
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 162-167, english.
IEEE Computer Society Conference Publishing Services, December 2013.
Article in Proceedings (Conference Paper).
|
|---|
| CR-Schema | D.2.11 (Software Engineering Software Architectures)
D.3.1 (Programming Languages Formal Definitions and Theory)
D.3.2 (Programming Language Classifications)
F.4.2 (Grammars and Other Rewriting Systems)
F.4.3 (Formal Languages)
H.4.1 (Office Automation)
|
|---|
| 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.
|
|---|
Full text and
other links | PDF (464678 Bytes)
|
|---|
| Contact | goerlach@iaas.uni-stuttgart.de |
|---|
| Department(s) | University of Stuttgart, Institute of Architecture of Application Systems
|
|---|
| Entry date | March 5, 2014 |
|---|