Technical Report TR-2013-01

BibliographyGörlach, Katharina: A Generic Transformation of Existing Service Composition Models to a Unified Model.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Technical Report Computer Science No. 2013/01.
90 pages, english.
CR-SchemaD.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)
Abstract

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.

Full text and
other links
PDF (334575 Bytes)
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Entry dateApril 30, 2013
   Publ. Institute   Publ. Computer Science