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