云彩店邀请码|半壳|优胜
因为交易需要的搀杂性和交易情况的反复无常性,运用拉拢效劳本领赶快开拓交易过程不免爆发特殊,所以运用可视化考证本领来保护过程精确性利害常需要的。暂时鉴于WS-BPEL的交易过程建立模型东西与考证东西摆脱,引导特殊定位与废除格外艰巨。而考证上面所能扶助的数据论理特殊检验和测定品种有限,功效也有待于普及。对准之上题目,正文提出结束合建立模型和考证的可视化考证本领,扶助用户在可视化情况下举行“建立模型——考证——矫正”闭环过程开拓。 舆论开始对WS-BPEL2.0典型举行领会,安排了WS-BPEL元模子动作Web效劳拉拢过程过程刻画模子,而后安排并实行了一个鉴于WS-BPEL的可视化建立模型东西为开拓职员供给图形化过程编排情况和规范代码天生。为使正文鉴于WS-BPEL的情势化考证也能扶助BPMN的输出,正文对BPMN向WS-BPEL变换本领举行接洽,并给出变换算法的安排与实行。论文华用DWFN(数据处事流网)为过程建立模型供给情势化考证扶助,该模子为处事流网的扩充,可刻画WS-BPEL过程的论理和数据消息。正文进一步扩充了原有DWFN方规则其扶助更多品种特殊的检验和测定,并给出化简本领普及检验和测定功效,再对已有的死锁、活锁、终态不行达特殊、对未初始化变量读、并行读写辩论的特殊检验和测定算法举行扩充令其扶助特殊定位,并提出数据冗余和数据丧失两种新的数据特殊检验和测定定位算法安排,舆论对上述算法都举行了实行。舆论为了实行特殊截止的可视化反应,设置了WS-BPEL模子、DWFN模子映照以及可达图模子之间的映照联系,并安排实行了可视化建立模型东西与考证东西之间的接口,结果在可视化建立模型中嵌入反应东西实行特殊截止的可视化。 舆论的接洽功效为Web拉拢效劳运用的创造以及Petri网本领在Web效劳本领体制中的应用,供给了灵验的扶助。
来源:半壳优胜鲸鱼幸运星转载请保留出处和链接!
本文链接:http://87cpy.com/204548.html
本站部分内容来源网络如有侵权请联系删除