【摘要】 对平台无关模型(PIM)层次上的工作流模型进行细化操作，往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此，提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化，并利用扩展Petri网形式化描述每种细化的语义条件；设计语义一致性验证步骤；演示语义一致性验证的过程和结果。实验结果表明，该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流，以及修改的程度。更多还原

【Abstract】 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.更多还原