Refinement via consistency checking in MDA

Electronic Notes in Theoretical Computer Science

Volumn 137, Issue 2, 2005, Pages 151-161

  Paige, Richard F ^a   Kolovos, Dimitrios S ^a   Polack, Fiona A C ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Consistency; Model Driven Architecture; Refinement; Traceability

Indexed keywords

ABSTRACTING; FORMAL LANGUAGES; MATHEMATICAL MODELS;

CONSISTENCY; MODEL DRIVEN ARCHITECTURE; REFINEMENT; TRACEABILITY;

COMPUTER ARCHITECTURE;

EID: 22144491204     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.04.029     Document Type: Conference Paper

References (15)

1. Object Management Group Model Driven Architecture official web-site URL http://www.omg.org/mda
2. Object Management Group official web-site. URL http://www.omg.org/
3. W. Bast, A. Kleppe, and J. Warmer MDA Explained: The Model Driven Architecture: Practice and Promise 2003 Addison Wesley
4. M. Fowler Platform independent malapropism URL http://www.martinfowler. com/bliki/PlatformIndependentMalapropism.html
5. S.W. Ambler A road map to Agile MDA URL http://www.sdmagazine.com/ documents/s=826/sdm0406e/
6. Meta Object Facility Queries-Views-Transformations URL http://neptune.irit.fr/Biblio/qvt_specification.shtml
7. Object Management Group XMI specification URL http://www.omg.org/ technology/documents/formal/xmi.htm
8. M. Fowler Model Driven Architecture URL http://www.martinfowler.com/ bliki/ModelDrivenArchitecture.html
9. S.J. Mellor Agile MDA URL http://www.omg.org/mda/mdafiles/AgileMDA.pdf
10. Object Management Group Meta Object Facility URL http://www.omg.org/mof/
11. Modelware IST Project URL http://www.modelware-ist.org
12. Object Management Group UML Specification 1.5 URL http://www.omg.org/uml/
13. E.C.R. Hehner A Practical Theory of Programming Second Edition 2003 Springer-Verlag
14. C.C. Morgan Programming from Specifications Second Edition 1994 Prentice-Hall
15. D. D'Souza, and A. Wills Objects, Components and Frameworks with UML 1999 Addison-Wesley