KIT | KIT-Bibliothek | Impressum | Datenschutz

Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius

Kramer, Max E.; Langhammer, Michael; Messinger, Dominik; Seifermann, Stephan ORCID iD icon; Burger, Erik ORCID iD icon


During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specialized languages are used to describe components and systems on different levels of abstraction or from different viewpoints: Component-based architecture models and contracts, for example, can be used to describe the system on a high level of abstraction, and to formally specify component constraints. Since models, contracts, and code contain redundant information, inconsistencies can occur if they are modified independently. Keeping this information consistent manually can require considerable effort, and can lead to costly errors, for example, when security-relevant components are verified against inconsistent contracts. In this technical report, we present details on realizing an approach for keeping component-based architecture models and contracts specified in the Java Modeling Language (JML) consistent with Java source code. We use change-driven incremental transformations and the Vitruvius framework to automate the consistency preservation where this is possible. ... mehr

Volltext §
DOI: 10.5445/IR/1000045654
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2015
Sprache Englisch
Identifikator ISSN: 2190-4782
KITopen-ID: 1000045654
Verlag Karlsruher Institut für Technologie (KIT)
Serie Karlsruhe Reports in Informatics ; 2015,4
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Schlagwörter Model-Driven Engineering, Formal Specification, Co-Evolution
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page