Concordance: A Framework for Managing Model Integrity

Louis M. Rose; Dimitrios S. Kolovos; Nicholas Drivalos; James R. Williams; Richard F. Paige; Fiona A. C. Polack; Kiran J. Fernandes

Concordance: A Framework for Managing Model Integrity

Louis M. Rose, Dimitrios S. Kolovos, Nicholas Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran J. Fernandes

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	245-260
Number of pages	16
Journal	INTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION
Volume	6138
Publication status	Published - 2010

Keywords

DRIVEN

Access to Document

http://dx.doi.org/10.1007/978-3-642-13595-8_20

Cite this

@article{c52def4483b142228fbff421ff06e54e,

title = "Concordance: A Framework for Managing Model Integrity",

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.",

keywords = "DRIVEN",

author = "Rose, {Louis M.} and Kolovos, {Dimitrios S.} and Nicholas Drivalos and Williams, {James R.} and Paige, {Richard F.} and Polack, {Fiona A. C.} and Fernandes, {Kiran J.}",

year = "2010",

language = "English",

volume = "6138",

pages = "245--260",

journal = "INTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION",

issn = "0302-9743",

publisher = "Springer",

}

TY - JOUR

T1 - Concordance: A Framework for Managing Model Integrity

AU - Rose, Louis M.

AU - Kolovos, Dimitrios S.

AU - Drivalos, Nicholas

AU - Williams, James R.

AU - Paige, Richard F.

AU - Polack, Fiona A. C.

AU - Fernandes, Kiran J.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - DRIVEN

UR - http://www.scopus.com/inward/record.url?scp=77954641028&partnerID=8YFLogxK

M3 - Article

SN - 0302-9743

VL - 6138

SP - 245

EP - 260

JO - INTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION

JF - INTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION

ER -

Concordance: A Framework for Managing Model Integrity

Abstract

Keywords

Access to Document

Other files and links

Cite this