MDA框架中CIM业务流模型与PIM工作流模型的一致性验证  

CONSISTENCY VERIFICATION OF CIM BUSINESS FLOW MODEL AND PIM WORKFLOW MODEL IN MDA FRAMEWORK

作　　者：李宗花[1] 常逢佳[1] Li Zonghua;Chang Fengjia(School of Computer Science and Technology,Huaiyin Normal University,Huaian 223300,Jiangsu,China)

机构地区：[1]淮阴师范学院计算机科学与技术学院,江苏淮安223300

出　　处：《计算机应用与软件》2023年第2期7-11,59,共6页Computer Applications and Software

基　　金：国家自然科学基金项目(61902141);教育部人文社会科学研究青年基金项目(19YJCZH095);江苏省高校自然科学研究面上项目(18KJB520006)。

摘　　要：对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。The refinement operations of the workflow model at the PIM level will lead to the inconsistence between the CIM business flow and PIM workflow. In view of this, a method of the consistency verification between the business flow model and the workflow model is proposed. Three different refinement situations were designed, and the extended Petri net was used to formally describe the refined semantic conditions. The semantic consistency verification steps were designed. The process and results of semantic consistency verification were demonstrated. The experimental results show that this method can effectively verify whether the PIM workflow model changes the CIM business flow and the degree of its modification during the refinement process.

关 键 词：CIM业务流模型 PIM工作流模型 扩展PETRI网 一致性验证 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]