Central to Model-Driven Engineering (MDE) is seeing models as objects that can be handled and organized into metamodel stacks and multi-model architectures. This work contributes with a unique way of doing consistency modeling where the involved models are explicitly organized in a multi-model architecture; a general model for creating multi-model architectures that allows semantics to be attached is defined and applied; explicit attachment of semantics is demonstrated by attaching Java classes that implement different instantiation semantics in order to realize the consistency modeling and the automatic generation of consistency data.
The kind of consistency addressed concerns relations between data residing in legacy databases defined by different schemas. The consistency modeling is meant to solve the problem of exposing inconsistencies by relating the data. The consistency modeling combines in a practical way visual modeling and logic (OCL). The approach is not limited to exposing inconsistencies, but may also be used to derive more general information given one or more data sets.
The consistency is modeled by defining a consistency model that relates elements of two given legacy models. The consistency model is expressed in a language specially designed for consistency modeling. The language allows definition of classes, associations and invariants expressed in OCL. The interpretation of the language is special: Given one conforming data set for each of the legacy models, the consistency model may then be automatically instantiated to consistency data that tells if the data sets are consistent or not. The invariants are used to decide what instances to generate when making the consistency data. The amount of consistency data to create is finite and limited by the given data sets. The consistency model is instantiated until no more elements can be added without breaking some invariant or multiplicity. The consistency data is presented as a model which can be investigated by the user.
List of papers.
Appendix A Jan Pettersen Nytun and Christian S. Jensen: Modeling of Consistency between Legacy Systems. Proceedings of the UML 2003 - The Unified Modeling Language, 6th International Conference San Francisco, CA, USA, October 20-24, 2003. Published in: Lecture Notes in Computer Science 2863, pages 341-355 DOI: 10.1007/978-3-540-45221-8_29 The original publication is available at www.springerlink.com
Appendix B Jan Pettersen Nytun, Christian S. Jensen and Vladimir A. Oleshchuk: Towards a Data Consistency Modeling and Testing Framework for MOF Defined Languages. Proceedings of Norsk Informatikkonferanse NIK’2003 Institutt for informatikk, Universitetet i Oslo, Norway, November 24-26, 2003
Appendix C Jan Pettersen Nytun, Andreas Prinz and Andreas Kunert: Representation of Levels and Instantiation in a Metamodelling Environment. Proceedings of NWUML’2004, 2nd Nordic Workshop on the Unified Modeling Language, pages 1-17
Appendix D Terje Gjøsæter, Jan Pettersen Nytun, Andreas Prinz and Merete S. Tveit: Accessibility Testing XHTML Documents Using UML. Proceedings of NWUML’2005, 3rd Nordic Workshop on the Unified Modeling Language, pages 108-122
Appendix E Terje Gjøsæter, Jan Pettersen Nytun, Andreas Prinz, Mikael Snaprud and Merete S. Tveit: Modeling Accessibility Constraints. ICCHP 2006 10th International Conference on Computers Helping People with Special Needs. Published in: Lecture Notes in Computer Science, 2006, Volume 4061/2006, 40-47 DOI: 10.1007/11788713_7 The original publication is available at www.springerlink.com
Appendix F Jan Pettersen Nytun, Andreas Prinz and Merete S. Tveit: Automatic Generation of Modeling Tools Second European Conference on Model Driven Architecture Foundations and Applications July 10-13, 2006, Bilbao, Spain. Published in: Lecture Notes in Computer Science, 2006, Volume 4066/2006, 268-283. DOI: 10.1007/11787044_21 The original publication is available at www.springerlink.com
Appendix G Jan Pettersen Nytun: A Generic Model for Connecting Models. First International Conference on Software and Data Technologies - ICSOFT 2006, Setubal, Portugal