Towards consistency-preserving model evolution

Authors:
Gregor Engels;Jochen M. Küster;Reiko Heckel;Luuk Groenewegen
Affiliations:
University of Paderborn, D-33095 Paderborn, Germany;University of Paderborn, D-33095 Paderborn, Germany;University of Paderborn, D-33095 Paderborn, Germany;LIACS P.O. Box 9512, Leiden University, NL-2300 RA Leiden, The Netherlands
Venue:
Proceedings of the International Workshop on Principles of Software Evolution
Year:
2002

Citing 5
Cited 8

Communicating sequential processes

Communicating sequential processes
A methodology for specifying and analyzing consistency of object-oriented behavioral models

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Using UML for Modeling Complex Real-Time Systems

LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Viewpoint Consistency in Z and LOTOS: A Case Study

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
UML + ROOM as a Standard ADL?

ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems

A systematic review of UML model consistency management

Information and Software Technology
Generation of repair plans for change propagation

AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
An observer-based notion of model inheritance

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
An agent-oriented approach to change propagation in software maintenance

Autonomous Agents and Multi-Agent Systems
Consistency checking of statechart diagrams of a class hierarchy

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Finding a path to model consistency

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
On model compatibility with referees and contexts

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-based software development poses requirements on the quality of models which cannot yet be fulfilled by models in the standard object-oriented modeling language, the UML. In particular, the semantic consistency of UML models is an open issue. Model-based evolution, as one crucial aspect of model-based development, requires support for re-establishing the consistency of a new version of the model after an evolution step.In this position paper, we observe that, under certain assumptions, the new model can be shown to be consistent if a certain semantic relation holds between the replaced sub-models. Thereby, one can avoid a complete re-iteration of all consistency checks for the new model, concentrating instead on those parts that have been modified.