KIT | KIT-Bibliothek | Impressum | Datenschutz

Specification Languages for Preserving Consistency between Models of Different Languages

Kramer, Max Emanuel

Abstract:

In dieser Dissertation stellen wir drei Sprachen für die Entwicklung von Werkzeugen vor, welche Systemrepräsentationen während der Softwareentwicklung konsistent halten.

Bei der Entwicklung komplexer informationstechnischer Systeme ist es üblich, mehrere Programmiersprachen und Modellierungssprachen zu nutzen. Dabei werden Teile des Systems mit unterschiedlichen Sprachen konstruiert und dargestellt, um verschiedene Entwurfs- und Entwicklungstätigkeiten zu unterstützen. Die übergreifende Struktur eines Systems wird beispielsweise oft mit Hilfe einer Architekturbeschreibungssprache dargestellt. ... mehr

Abstract (englisch):

In this thesis, we present three languages for the development of tools that keep different system representations consistent during software development.

When complex IT systems are developed, it is common practice to use several programming and modelling languages. System parts are designed and represented using different languages in order to support various design and development tasks. The overall structure of a system, for example, is often represented with an architectural description language. To specify the detailed behavior of individual system parts, a state-based modelling language or a general purpose programming language are, however, more appropriate. ... mehr


Volltext §
DOI: 10.5445/IR/1000069284
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Publikationsjahr 2017
Sprache Englisch
Identifikator urn:nbn:de:swb:90-692845
KITopen-ID: 1000069284
Verlag Karlsruher Institut für Technologie (KIT)
Umfang XVI, 278 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdatum 10.02.2017
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Schlagwörter software engineering, model-driven engineering, programming languages
Relationen in KITopen
Referent/Betreuer Reussner, R. H.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page