Refinement via Consistency Checking in MDA

Research output: Contribution to journalArticlepeer-review


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 languageUndefined/Unknown
Pages (from-to)151-161
Number of pages11
JournalElectronic Notes in Theoretical Computer Science
Issue number2
Publication statusPublished - 2005


  • Model-Driven Architecture
  • Consistency
  • traceability
  • refinement

Cite this