桂林电子科技大学学报
桂林電子科技大學學報
계림전자과기대학학보
JOURNAL OF GUILIN UNIVERSITY OF ELECTRONIC TECHNOLOGY
2007年
6期
468-473
,共6页
Web 服务组合%Petri 网%特征交互%非确定性
Web 服務組閤%Petri 網%特徵交互%非確定性
Web 복무조합%Petri 망%특정교호%비학정성
针对Web服务组合中出现的非确定性特征交互的检测问题,采用有色Token表示服务特征信息,建立了Web服务组合的有色Petri网模型.并在此模型的基础上,对非确定性特征交互问题进行了形式化定义.根据问题的规模不同,利用有色Petri网的可达树穷尽搜索法和P-不变量法,设计了两个Web服务组合的非确定性特征交互的检测算法.仿真结果表明,这两个算法在不同问题规模中是正确、有效的.
針對Web服務組閤中齣現的非確定性特徵交互的檢測問題,採用有色Token錶示服務特徵信息,建立瞭Web服務組閤的有色Petri網模型.併在此模型的基礎上,對非確定性特徵交互問題進行瞭形式化定義.根據問題的規模不同,利用有色Petri網的可達樹窮儘搜索法和P-不變量法,設計瞭兩箇Web服務組閤的非確定性特徵交互的檢測算法.倣真結果錶明,這兩箇算法在不同問題規模中是正確、有效的.
침대Web복무조합중출현적비학정성특정교호적검측문제,채용유색Token표시복무특정신식,건립료Web복무조합적유색Petri망모형.병재차모형적기출상,대비학정성특정교호문제진행료형식화정의.근거문제적규모불동,이용유색Petri망적가체수궁진수색법화P-불변량법,설계료량개Web복무조합적비학정성특정교호적검측산법.방진결과표명,저량개산법재불동문제규모중시정학、유효적.
