免费论文摘要：面向BPEL的效劳共同及其构造真实性与动作衍化性接洽

面向效劳体制构造已变成建立下一代散布式运用的典范框架结构，越来越多的搜集运用创造在面向效劳体制构造之上。跟着面向效劳体例的运用需要越趋搀杂，效劳样式从单输出单输入的大略效劳，兴盛到具备搀杂动作的过程式效劳。同声，单个效劳的功效有限，搀杂运用常常须要共同多个效劳共通实行运用目的。为保证搜集中具备搀杂动作的多个效劳共同处事，效劳共同本领仍旧变成效劳计划范围一个要害的接洽目标。但是，因为面向效劳计划情况具备自制性、动静性及衍化性等特性，效劳共同本领的兴盛面对着一系列挑拨。开始，因为效劳独力于简直运用而生存，具备莫大自制性，须要共同处事的效劳之间大概生存由于动作不行共同而没辙精确交互的情景，所以，怎样保护效劳动作的可共同性，是保证共同效劳之间精确交互的要害题目。第二，动静的搜集情况中，效劳大概变得不行考察（即作废）。个别效劳的作废大概会引导所有效劳共同构造没辙平常处事，所以，怎样保护效劳共同构造的真实性，是保证动静搜集情况下效劳共同处事的要害题目。第三，反复无常的运用需要常惹起效劳动作的衍化以及效劳的动静介入/退出，而效劳动作的衍化大概引导效劳动作变得不行共同，效劳的动静介入/退出大概妨害效劳交互的完备性，所以，怎样保护动静衍化中效劳动作的可共同性和效劳交互的完备性，是保证动静衍化进程中效劳共同处事的要害题目。对准上述题目，正文中心在效劳动作可共同性、效劳共同构造真实性、以及效劳协同业为衍化性等上面打开接洽，重要接洽功效如次：(1) 提出了鉴于Pi验算的效劳动作可共同性模子，囊括效劳动作模子和效劳共同模子，辨别从个别效劳动作和全部效劳交互的观点刻划了效劳共同进程。鉴于之上模子给出了效劳动作可共同性判决算法。在此普通上，提出了鉴于模子投影的效劳动作可共同性保护本领SECOG，经过由效劳共同模子向效劳动作模子投影，天生一组可共同的效劳动作模子，以保护效劳动作的可共同性。沿用构造归结法对该本领举行了精确性表明。并引见了该本领在面向BPEL的效劳动作可共同性保护上的运用。(2) 提出了效劳共同构造k-邻点真实性模子，在此普通上，给出了效劳共同构造真实性计划本领。经过对共同构造真实性计划截止的领会，得出效劳共同构造真实性与共同构造巨细等成分间的因变量联系。提出了一种鉴于分层的效劳共同构造真实性保护本领，保护了效劳共同构造更加保护了大范围共同构造的真实性。并沿用数学归结法对该本领的灵验性举行了表明。(3) 提出了动静衍化中的效劳动作可共同性领会本领COME4ES，沿用过程代数中的过程互模仿表面，经过确定衍化前后的效劳动作能否满意互模仿联系，来查看衍化后效劳能否满意与其协作搭档之间的动作可共同性，并证领会该本领的精确性，对准衍化后效劳不满意动作可共同性的情景，提出一种鉴于动静缓存的效劳动作适配本领，以维持效劳之间的动作可共同性。其余，提出了动静衍化中的效劳交互完备性保护本领INIG4ES，经过创造面向衍化的效劳状况模子，将效劳启动加入停止状况的本领，来保护效劳交互的完备性，并领会了该本领的灵验性。(4) 鉴于之上接洽处事，安排实行了面向BPEL的效劳共同平台—XServices效劳共同平台（XServices Collaboration）。XServices效劳共同平台动作面向BPEL效劳共同体例开拓、运转及动静衍化的普通软硬件平台，囊括XServices 效劳共同引擎、效劳共同开拓东西和存户端三个体例模块。正文给出了其体制构造、运转道理和实行过程。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

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