Metamodel Approach on Model Conformance and Multiview Consistency Checking

MDA is an approach that using modeling languages such as UML or BON to establish requirement models for the complementary of software specification, as well as for further implementation. However, models of complex information systems always require multiple views, such as static views and dynamic views to describe different perspectives of the system, thus may cause inconsistency between them. In this paper, we proposed a metamodel in which provides a unifying framework to ensure and check for model consistency, and we use B, a full spectrum formal software development method, as our foundation to specify our approach. In our approach, single view conformance checking and multiview consistency checking are separated, and we would give examples for demonstration.