Metamodel-based conformance and multi-view consistency checking

Hdl Handle:
http://hdl.handle.net/10149/58293
Title:
Metamodel-based conformance and multi-view consistency checking
Authors:
Paige, R. F. (Richard); Brooke, P. J. (Phillip); Ostroff, J. S. (Jonathan)
Affiliation:
University of York. UK; University of Teesside; York University. Canada.
Citation:
Paige, R. F., Brooke, P. J. and Ostroff, J. S. (2007) 'Metamodel-based conformance and multi-view consistency checking', ACM Transactions on Software Engineering and Methodology, 16 (3), pp.1-49.
Publisher:
Association for Computing Machinery
Journal:
ACM Transactions on Software Engineering and Methodology
Issue Date:
Jul-2007
URI:
http://hdl.handle.net/10149/58293
DOI:
10.1145/1243987.1243989
Additional Links:
http://doi.acm.org/10.1145/1243987.1243989
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.
Type:
Article
Keywords:
metamodeling; automated verification; formal methods; multiview consistency
ISSN:
1049-331X
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/01/2010]
Citation Count:
0 [Web of Science and Scopus, 06/01/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorPaige, R. F. (Richard)-
dc.contributor.authorBrooke, P. J. (Phillip)-
dc.contributor.authorOstroff, J. S. (Jonathan)-
dc.date.accessioned2009-04-01T10:48:14Z-
dc.date.available2009-04-01T10:48:14Z-
dc.date.issued2007-07-
dc.identifier.citationACM Transactions on Software Engineering and Methodology; 16 (3): 1-49-
dc.identifier.issn1049-331X-
dc.identifier.doi10.1145/1243987.1243989-
dc.identifier.urihttp://hdl.handle.net/10149/58293-
dc.description.abstractModel-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.-
dc.publisherAssociation for Computing Machinery-
dc.relation.urlhttp://doi.acm.org/10.1145/1243987.1243989-
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/01/2010]-
dc.subjectmetamodeling-
dc.subjectautomated verification-
dc.subjectformal methods-
dc.subjectmultiview consistency-
dc.titleMetamodel-based conformance and multi-view consistency checking-
dc.typeArticle-
dc.contributor.departmentUniversity of York. UK; University of Teesside; York University. Canada.-
dc.identifier.journalACM Transactions on Software Engineering and Methodology-
ref.assessmentRAE 2008-
ref.citationcount0 [Web of Science and Scopus, 06/01/2010]-
or.citation.harvardPaige, R. F., Brooke, P. J. and Ostroff, J. S. (2007) 'Metamodel-based conformance and multi-view consistency checking', ACM Transactions on Software Engineering and Methodology, 16 (3), pp.1-49.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.