科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2012年
15期
101
,共1页
开放Petri网%环境约束%Web服务组合%合理性%正确性
開放Petri網%環境約束%Web服務組閤%閤理性%正確性
개방Petri망%배경약속%Web복무조합%합이성%정학성
本文首先提出Web服务域和Web环境域的概念并使用开放Petri网对Web服务域和Web环境域进行建模.然后通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定.
本文首先提齣Web服務域和Web環境域的概唸併使用開放Petri網對Web服務域和Web環境域進行建模.然後通過分析Web環境域模型與Web服務域模型組閤後的交互行為情況,給齣瞭二者可組閤的前提條件以及組閤後的正確性判定算法,從而實現在環境約束下Web服務組閤的正確性分析和判定.
본문수선제출Web복무역화Web배경역적개념병사용개방Petri망대Web복무역화Web배경역진행건모.연후통과분석Web배경역모형여Web복무역모형조합후적교호행위정황,급출료이자가조합적전제조건이급조합후적정학성판정산법,종이실현재배경약속하Web복무조합적정학성분석화판정.
