一种基于BCCS的多视图一致性检测的元模型

模型驱动架构(MDA)是一种采用建模描述语言如UML或BON等对需求建立平台无关模型，作为对需求规约以补充的开发方法。在复杂系统中，一个需求模型往往涵盖了多种类型的模型，用于描述系统的不同方面，如描述系统实体的静态模型，以及描述系统运行过程以及状态的动态模型，在这些模型中，往往会出现内部以及相互之间的不一致性。尝试通过B方法以及通信演算系统(CCS)来描述BON的元模型，并以此来检测BON模型中所出现的不一致性。

A metamodel approach on multiview consistency checking based on 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.