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

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

Consistency validation and modification of Guard-Stage-Milestone models under temporal constraints

As a kind of artifact-centric business processes, Guard-Stage-Milestone (GSM) gains wide recognition of academic and industry, and has being researched widely. GSM can describe the data layer and logic structure layer of business processes, but it does not consider the temporal constraints of various business requirements and regulations. Aiming at this urgent need, this paper presents a new approach to checking consistency and handling exception of the GSM models with temporal constraints. This method has two phases:1) Transform the GSM model to Petri net model, and the temporal constraints are mapped into the Petri net model. 2) Extract the traces of the Petri net model and check the temporal consistency of them; if there are some violations, we transform exception handling to the linear programming problem, and achieve the solution of temporal violations by solving it automatically. Our approach can not only solve the validation of the temporal consistency of the GSM model, but also guide the users to optimize and improve them. Finally, the effectiveness of our approach is demonstrated by a real-life example of an enterprise.