免费论文摘要：鉴于处事流网的WS-BPEL精确性考证本领接洽与实行

WS-BPEL是一种合流的Web效劳拉拢谈话，而处事流网在WS-BPEL的情势化考证中获得普遍运用，但暂时WS-BPEL的处事流网模子大多只对准WS-BPEL过程的遏制流建立模型，缺乏数据消息，对WS-BPEL过程中生存的数据考察特殊不许举行检验和测定。对准上述题目，舆论对处事流网举行了扩充，提出了数据处事流网的观念。数据处事流网既维持了处事流网对WS-BPEL过程遏制流建立模型的完美性，又不妨实行对过程中的数据流建立模型。本舆论开始领会了WS-BPEL过程中大概生存的题目，在给出数据处事流网的情势化设置后，给出过程中生存的题目在数据处事流网中所反应的个性。随后，舆论提出了WS-BPEL各元素的数据处事流网模子，给出WS-BPEL过程至数据处事流网变换的本领，并实行了WS-BPEL过程的数据处事流网建立模型东西。WS-BPEL过程的数据处事流网模子运用暂时运用普遍的PNML刻画，为了能对数据处事流网中的数据消息举行刻画，正文对PNML举行扩充，设置了数据处事流网的PNTD。舆论进一步接洽开拓了数据处事流网领会东西，该东西导出PNML刻画的数据处事流网，并鉴于可达图对网的各项个性举行领会。基于暂时某些被普遍运用的可达图算法生存功效较低的题目，本舆论对可达图算法加以矫正，制止了沟通标志节点反复计划的题目，普及了可达图的计划功效，并提出了鉴于可达图对数据处事流网的终态可达性、死锁、活锁和数据考察特殊举行检验和测定的算法。舆论提出的数据处事流网的观念，使得鉴于处事流网不妨实行对WS-BPEL过程的数据流建立模型，并可检验和测定过程中生存的数据考察特殊；数据处事流网领会东西对PNML的扶助，使得任何运用PNML刻画的P/T体例，均可运用此东西举行死锁、活锁和终态可达性领会。舆论的接洽功效为Web拉拢效劳运用的创造，供给了灵验的扶助。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/207373.html