计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2012年
4期
1437-1441
,共5页
开放Petri网%环境约束%Web服务组合%合理性%正确性
開放Petri網%環境約束%Web服務組閤%閤理性%正確性
개방Petri망%배경약속%Web복무조합%합이성%정학성
为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模.通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定.最后通过具体实例结果表明了该方法的有效性.
為瞭研究環境約束下Web服務組閤的正確性,提齣Web服務域和Web環境域的概唸,併使用開放Petri網對Web服務域和Web環境域進行建模.通過分析Web環境域模型與Web服務域模型組閤後的交互行為情況,給齣瞭二者可組閤的前提條件以及組閤後的正確性判定算法,從而實現在環境約束下Web服務組閤的正確性分析和判定.最後通過具體實例結果錶明瞭該方法的有效性.
위료연구배경약속하Web복무조합적정학성,제출Web복무역화Web배경역적개념,병사용개방Petri망대Web복무역화Web배경역진행건모.통과분석Web배경역모형여Web복무역모형조합후적교호행위정황,급출료이자가조합적전제조건이급조합후적정학성판정산법,종이실현재배경약속하Web복무조합적정학성분석화판정.최후통과구체실례결과표명료해방법적유효성.
