Article

Towards consistency-preserving model evolution

Authors:

Gregor Engels,

Jochen M. Küster,

Reiko Heckel,

Luuk GroenewegenAuthors Info & Claims

IWPSE '02: Proceedings of the International Workshop on Principles of Software Evolution

Pages 129 - 132

https://doi.org/10.1145/512035.512066

Published: 19 May 2002 Publication History

Get Access

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.

References

[1]

E. Boiten, H. Bowman, J. Derrick, and M. Steen. Viewpoint consistency in Z and LOTOS: A case study. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), volume 1313 of Lecture Notes in Computer Science, pages 644-664. Springer-Verlag, Sept. 1997.

Crossref

Google Scholar

[2]

G. Engels, J. M. Küster, L. Groenewegen, and R. Heckel. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In V. Gruhn, editor, Proceedings of the 8th European Software Engineering Conference (ESEC), pages 186-195. ACM Press, 2001.

Digital Library

Google Scholar

[3]

Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 User Manual, 1997.

Google Scholar

[4]

C. A. R. Hoare. Communcating Sequential Processes. Prentice Hall, 1985.

Digital Library

Google Scholar

[5]

Object Management Group. Model driven architecture, 2001. http://www.omg.org/mda.

Google Scholar

[6]

Object Modeling Group. Unified Modelling Language Specification, version 1.3, June 1999. URL: uml.shl.com:80/docs/UML1.3/99-06-08.pdf.

Google Scholar

[7]

B. Rumpe, M. Schoenmakers, A. Radermacher, and A. Schürr. UML + ROOM as a standard ADL? In Proc. ICECCS'99 Fifth IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA. IEEE Computer Society Press, 1999.

Digital Library

Google Scholar

[8]

B. Selic. Using UML for modeling complex real-time systems. In F. Mueller and A. Bestavros, editors, Languages, Compilers, and Tools for Embedded Systems, volume 1474 of Lecture Notes in Computer Science, pages 250-262. Springer Verlag, 1998.

Digital Library

Google Scholar

Cited By

View all

Dam HLê LGhose A(2016)Managing changes in the enterprise architecture modelling contextEnterprise Information Systems10.1080/17517575.2014.98621910:6(666-696)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1080/17517575.2014.986219
Fan LLing YZhang XTang J(2014)Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraphJournal of Zhejiang University SCIENCE C10.1631/jzus.C130008915:1(1-12)Online publication date: 9-Jan-2014
https://doi.org/10.1631/jzus.C1300089
Kühne T(2013)On model compatibility with referees and contextsSoftware and Systems Modeling (SoSyM)10.1007/s10270-012-0241-412:3(475-488)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1007/s10270-012-0241-4
Show More Cited By

Index Terms

Towards consistency-preserving model evolution
1. Software and its engineering

Recommendations

Model checking dynamic UML consistency
ICFEM'06: Proceedings of the 8th international conference on Formal Methods and Software Engineering

UML is widely accepted and extensively used in software modeling. However, using different diagrams to model different aspects of a system brings the risk of inconsistency among diagrams. In this paper, we investigate an approach to check the ...
Consistency of UML class, object and statechart diagrams using ontology reasoners

We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how ...
Towards automatic consistency preservation for model-driven software product lines
SPLC '11: Proceedings of the 15th International Software Product Line Conference, Volume 2

Model-Driven Software Product Line Engineering (MD-SPLE) is the combination of Model-Driven Software Development and Software Product Line Engineering. In this paradigm, there is a strong dependency relationship between meta-models, models, ...

Comments

Information & Contributors

Information

Published In

IWPSE '02: Proceedings of the International Workshop on Principles of Software Evolution

May 2002

155 pages

ISBN:1581135459

DOI:10.1145/512035

Conference Chair:
Mikio Aoyama
Nanzan University, Japan
,
Program Chairs:
Katsuro Inoue
Osaka University, Japan
,
Vaclav Rajlich
Wayne State University, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 May 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

IWPSE02

Sponsor:

SIGSOFT

IWPSE02: International Workshop on Principles of Software Evolution

May 19 - 20, 2002

Florida, Orlando

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
452
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Dam HLê LGhose A(2016)Managing changes in the enterprise architecture modelling contextEnterprise Information Systems10.1080/17517575.2014.98621910:6(666-696)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1080/17517575.2014.986219
Fan LLing YZhang XTang J(2014)Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraphJournal of Zhejiang University SCIENCE C10.1631/jzus.C130008915:1(1-12)Online publication date: 9-Jan-2014
https://doi.org/10.1631/jzus.C1300089
Kühne T(2013)On model compatibility with referees and contextsSoftware and Systems Modeling (SoSyM)10.1007/s10270-012-0241-412:3(475-488)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1007/s10270-012-0241-4
Dam HWinikoff M(2011)An agent-oriented approach to change propagation in software maintenanceAutonomous Agents and Multi-Agent Systems10.1007/s10458-010-9163-023:3(384-452)Online publication date: 1-Nov-2011
https://dl.acm.org/doi/10.1007/s10458-010-9163-0
Kühne T(2010)An observer-based notion of model inheritanceProceedings of the 13th international conference on Model driven engineering languages and systems: Part I10.5555/1926458.1926463(31-45)Online publication date: 3-Oct-2010
https://dl.acm.org/doi/10.5555/1926458.1926463
Kühne T(2010)An Observer-Based Notion of Model InheritanceModel Driven Engineering Languages and Systems10.1007/978-3-642-16145-2_3(31-45)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16145-2_3
Dam KWinikoff M(2008)Generation of Repair Plans for Change PropagationAgent-Oriented Software Engineering VIII10.1007/978-3-540-79488-2_10(132-146)Online publication date: 2008
https://doi.org/10.1007/978-3-540-79488-2_10
Dam KWinikoff M(2007)Generation of repair plans for change propagationProceedings of the 8th international conference on Agent-oriented software engineering VIII10.5555/1793090.1793103(132-146)Online publication date: 14-May-2007
https://dl.acm.org/doi/10.5555/1793090.1793103
Ilic DTroubitsyna ELaibinis LLeppänen S(2006)Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication ProtocolsProceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation10.1109/ISoLA.2006.40(425-432)Online publication date: 15-Nov-2006
https://dl.acm.org/doi/10.1109/ISoLA.2006.40
Dam KWinikoff MPadgham L(2006)An agent-oriented approach to change propagation in software evolutionProceedings of the Australian Software Engineering Conference10.1109/ASWEC.2006.10(309-318)Online publication date: 18-Apr-2006
https://dl.acm.org/doi/10.1109/ASWEC.2006.10
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Model checking dynamic UML consistency

Consistency of UML class, object and statechart diagrams using ontology reasoners

Towards automatic consistency preservation for model-driven software product lines