Artikel in Tagungsband INPROC-2013-60

Bibliograph.
Daten
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).
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
S. 162-167, englisch.
IEEE Computer Society Conference Publishing Services, Dezember 2013.
Artikel in Tagungsband (Konferenz-Beitrag).
CR-Klassif.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)
Kurzfassung

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.

Volltext und
andere Links
PDF (464678 Bytes)
Kontaktgoerlach@iaas.uni-stuttgart.de
Abteilung(en)Universität Stuttgart, Institut für Architektur von Anwendungssystemen
Eingabedatum5. März 2014
   Publ. Institut   Publ. Informatik