业务目标模型与业务场景模型的语义一致性分析  

Semantic Consistency Analysis of Business Objective Model and Business Scenario Model

作　　者：李宗花[1,3] 叶正伟 LI Zonghua;YE Zhengwei(School of Computer Science and Technology,Huaiyin Normal University,Huai'an,Jiangsu 223300,China;School of Urban and Environmental Sciences,Huaiyin Normal University,Huai'an,Jiangsu 223300,China;School of Computer Science and Engineering,Southeast University,Nanjing 211189,China)

机构地区：[1]淮阴师范学院计算机科学与技术学院,江苏淮安223300 [2]淮阴师范学院城市与环境学院,江苏淮安223300 [3]东南大学计算机科学与工程学院,南京211189

出　　处：《计算机工程》2019年第12期308-313,共6页Computer Engineering

基　　金：国家自然科学基金(61902141,41471425);教育部人文社会科学研究青年基金(19YJCZH095);江苏省高校自然科学研究面上项目(18KJB520006);淮安市科技计划项目(HABZ201701)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]