Metamodel-based model conformance and multiview consistency checking

Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
<span title="2007-07-01">2007</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7dwkv5m7lfbbpi6he2w2suk6b4" style="color: black;">ACM Transactions on Software Engineering and Methodology</a> </i> &nbsp;
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
more &raquo; ... ct-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. ACM Reference Format: Paige, R. F., Brooke. P. J., and Ostroff, J. S. 2007. Metamodel-based model conformance and multiview consistency checking.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1243987.1243989">doi:10.1145/1243987.1243989</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y6itbzr4c5dyjpmp3wlncrcq3q">fatcat:y6itbzr4c5dyjpmp3wlncrcq3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130514011300/http://www.liacs.nl/%7Emarcello/StudSem/RE_Conformance.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/eb/a9/eba971fd70f098421af140692cf76b29930fc333.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1243987.1243989"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>