摘要： 多层次多视图模型是在不确定需求环境下进行业务建模的主要方法，不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此，设计一种业务目标模型与业务场景模型的语义一致性验证方法。分别以范畴模型和扩展Petri网模型代表业务目标模型和业务场景模型，通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列，设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤。Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性。

关键词: 业务目标模型, 业务场景模型, 范畴论, Petri网, 语义一致性

Abstract: Multi-level and multi-view modeling is commonly used for business modeling in scenarios without specific requirements,but the semantic inconsistency between models of different levels or views can affect the integrity of business models.To address the problem,the paper proposes a semantic consistency verification method for business objective model and business scenario model.The method represents the two kinds of models respectively with the category model and extended Petri net model,and defines the nearest neighbor sequence of formalized business objective models and execution order sequence of formalized business scenario models.On this basis,the verification conditions and steps of complete,partial and weak semantic consistency between the two kinds of models are designed.Consistency verification results of Travel Agency business system demonstrate the feasibility and effectiveness of the proposed method.

Key words: business objective model, business scenario model, category theory, Petri net, semantic consistency

中图分类号: 

• TP311