Detecting and Repairing Inconsistencies across Heterogeneous Models

Dimitrios Kolovos; Richard Paige; Fiona Polack

doi:10.1109/ICST.2008.23

Detecting and Repairing Inconsistencies across Heterogeneous Models

Dimitrios Kolovos, Richard Paige, Fiona Polack

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

With the advent of Domain Specific Languages for Model Engineering, detecting inconsistencies between models is becoming increasingly challenging. Nowadays, it is not uncommon for models participating in the same development process to be captured using different modelling languages and even different modelling technologies. We present a classification of the types of relationships that can arise between models participating in a software development process and outline the types of inconsistencies each relationship can suffer from. From this classification we identify a set of requirements for a generic inconsistency detection and reconciliation mechanism and use a case study to demonstrate how those requirements are implemented in the Epsilon Validation Language (EVL), a task-specific language developed in the context of the Epsilon GMT component.

Original language	English
Pages	356--364
DOIs	https://doi.org/10.1109/ICST.2008.23
Publication status	Published - 2008

Keywords

Model Driven Development, Model Consistency, Inconsistency Management

Access to Document

10.1109/ICST.2008.23

http://portal.acm.org/citation.cfm?id=1381305.1382099

Cite this

@conference{f187e06edf7044e98421cb4ca34150bc,

title = "Detecting and Repairing Inconsistencies across Heterogeneous Models",

abstract = "With the advent of Domain Specific Languages for Model Engineering, detecting inconsistencies between models is becoming increasingly challenging. Nowadays, it is not uncommon for models participating in the same development process to be captured using different modelling languages and even different modelling technologies. We present a classification of the types of relationships that can arise between models participating in a software development process and outline the types of inconsistencies each relationship can suffer from. From this classification we identify a set of requirements for a generic inconsistency detection and reconciliation mechanism and use a case study to demonstrate how those requirements are implemented in the Epsilon Validation Language (EVL), a task-specific language developed in the context of the Epsilon GMT component.",

keywords = "Model Driven Development, Model Consistency, Inconsistency Management",

author = "Dimitrios Kolovos and Richard Paige and Fiona Polack",

year = "2008",

doi = "10.1109/ICST.2008.23",

language = "English",

pages = "356----364",

}

TY - CONF

T1 - Detecting and Repairing Inconsistencies across Heterogeneous Models

AU - Kolovos, Dimitrios

AU - Paige, Richard

AU - Polack, Fiona

PY - 2008

Y1 - 2008

N2 - With the advent of Domain Specific Languages for Model Engineering, detecting inconsistencies between models is becoming increasingly challenging. Nowadays, it is not uncommon for models participating in the same development process to be captured using different modelling languages and even different modelling technologies. We present a classification of the types of relationships that can arise between models participating in a software development process and outline the types of inconsistencies each relationship can suffer from. From this classification we identify a set of requirements for a generic inconsistency detection and reconciliation mechanism and use a case study to demonstrate how those requirements are implemented in the Epsilon Validation Language (EVL), a task-specific language developed in the context of the Epsilon GMT component.

AB - With the advent of Domain Specific Languages for Model Engineering, detecting inconsistencies between models is becoming increasingly challenging. Nowadays, it is not uncommon for models participating in the same development process to be captured using different modelling languages and even different modelling technologies. We present a classification of the types of relationships that can arise between models participating in a software development process and outline the types of inconsistencies each relationship can suffer from. From this classification we identify a set of requirements for a generic inconsistency detection and reconciliation mechanism and use a case study to demonstrate how those requirements are implemented in the Epsilon Validation Language (EVL), a task-specific language developed in the context of the Epsilon GMT component.

KW - Model Driven Development, Model Consistency, Inconsistency Management

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

U2 - 10.1109/ICST.2008.23

DO - 10.1109/ICST.2008.23

M3 - Paper

SP - 356

EP - 364

ER -

Detecting and Repairing Inconsistencies across Heterogeneous Models

Abstract

Keywords

Access to Document

Other files and links

Cite this