Semantically configurable consistency analysis for class and object diagrams

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Checking consistency between an object diagram (OD) and a class diagram (CD) is an important analysis problem. However, several variations in the semantics of CDs and ODs, as used in different contexts and for different purposes, create a challenge for analysis tools. To address this challenge in this paper we investigate semantically configurable model analysis. We formalize the variability in the language's semantics using a feature model: each configuration that the model permits induces a different semantics. Moreover, we develop a parametrized analysis that can be instantiated to comply with every legal configuration of the feature model. Thus, the analysis is semantically configured and its results change according to the semantics induced by the selected feature configuration. The ideas are implemented using a parametrized transformation to Alloy. The work can be viewed as a case study example for a formal and automated approach to handling semantic variability in modeling languages.

Original languageEnglish
Title of host publicationModel Driven Engineering Languages and Systems - 14th International Conference, MODELS 2011, Proceedings
Pages153-167
Number of pages15
DOIs
StatePublished - 2011
Externally publishedYes
Event14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011 - Wellington, New Zealand
Duration: 16 Oct 201121 Oct 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6981 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011
Country/TerritoryNew Zealand
CityWellington
Period16/10/1121/10/11

Fingerprint

Dive into the research topics of 'Semantically configurable consistency analysis for class and object diagrams'. Together they form a unique fingerprint.

Cite this