计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2011年
5期
831-840
,共10页
刘思培%刘大有%齐红%关菁华
劉思培%劉大有%齊紅%關菁華
류사배%류대유%제홍%관정화
语义Web服务%服务本体%服务组合%描述逻辑规则%服务组
語義Web服務%服務本體%服務組閤%描述邏輯規則%服務組
어의Web복무%복무본체%복무조합%묘술라집규칙%복무조
针对OWL-S语义Web服务自动组合问题,提出了一种基于描述逻辑(DL)规则的建模和组合方法.将ServiceProfile中的原子服务及其输入、输出参数分别建模DL中角色和概念,将概念间上下位关系和ProcessProfile中组合流程模型建模为DL规则,以一种统一的方式刻画语义Web服务的静态功能语义和动态交互特征;提出了刻画顺序服务组合的DL规则链和描述Split+Join结构的服务组(WSC)模型,将并发服务组合转为基于WSC的顺序组合,将语义Web服务组合归结为WSC和DL规则链发现过程.与已有的方法相比,该方法将语义Web服务组合问题统一在DL规则的框架下,弥补了基于DL无法描述Web服务动态特征的缺陷,避免了Petri网推理和谓词演算等进行Web服务组合时限于命题逻辑层面无法充分利用语义信息的问题,也克服了基于智能规划的组合方法限于顺序组合的问题.
針對OWL-S語義Web服務自動組閤問題,提齣瞭一種基于描述邏輯(DL)規則的建模和組閤方法.將ServiceProfile中的原子服務及其輸入、輸齣參數分彆建模DL中角色和概唸,將概唸間上下位關繫和ProcessProfile中組閤流程模型建模為DL規則,以一種統一的方式刻畫語義Web服務的靜態功能語義和動態交互特徵;提齣瞭刻畫順序服務組閤的DL規則鏈和描述Split+Join結構的服務組(WSC)模型,將併髮服務組閤轉為基于WSC的順序組閤,將語義Web服務組閤歸結為WSC和DL規則鏈髮現過程.與已有的方法相比,該方法將語義Web服務組閤問題統一在DL規則的框架下,瀰補瞭基于DL無法描述Web服務動態特徵的缺陷,避免瞭Petri網推理和謂詞縯算等進行Web服務組閤時限于命題邏輯層麵無法充分利用語義信息的問題,也剋服瞭基于智能規劃的組閤方法限于順序組閤的問題.
침대OWL-S어의Web복무자동조합문제,제출료일충기우묘술라집(DL)규칙적건모화조합방법.장ServiceProfile중적원자복무급기수입、수출삼수분별건모DL중각색화개념,장개념간상하위관계화ProcessProfile중조합류정모형건모위DL규칙,이일충통일적방식각화어의Web복무적정태공능어의화동태교호특정;제출료각화순서복무조합적DL규칙련화묘술Split+Join결구적복무조(WSC)모형,장병발복무조합전위기우WSC적순서조합,장어의Web복무조합귀결위WSC화DL규칙련발현과정.여이유적방법상비,해방법장어의Web복무조합문제통일재DL규칙적광가하,미보료기우DL무법묘술Web복무동태특정적결함,피면료Petri망추리화위사연산등진행Web복무조합시한우명제라집층면무법충분이용어의신식적문제,야극복료기우지능규화적조합방법한우순서조합적문제.
