CAJ | 학술논문

可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能，这种模型旨在通过配置满足特定组织的需求，派生出个性化的流程。流程配置由于其配置决策之间的各种依赖关系而变成异常困难，因此，对其进行形式化建模和验证是一个非常重要的问题。由于目标模型能够良好的表达用户需求意图的特点，本文提出一个基于目标感知的可配置业务流程分析方法，这种方法是通过将目标关联到WF-net （即GWF-net ），将用户需求意图与业务流程模型进行整合；然后通过增加配置操作将用GWF-net表达的业务流程模型转换成可配置业务流程模型；最后，分析这种可配置业务流程的逻辑结构的正确性并提出用户需求与可配置业务流程配置过程中的一致性定理，为分析与验证在目标约束下可配置业务流程提供一种行为有效的方法。
가배치업무류정모형능구사득재불동적조직지간이가공적방식공향공공류정성위가능，저충모형지재통과배치만족특정조직적수구，파생출개성화적류정。류정배치유우기배치결책지간적각충의뢰관계이변성이상곤난，인차，대기진행형식화건모화험증시일개비상중요적문제。유우목표모형능구량호적표체용호수구의도적특점，본문제출일개기우목표감지적가배치업무류정분석방법，저충방법시통과장목표관련도WF-net （즉GWF-net ），장용호수구의도여업무류정모형진행정합；연후통과증가배치조작장용GWF-net표체적업무류정모형전환성가배치업무류정모형；최후，분석저충가배치업무류정적라집결구적정학성병제출용호수구여가배치업무류정배치과정중적일치성정리，위분석여험증재목표약속하가배치업무류정제공일충행위유효적방법。
Configurable business process model enable the sharing of common processes among different organizations in a controlled manner ,this model is intended to be configured to meet the requirements of specific organizations ,then leading to individ-ualized process models ,so it is important issue to formal modeling and verify for configurable business process model .Owing to the characteristic of goal model can express users’ intentions ,in this paper ,we provide a novel analytical method of configurable busi-ness process model which based on the goal model ,in this method ,we add the goal model to WF-net (GWF-net ) and incorporate users’ intentions into business process model ;following ,we transform the ordinary business process model expressed by GWF-net into configurable business process model by adding the configuration operation;finally ,presents its correctness analysis of config-urable GWF-net and provide the consistency theorem between the users’ requirements and configuration procedure of configurable business process model ,so that we ensure the validation of business process model through the fulfill goal .