Diploma Thesis DIP-2182

BibliographyStürmer, Michael: Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2182 (2004).
94 pages, german.
CR-SchemaD.2.3 (Software Engineering Coding Tools and Techniques)
D.2.6 (Software Engineering Programming Environments)
D.2.7 (Software Engineering Distribution, Maintenance, and Enhancement)
D.3.4 (Programming Languages Processors)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
Abstract

Der Resource-Flow-Graph (RFG) ist eine Zwischendarstellung, die im Bauhaus-Projekt eingesetzt wird. Sie enthält aus Quellcode extrahierte Quell- und Architekturinformationen. Die Auswertung dieser Informationen findet momentan entweder manuell oder durch ausprogrammierte Analysen statt.

Diese Arbeit beschreibt eine Skriptsprache, die von Entwicklern und Endanwendern des Bauhaus-Systems zur Formulierung von Analysen und Manipulationen des RFG benutzt werden kann. Zuerst werden Anforderungen an die Skriptsprache formuliert und vorhandene Anfragesprachen auf erwünschte und unerwünschte Eigenschaften untersucht. Es stellt sich heraus, dass eine leicht verständliche Syntax und eine komfortable Visualisierung durch den im Bauhaus-Projekt eingesetzten Grapheneditor wesentliche Merkmale der Sprache sein sollen. Die Konzeption der Sprache, die vorhandenen Datentypen, Anweisungen sowie eingebaute Funktionen werden beschrieben und der daraus entwickelte Entwurf mit Realisierungsalternativen dargestellt. Abschließend wird die Effizienz der Realisierung mit anderen Anfragesprachen verglichen.

Full text and
other links
PDF (672567 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
ContactSenden Sie eine E-Mail an ms@mallorn.de
Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Entry dateAugust 10, 2004
   Publ. Computer Science