Technischer Bericht TR-2013-01

Görlach, Katharina: A Generic Transformation of Existing Service Composition Models to a Unified Model.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Technischer Bericht Informatik Nr. 2013/01.
90 Seiten, englisch.
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.3.2 (Semantics of Programming Languages)
F.4.2 (Grammars and Other Rewriting Systems)
H.4.1 (Office Automation)

This report presents a generic transformation from existing service composition models to a unified model based on formal grammars. The presented unified model is especially designed to be suitable for different kinds of modeling paradigms, e.g. imperative and declarative models.

At first, the formal grammars that are used for service compositions are defined. Afterwards, grammar-based representations for modeling constructs provided by the existing service composition specification languages WS-BPEL, Scufl, and ConDec are presented. However, the transformation to the grammar-based representations is discussed by use of general modeling constructs, e.g. looping control flow. The transformation of concrete modeling constructs, e.g. while and for loops can be implemented in the same way.

Volltext und
andere Links
PDF (334575 Bytes)
Abteilung(en)Universität Stuttgart, Institut für Architektur von Anwendungssystemen
Eingabedatum30. April 2013
   Publ. Institut   Publ. Informatik