Student Thesis STUD-2403

BibliographyLiang, Siguang: Unifizierte Service-Komposition für ConDec.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Student Thesis No. 2403 (2013).
41 pages, german.
CR-SchemaD.3.1 (Programming Languages Formal Definitions and Theory)
F.4.2 (Grammars and Other Rewriting Systems)
Abstract

In der Arbeit wird die Implementierung einer Transformation von der deklarativen Sprache ConDec zur Kompositionsgrammatiken diskutiert. In der Forschung besteht die Hoffnung, dass der assembler-ähnliche Charakter von Kompositionsgrammatiken die Grundlage für die unifizierte Modellierung bilden kann. Zuerst werden Web Services und ihre Kompositionen in der Arbeit vorgestellt. Web Services sind die Abstraktionen für verschiedene Plattformen und Sprachen, so dass die Aufrufe von Web Services gleich sind. Ihre Kompositionen beschreiben die Art und Weise wie Web Services miteinander verknüpft sind. Dann wird der Begriff de-klarative Sprache beschrieben. Die Vorgehensweise von imperativen Sprachen ist „say how to do something“. Zum Unterschied von imperativen Sprachen ist die Vorgehensweise deklarati-ver Sprachen „say what is required and let the system determine how to achieve it“. Durch den Vergleich ist es klar, dass die deklarativen Sprachen die beiden Anforderungen zwischen Unterstützung und Flexibilität von Systemen gut ausgleichen können. Danach werden Con-Dec und die Software Declare vorgestellt. ConDec ist eine deklarative Sprache und die Soft-ware Declare unterstützt ConDec. Dann wird die Implementierung der Transformation aus-führlich beschrieben. Durch das Klassendiagramm werden die Funktionen der Klassen vom Transformationspragramm vorgestellt. Das Aktivitätsdiagramm beschreibt den Ablauf vom Transformationspragramm. Darüber hinaus wird eine detaillierte Diskussion über die Heraus-forderungen der Transformation geführt. Die Diskussion ist über einige Templates, die in der Arbeit[1] nicht vorkommen. Zum Schluss werden zwei Testfälle geprüft, die die eigenen Bei-spiele in declare-2.2.0 sind.

Full text and
other links
PDF (1207778 Bytes)
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Superviser(s)Görlach, Katharina
Entry dateMay 14, 2013
   Publ. Computer Science