Concordance: a framework for managing model integrity

Authors:
Louis M. Rose;Dimitrios S. Kolovos;Nicholas Drivalos;James R. Williams;Richard F. Paige;Fiona A. C. Polack;Kiran J. Fernandes
Affiliations:
Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK;The Management School, University of York, York, UK
Venue:
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Year:
2010

Citing 10
Cited 4

Flexible consistency checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Instant consistency checking for the UML

Proceedings of the 28th international conference on Software engineering
EMF: Eclipse Modeling Framework 2.0

EMF: Eclipse Modeling Framework 2.0
Metamodel-based model conformance and multiview consistency checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Evolution

Software Evolution
Live Model Transformations Driven by Incremental Pattern Matching

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
MOOGLE: A Model Search Engine

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Enhanced Automation for Managing Model and Metamodel Inconsistency

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Incremental model transformation for the evolution of model-driven systems

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
KM3: a DSL for metamodel specification

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

A state-based approach to traceability maintenance

Proceedings of the 6th ECMFA Traceability Workshop
Lessons learned from building model-driven development tools

Software and Systems Modeling (SoSyM)
Query-driven soft interconnection of EMF models

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A research roadmap towards achieving scalability in model driven engineering

Proceedings of the Workshop on Scalability in Model Driven Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

A change to a software development artefact, such as source code or documentation, can affect the integrity of others. Many contemporary software development environments provide tools that automatically manage (detect, report and reconcile) integrity. For instance, incremental background compilation can reconcile object code with changing source code and report calls to a method that are inconsistent with its definition. Although models are increasingly first-class citizens in software development, contemporary development environments are less able to automatically detect, manage and reconcile the integrity of models than the integrity of other types of artefact. In this paper, we discuss the scalability and efficiency problems faced when managing model integrity for two categories of change that occur in MDE. We present a framework to support the incremental management of model integrity, evaluating the efficiency of the proposed approach atop Eclipse and EMF.