White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Metamodel-based model conformance and multiview consistency checking

Paige, Richard F., Brooke, Phillip J. and Ostroff, Jonathan S. (2007) Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology. 11. B1-B49. ISSN 1049-331X

Full text available as:
[img]
Preview
Text (Paige_2007_Metamodel.pdf)
Paige_2007_Metamodel.pdf

Download (452Kb)

Abstract

Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized.

Item Type: Article
Copyright, Publisher and Additional Information: © 2007 ACM. This is the author’s version of the work. It is posted here by permission of the ACM for your personal use. Not for redistribution. The definitive version was published in ACM TOSEM 16(3), July 2007. http://doi.acm.org/10.1145/1243987.1243989
Keywords: Design Tools and Techniques—Object-oriented design methods Design, Languages, Verification Metamodelling, multi-view consistency, formal methods, automated verification
Academic Units: The University of York > Computer Science (York)
Depositing User: Ms Diana Hilmer
Date Deposited: 24 Aug 2007 13:23
Last Modified: 17 Oct 2013 14:14
Published Version: http://dx.doi.org/10.1145/1243987.1243989
Status: Published
Refereed: Yes
Related URLs:
URI: http://eprints.whiterose.ac.uk/id/eprint/2648

Actions (repository staff only: login required)