一种基于核心过程的业务过程扩展方法

摘要

本发明公开了一种基于核心过程的业务过程扩展方法，其主要步骤包括：首先定义表示新环境中过程变体共性的核心过程，然后基于核心过程对现有业务过程进行扩展，得到适应新环境的扩展业务过程；其中，在业务过程扩展中，应首先建立业务过程和核心过程结点之间的映射关系，变迁标记可用作结点映射的依据；对业务过程的扩展是基于核心过程，对业务过程进行阻塞和隐藏运算的逆运算。通过本发明方法得到的扩展业务过程兼具有原业务过程和过程变体共性的特点，与原业务过程相比，可以更好地适应新的经济环境。

主权项

1.一种基于核心过程的业务过程扩展方法，其特征在于，包括如下步骤：s1、构造核心过程定义标记P/T网：采用元组描述为LN＝(P,T,F,L)，其中：(1)P是库所的有限集合，(2)T是变迁的有限集合，且(3)是P和T间直接弧的集合，称作流关系，(4)dom(F)∪cod(F)＝P∪T，其中，$\mathrm{dom}\left(F\right)=\{x\in P\cup T|\exists y\in P\cup T:(x,y)\in F\},$$\mathrm{cod}\left(F\right)=\{y\in P\cup T|\exists x\in P\cup T:(x,y)\in F\},$并且(5)L:T→A∪τ是一个从变迁到活动的标记函数，A是活动集合，τ表示不可见活动；定义前集和后集：令LN是一个标记P/T网，x∈P∪T是LN的元素，则：^·x＝{y|y∈P∪T^(y,x)∈F}称作x的前集，x^·＝{y|y∈P∪T^(x,y)∈F}称作x的后集；定义标记工作流网：令LN＝(P,T,F,L)是一个标记P/T网，t′不属于P∪T，且其标记为τ，则它是一个标记工作流网N当且仅当：(1)过程开始：仅有一个源库所i且(2)过程结束：仅有一个漏库所o，且并且(3)连通性：N′＝(P,T∪{t′},F∪{(o,t′),(t′,i)},L∪{(t′,τ)})是强连通的；定义变迁发生规则：令N＝(P,T,F,L)为一个标记工作流网，其中源库所为i，漏库所为o：(1)M:P→{0,1,2,…}是网N的一个标识，(2)M_i是网N的初始标识，其中仅i中有一个标志，即M_i＝[i]，(3)M_o是网N的终止标识，其中仅o中有一个标志，即M_o＝[o]，(4)对所有的p，p∈^·t，如果M(p)≥1，则称t在标识M有发生权，记为M[t>，如果M[t>且t发生，则从标识M发生变迁t得到一个新的标识M′(记为M[t>M′)，其中：$M^{\prime }=\left\{\begin{array}{ccc}M\left(p\right)+1& \mathrm{if}& p\in t^{·}-{}^{·}t\\ M\left(p\right)-1& \mathrm{if}& p\in {}^{·}t-t^{·}\\ M\left(p\right)& \mathrm{else}& \end{array}\right.,$所有标记工作流网的集合记为Φ(N)；定义分支互模拟：令N＝(P,T,F,L)是一个标记工作流网，二元关系称作分支互模拟，当且仅当对任意p,p′,q,q′∈Φ(N)且a∈A∪{τ}：并且(3)(p能正确结束当且仅当q能正确结束)；两个标记工作流网称作分支互模拟，记为p～q，当且仅当存在一个分支互模拟关系R，使得pRq；分支互模拟是Φ(N)上的一个等价关系，即它是自反的，对称的和传递的；基于分支互模拟，可定义标记工作流间的行为等价关系如下：定义行为等价：令N₁和N₂是标记工作流网，则N₁和N₂称作行为等价当且仅当(N₁,[i₁])～(N₂,[i₂])；定义隐藏运算：令N＝(P,T,F,L₀)是一标记工作流网，对任意隐藏运算τ_I可以描述为：τ_I(N)＝(P,T,F,L₁)，其中(1)如果L₀(t)∈I,那么L₁(t)＝τ，并且(2)如果那么L₁(t)＝L₀(t)；定义阻塞运算：令N＝(P₀,T₀,F₀,L₀)是一标记工作流网，对任意阻塞运算可以表述为：${\partial }_H\left(N\right)=(P_1,T_1,F_1,L_1),$其中(2)F₁＝F₀∩((P₁×T₁)∪(T₁×P₁))，并且(3)L₁＝L₀∩(T₁×A₀)；在隐藏、阻塞和等价关系的基础上，给出继承关系的定义定义继承关系：令N₁和N₂是标记工作流网，如果使得其中I，且则称N₁和N₂满足继承关系，且N₁是N₂的一个子类，记作N₁≤N₂；定义核心过程：令N₀＝(P₀,T₀,F₀,L₀)是仅有顺序结构的标记工作流网，令N_i＝(P_i,T_i,F_i,L_i)(1≤i≤n)是用工作流网表示的过程变体，则一个标记工作流网CP＝(P,T,F,L)是N_i的核心过程当且仅当：(1)N_i≤N(1≤i≤n)，并且(2)如果N_i≤N₀(1≤i≤n)，则有N≤N₀，过程变体的核心过程集记作Ф(CP)；定义迹：令N是一标记工作流网，σ＝[i]t₁M₁t₂M₂t₃…M_m-1t_m[o]是一有限的发生序列，σ其对应的活动序列称作N的迹，其中，L(t_i)(1≤i≤m)是的最小组成单位，标记工作流网N迹的集合记作令N₁和N₂为标记工作流网，且N₁和N₂的每条迹都可表示成由活动L(t)构成的字符串；对于N₁迹的集合和N₂迹的集合其最长公共子串集记作令N₁，N₂是同一过程的两个变体，其核心过程集Ф(CP)的构造过程如下：输入：标记工作流网N₁＝(P₁,T₁,F₁,L₁)和N₂＝(P₂,T₂,F₂,L₂)；输出：N₁和N₂的核心过程集Ф(CP)；步骤11：将P₁中的i₁,o₁分别与P₂中的i₂,o₂进行匹配；步骤12：由N₁和N₂迹的集合确定其最大公共子串集步骤13：若存在最长公共子串lcs₁和lcs₂属于其中，lcs₂是lcs₁的子串，则将最长公共子串集中的lcs₂元素删除；步骤14：若为空，则构建核心过程为CP＝(P,T,F,L)，其中，Ф(CP)＝{CP}，转到步骤17；步骤15：对于的每一元素lcs作如下操作：如果lcs长度为1且有lcs＝＝L(t₁)，则核心过程为CP＝(P,T,F,L)，其中，否则，若lcs等于lcs₁和L(t)的连接，且lcs₁对应于CP₁＝(P₁,T₁,F₁,L₁)，则对应于lcs的核心过程为CP＝(P,T,F,L)，其中，{P＝P₁∪{p},T＝T₁∪{t},F＝F₁∪{(t′,p),(p,t),(t,o)}-{(t′,o)},L＝L₁∪{(t,L(t))}}，t′∈^·o；将以上得到的CP添加到Ф(CP)中，将中元素lcs删除；步骤16：重复以上步骤，直到为空；步骤17：输出Ф(CP)；s2、构造扩展业务过程定义扩展业务过程：令N₁＝(P₁,T₁,F₁,L₁)为一业务过程的标记工作流网，N₂＝(P₂,T₂,F₂,L₂)是业务各过程变体的核心过程；令N'＝(P',T',F',L')为一标记工作流网，使得N'≤N₁且N'≤N₂，则标记工作流网EBP＝(P,T,F,L)是N₁和N₂的扩展业务过程，Ф(EBP)是扩展业务过程集，当且仅当：(1)对每一EBP∈Ф(EBP)都有EBP≤N₁且EBP≤N₂，并且(2)对N'，使得N'≤EBP；定义前变迁集和后变迁集：令N＝(P,T,F,L)为一标记工作流网，则：称作t的前变迁集，称作t的后变迁集，若t_i∈°t_i+1，则记为t_i∈°⁺t_n(i＝1,2,...,n-1，并且t₁,t₂,...,t_n∈T)，若t_i∈t_i-1°，则记为t_i∈t₁°⁺(i＝2,3,...,n并且t₁,t₂,...,t_n∈T)；定义映射：令N＝(P,T,F,L)为一标记工作流网，若有N′＝(P,T,F,L)，使得：F′＝F∩((T′×P′)∪(P′×T′))，并且L′＝{(t,L(t))|t∈T′}，则称N′为N从t_i到t_j的映射，记作Ω(N,t_i,t_j)；给定一标记工作流网N＝(P,T,F,L)，定义运算π来表示变迁的前集和后集：扩展业务过程的构造过程可描述如下：输入：表示核心过程的标志工作流网N₁＝(P₁,T₁,F₁,L₁)，表示业务过程的标志工作流网N₂＝(P₂,T₂,F₂,L₂)；输出：扩展业务过程集Ф(EBP)；步骤21：如果存在t和t′，其中t∈T₁，t′∈T₂′，使得L₁(t)与L₂(t′)一致，则将t与t′匹配，同时将i₁匹配i₂，o₁匹配o₂；步骤22：如果对任意L₁(t)∈A₁，存在L₂(t′)∈A₂,使得L₁(t)＝＝L₂(t′)，则返回N₂；步骤23：对每一个t，t∈T₁，使得作如下处理：当L₁(t)不属于A₂时，向前查找t前一变迁集中的元素，直至L₁(t)属于A₂，将当前t记作t₁₁，向后查找t后一变迁集中的元素直至L₁(t)属于A₂，将当前t记作t₁₂，令N′＝(P′,T′,F′,L′)为N₁从t₁₁到t₁₂的映射Ω(N₁,t₁₁,t₁₂)，令t₂₁和t₂₂∈T₂，使得L₂(t₂₁)等于L₁(t₁₁)，L₂(t₂₂)等于L₁(t₁₂)，如果t₂₁∈°t₂₂，则由N₁和N₂构造的扩展业务过程为EBP＝(P,T,F,L)，其中：{P＝P₂∪P-{π₂(t₂₁)},T＝T₂∪T,L＝L₂∪L,F＝F₂∪F∪{t₂₁×π₂(t₁₁),π₁(t₁₂)×t₂₂)}-{t₂₁×π₂(t₂₁),π₂(t₂₁)×t₂₂}}；否则，扩展业务过程为EBP＝(P,T,F,L)，其中：{P＝P₂∪P-{π₂(t₂₁)},T＝T₂∪T,L＝L₂∪L,F＝F₂∪F∪{t₂₁×π₂(t₁₁),π₁(t₁₂°)×t₂₁°)}-{t₂₁×π₂(t₂₁),π₂(t₂₁)×t₂₁°}}，或{P＝P₂∪P-{π₁(t₂₂)},T＝T₂∪T,L＝L₂∪L,F＝F₂∪F∪{°t₂₂×π₂(t₁₁),π₁(t₁₂°)×t₂₂)}-{°t₂₂×π₁(t₂₂),π₁(t₂₂)×t₂₂}}，或{P＝P₂∪P-{π₂(t₁₁),π₁(t₁₂)},T＝T₂∪T,L＝L₂∪L,F＝F₂∪F∪{π₂(t₂₁)×t₁₁°,°t₁₂×π₁(t₂₂)}-{π₂(t₁₁)×t₁₁°,°t₁₂×π₁(t₁₂)}}，Ф(EBP)＝Ф(EBP)∪EBP；步骤24：重复步骤23，直到Ф(EBP)不再扩大为止；步骤25：输出扩展业务过程集Ф(EBP)。