论文研究时序约束下GuardStageMilestone业务模型的一致性验证与异常处理.pdf

论文研究-时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理.pdf,  Guard-Stage-Milestone（GSM）作为一种以Artifact为中心的企业业务建模方法，获得了国内外学术界和工业界的广泛认可，已成为当前研究的热点.然而，目前GSM方法普遍局限在数据和流程结构层面，没有考虑外在的企业各种业务或规章制度中的时序约束需求.针对这一迫切需求，