A Dynamic-B Metamodel on Model Conformance and Multiview Consistency Checking

Model driven development 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. How ever, a model of a complex systems is always consist of 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 meta model in which provides a unifying framework to ensure and check for model consistency, and we use dynamic B, which is a mixture of B method and a concurrent system called CCS, 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.