计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
9期
205-207,214
,共4页
Web服务组合%模糊Petri网%逆向推理%关联矩阵
Web服務組閤%模糊Petri網%逆嚮推理%關聯矩陣
Web복무조합%모호Petri망%역향추리%관련구진
就语义Web服务自动组合技术而言,在服务组合时需要建立形式化的描述模型,以及有效利用这些已有的数据依赖关系实现服务合成的请求.而现有的组合方法与实施框架可能出现全局状态的指数性增长.针对这一问题,提出一种适合于Web环境的模糊Petri网逆向推理算法.该算法结合模糊Petri网的逆向推理和代数运算的优点,能有效减小算法空间复杂度,把一个大的、复杂的系统转化为一个只与问题相关的、小的系统来处理.最后,通过一个例子说明了算法的可用性.
就語義Web服務自動組閤技術而言,在服務組閤時需要建立形式化的描述模型,以及有效利用這些已有的數據依賴關繫實現服務閤成的請求.而現有的組閤方法與實施框架可能齣現全跼狀態的指數性增長.針對這一問題,提齣一種適閤于Web環境的模糊Petri網逆嚮推理算法.該算法結閤模糊Petri網的逆嚮推理和代數運算的優點,能有效減小算法空間複雜度,把一箇大的、複雜的繫統轉化為一箇隻與問題相關的、小的繫統來處理.最後,通過一箇例子說明瞭算法的可用性.
취어의Web복무자동조합기술이언,재복무조합시수요건립형식화적묘술모형,이급유효이용저사이유적수거의뢰관계실현복무합성적청구.이현유적조합방법여실시광가가능출현전국상태적지수성증장.침대저일문제,제출일충괄합우Web배경적모호Petri망역향추리산법.해산법결합모호Petri망적역향추리화대수운산적우점,능유효감소산법공간복잡도,파일개대적、복잡적계통전화위일개지여문제상관적、소적계통래처리.최후,통과일개례자설명료산법적가용성.
