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

Kramer, Max; Langhammer, Michael; Messinger, Dominik; Seifermann, Stephan; Bürger, Erik

doi:10.1145/2737166.2737177

Cited by 17 publications

(8 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The models of both case studies were created independently, but as there are no predefined change sequences, we have to define them to evaluate the consistency preservation transformations. Similarly, we have to define the mappings, invariants, and responses, from which these transformations will be generated, based on existing, manually implemented transformations [15]. Using the first case study, we will show whether it is possible to keep component models and their implementation consistent using our approach.…”

Section: Discussionmentioning

confidence: 99%

“…From a specification, incremental consistency preservation transformations, which propagate incoming changes, are generated using an intermediate language for mapping expressions. Our approach is part of the Vitruvius framework for view-centric engineering [16,15], in which all model changes are recorded and in which custom views that integrate information from multiple metamodels can be defined. Altogether, we try to reduce the accidental complexity of keeping models consistent by generating change-driven transformations from consistency specifications that are defined in a language that we have created specifically for this purpose.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Generative Approach to Change-Driven Consistency in Multi-View Modeling

Kramer

2015

Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures

Self Cite

View full text Add to dashboard Cite

When software architectures are modeled from different viewpoints using different notations, it is necessary to keep information that appears in several models consistent. To achieve consistency for a specific system, developers need two competences: First, they have to be able to express the conceptual relationships between the elements of the involved modeling languages and domains. Second, they have to be able to enforce these relationships by implementing model transformations that keep specific model instances consistent. Current transformation approaches, however, do not separate this conceptual challenge of specifying consistency from the technical complexity of implementing it.To ease multi-view modeling, we present a generative approach, in which change-driven in-place transformations are generated from abstract specifications in order to sustain consistency between several models. These specifications can be expressed by domain experts using a consistency language that supports declarative mappings, normative invariants, and imperative response actions. The transformations generated from consistency specifications make it possible to reuse and customize technical solutions to typical consistency preservation problems. We will evaluate our approach with two case studies of component-based engineering.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

A Generative Approach to Change-Driven Consistency in Multi-View Modeling

Kramer

2015

Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures

Self Cite

View full text Add to dashboard Cite

show abstract

“…Vitruvius [9,71,72] presents a framework that supports flexible views [15] that may involve multiple models conforming to different metamodels. The approach is aligned with the Orthographic Software Modelling (OSM) approach by Atkinson et al [13].…”

Section: Vitruviusmentioning

confidence: 99%

Perspectives to promote modularity, reusability, and consistency in multi-language systems

Ali

Mussbacher

Kienzle

2022

Innovations Syst Softw Eng

View full text Add to dashboard Cite

In modern software systems, software modellers often use different modelling languages and multiple views to describe the characteristics of a complex system. This multi-language system allows modellers to express a specific system characteristic with the most appropriate modelling languages and notations. With the proliferation of independently viii Scholarships & Aid, Gunter Mussbacher (advisor), Jörg Kienzle (advisor), and Christian Ejike Ali (brother) for their funding throughout my doctoral research work. During these years, I was fortunate to be part of the Software Engineering Lab at McGill. I worked with several amazing research students who also contributed significantly to the success of this research work. I express my deepest gratitude to Keheliya Gallaba for his friendship and cooperation, especially at the beginning of my program. Also, I especially want to thank Matthias Schöttle who equally offered detailed guidance, especially, on how to navigate the TouchCORE tool. I would like to thank Aprajita, Marton Bur, Ruchika Kumar, Rijul Saini, Omar Alam, Yanis Hattab, Rohit Verma, and many more for their valuable feedback, friendship, and for welcoming me to their respective laboratories. I would like to express my deep gratitude to my friends and family for their love, support, endurance, and understanding. I especially thank my elder brother Christian Ejike Ali, who oversees most of the funding, especially at the beginning of this program.In addition, I would like to deeply appreciate my wife, who bore a lot of burden because of this program. During this program, my wife was alone in Nigeria taking care of our children for more than two years. I also thank my children for their patience, especially for my inability to be with them as required due to this program.And finally, I want to thank my mother for her support, patience, and understanding throughout my education. She is a small businesswoman, but she often offers great financial support for my pursuit of education.

show abstract

“…Specific languages have been developed that support the definition of such delta-based consistency preservation in the VITRUVIUS approach [17]. Consistency preservation in VITRUVIUS was first investigated on a case study of component-based architectures, Java code and code contracts [19].…”

Section: Design Objectivesmentioning

confidence: 99%

Classifying Approaches for Constructing Single Underlying Models

Meier

Werner

Klare

et al. 2020

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

Multi-view environments for software development allow different views of a software system to be defined to cover the requirements of different stakeholders. One way of ensuring consistency of overlapping information often contained in such views is to project them "on demand" from a Single Underlying Model (SUM). However, there are several ways to construct and adapt such SUMs. This paper presents four archetypal approaches and analyses their advantages and disadvantages based on several new criteria. In addition, guidelines are presented for selecting a suitable SUM construction approach for a specific project.

show abstract

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

Cited by 17 publications

References 15 publications

A Generative Approach to Change-Driven Consistency in Multi-View Modeling

A Generative Approach to Change-Driven Consistency in Multi-View Modeling

Perspectives to promote modularity, reusability, and consistency in multi-language systems

Classifying Approaches for Constructing Single Underlying Models

Contact Info

Product

Resources

About