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

摘要：

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

关键词：Guard-Stage-Milestone(GSM)、时序约束、Petri网、时序一致性、异常处理

所属期刊栏目：36

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61473035;中央高校基本科研业务费专项资金FRF-TP-14-017A2National Natural Science Foundation of China61473035;Fundamental Research Funds for the Central UniversitiesFRF-TP-14-017A2

在线出版日期：2017-05-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共19页

页码：2108-2126