Refinement via Consistency Checking in MDA

Richard F. Paige; Dimitrios S. Kolovos; Fiona Polack

doi:10.1016/j.entcs.2005.04.029

Refinement via Consistency Checking in MDA

Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack

Computer Science

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

Abstract

Refinement is a key practice in the Model-Driven Architecture initiative of the Object Modelling Group. However, the practice is loosely defined, overloaded, and open to misinterpretation. In this paper, we outline ongoing work on providing a precise definition for refinement via consistency checking, not only in the context of MDA, but more generally for model-driven development in a variety of domains.

Original language	Undefined/Unknown
Pages (from-to)	151-161
Number of pages	11
Journal	Electronic Notes in Theoretical Computer Science
Volume	137
Issue number	2
DOIs	https://doi.org/10.1016/j.entcs.2005.04.029
Publication status	Published - 2005

Keywords

Model-Driven Architecture
Consistency
traceability
refinement

Access to Document

10.1016/j.entcs.2005.04.029

http://dx.doi.org/10.1016/j.entcs.2005.04.029

Cite this

@article{7a461752e60c4ad0b250a53c047d3e0e,

title = "Refinement via Consistency Checking in MDA",

abstract = "Refinement is a key practice in the Model-Driven Architecture initiative of the Object Modelling Group. However, the practice is loosely defined, overloaded, and open to misinterpretation. In this paper, we outline ongoing work on providing a precise definition for refinement via consistency checking, not only in the context of MDA, but more generally for model-driven development in a variety of domains.",

keywords = "Model-Driven Architecture, Consistency, traceability, refinement",

author = "Paige, {Richard F.} and Kolovos, {Dimitrios S.} and Fiona Polack",

year = "2005",

doi = "10.1016/j.entcs.2005.04.029",

language = "Undefined/Unknown",

volume = "137",

pages = "151--161",

journal = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Refinement via Consistency Checking in MDA

AU - Paige, Richard F.

AU - Kolovos, Dimitrios S.

AU - Polack, Fiona

PY - 2005

Y1 - 2005

N2 - Refinement is a key practice in the Model-Driven Architecture initiative of the Object Modelling Group. However, the practice is loosely defined, overloaded, and open to misinterpretation. In this paper, we outline ongoing work on providing a precise definition for refinement via consistency checking, not only in the context of MDA, but more generally for model-driven development in a variety of domains.

AB - Refinement is a key practice in the Model-Driven Architecture initiative of the Object Modelling Group. However, the practice is loosely defined, overloaded, and open to misinterpretation. In this paper, we outline ongoing work on providing a precise definition for refinement via consistency checking, not only in the context of MDA, but more generally for model-driven development in a variety of domains.

KW - Model-Driven Architecture

KW - Consistency

KW - traceability

KW - refinement

U2 - 10.1016/j.entcs.2005.04.029

DO - 10.1016/j.entcs.2005.04.029

M3 - Article

VL - 137

SP - 151

EP - 161

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 2

ER -