Syntactic and Semantic Modularisation of Modelling Languages

  • Modelling languages are important in the process of software development. The suitability of a modelling language for a project depends on its applicability to the target domain. Here, domain-specific languages have an advantage over more general modelling languages. On the other hand, modelling languages like the Unified Modeling Language can be used in a wide range of domains, which supports the reuse of development knowledge between projects. This thesis treats the syntactical and semantical harmonisation of modelling languages and their combined use, and the handling of complexity of modelling languages by providing language subsets - called language profiles - with tailor-made formal semantics definitions, generated by a profile tool. We focus on the widely-used modelling languages SDL and UML, and formal semantics definitions specified using Abstract State Machines.
  • Syntaktische und Semantische Modularisierung von Modellierungssprachen

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Rüdiger Grammes
URN:urn:nbn:de:hbz:386-kluedo-21280
Advisor:Reinhard Gotzhein
Document Type:Doctoral Thesis
Language of publication:English
Year of Completion:2007
Year of first Publication:2007
Publishing Institution:Technische Universität Kaiserslautern
Granting Institution:Technische Universität Kaiserslautern
Acceptance Date of the Thesis:2007/06/29
Date of the Publication (Server):2007/10/17
Tag:ASM; Modularisierung; SDL; Sprachdefinition; Sprachprofile; UML
ASM; SDL; UML; language definition; language profiles; modularisation
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011