北京软件外包公司：一个完整的CIM建模和模型形式化方法

北京软件外包公司公共信息模型（CIM）作为一种商业模式描述的要求和企业的制度环境、指导和发展设计；它是影响软件成功的关键。虽然许多研究目前集中于模型驱动开发（MDD）；这些研究，在很大程度上，研究PIM和PSM模型，很少有处理CIM水平模型的案件中，要求不明确或不完整。

目的

本文提出了CIM水平的建模方法，它适用于模型CIM模型从一个高层次的目标模式出发，较低级别的业务流程模型的逐步求精的方法。我们的方法的一个关键优势是与业务模型的需求模型相结合，可以帮助软件工程师定义业务模型准确，要求不明确或不完整的情况下。

方法

本文中，基于模型驱动的方法，提出了一套模型在CIM模型转换水平和连接这些模型。因此，本文的形式化方法包括制定目标模型的使用范畴理论和场景模型和业务过程的Petri网模型。

结果

我们已经定义了一套元模型和转换规则，使其能够自动地从目标模式获得场景模型和从场景模型的业务过程模型。同时，定义了映射使这些模型。我们建议CIM方法建模方法与形式一个MDA工具执行，它被一旅行社的案例研究经验验证。

结论

这项研究显示了一个CIM建模方法有助于建立一个完整的、一致的模型在CIM水平，要求不明确或不完整的先例。