A metamodel approach on multiview consistency checking based on BCCS
一种基于BCCS的多视图一致性检测的元模型

MDA is an approach that uses 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 in them. A metamodel in which a unifying framework was provided to ensure and check for model consistency was proposed. The authors used B, a full spectrum formal software development method, integrated with CCS, as the foundation to specify the approach.