|
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
基于微分Petri 网的业务流程模块适配方法 % v/ m5 r2 j* @8 S" d* g
摘要:为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放 Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测,利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析,以达到业务流程模块适配分析.理论分析结果表明,所建立的微分表达式能够反映模型活性与稳定性,模块适配效果较好.最后基于平台数据进行仿真分析,实验结果表明本文所提的方法有一定的可行性. J: E' y6 {) u' ^5 q5 s6 U& u
关键词:微分Petri 网;控制流;数据流;模块适配
/ S# k: I9 n7 x/ S; h, }- d( r. ^$ N) r# ]$ e
1引言6 g! I, u4 U9 O1 ^3 v
在实际Web 服务领域中,彼此协作的服务构成了面向服务体系( SOA),由于内部资源的流失及外界干扰等问题的存在,SOA系统在实际操作时可能达不到预期目标.此时,需要对模型中异常的部分进行替换与修正,从而进一步涉及到模型适配问题.目前,这方面已有相当多的研究,主要关注模型行为方面的适配性.& C, Q* `( \0 q: A9 p4 E$ ?* W
文献[1]在服务工作流网的基础上通过提取行为特征的方式实现与上下文无关的服务替换组合,说明替换的行为兼容性等价于行为一致性.文献[2]提出了基于行为继承的服务与替代方法对服务行为进行建模,并用T不变量描述了行为继承的充要条件.文献[3,4]给出了服务行为的适配性,避免了服务间不兼容的情况,保证适配行为的安全性.文献[5]通过在适当的库所上消除和引入并发,对计算时间和结果的复杂性有实质性的改进,但是这些方法都只考虑模型的结构约束,单独在控制流方面分析模型的适配性.事实上，数据流和控制流是构成模型的两个重要因素,如文献[6,7]从数据流和控制流角度考虑模型的过程优化,数据流也是业务流程建模的约束条件[8].! t0 s6 l9 u' o7 F
本文先从语义学角度,由微分Petri 网的演化表达
9 I9 Z0 D h# s, w0 v+ K) f
- \6 }/ {1 B& n5 {% R/ K, z; C2 E, m0 B, q4 u' @" P
1 U% ^6 e) K4 z0 j, c4 E, m5 ^4 ?, Y: ~# d0 m. j9 T3 q9 d2 }8 N6 f
|
|
/1 
发表于 2021-4-20 15:21
收藏
淘帖
支持！
反对！