Refinement via Consistency Checking in MDA

Authors:
Richard F. Paige;Dimitrios S. Kolovos;Fiona A. C. Polack
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
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 4
Cited 9

A practical theory of programming

A practical theory of programming
Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise

Metamodel-based model conformance and multiview consistency checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
A Lightweight Approach for the Semantic Validation of Model Refinements

Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Architecture Consistency Checking for Model Driven Software Development

QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
A systematic review of UML model consistency management

Information and Software Technology
Constraints modeling for (profiled) UML models

ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Extending OCL to ensure model transformations

ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
An OCL-Based technique for specifying and verifying refinement-oriented transformations in MDE

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Retainment policies - A formal framework for change retainment for trace-based model transformations

Information and Software Technology
Generation and validation of traces between requirements and architecture based on formal trace semantics

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

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.