时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理

作     者：杜彦华 于泽 DU Yanhua;YU Ze

作者机构：北京科技大学机械工程学院北京100083 

出 版 物：《系统工程理论与实践》 (Systems Engineering-Theory & Practice)

年 卷 期：2016年第36卷第8期

页      面：2108-2126页

核心收录：

学科分类：0709[理学-地质学] 08[工学] 0708[理学-地球物理学] 0802[工学-机械工程] 0811[工学-控制科学与工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金(61473035) 中央高校基本科研业务费专项资金(FRF-TP-14-017A2)~~ 

主　　题：Guard—Stage—Milestone(GSM)时序约束 Petri网 时序一致性 异常处理 

摘      要：Guard-Stage-Milestone(GSM)作为一种以Artifact为中心的企业业务建模方法,获得了国内外学术界和工业界的广泛认可,已成为当前研究的热点.然而,目前GSM方法普遍局限在数据和流程结构层面,没有考虑外在的企业各种业务或规章制度中的时序约束需求.针对这一迫切需求,提出了一种时序约束下GSM业务模型的一致性验证与异常处理方法.分为两个阶段:1)将GSM业务模型转化为Petri网模型,再把外部的时序约束映射到Petri网模型中.2)提取Petri网模型中的路径并进行时序一致性验证;如果出现异常,将问题转化为线性规划模型并进行自动求解.不但能够解决GSM业务模型的时序约束验证问题,而且能指导用户进行模型持续优化和改进.最后,通过一个企业的实例验证了其有效性.