计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2007年
4期
643-650
,共8页
邱莉榕%史忠植%林芬%常亮
邱莉榕%史忠植%林芬%常亮
구리용%사충식%림분%상량
语义Web服务%服务组合%AI规划%动态描述逻辑%主体
語義Web服務%服務組閤%AI規劃%動態描述邏輯%主體
어의Web복무%복무조합%AI규화%동태묘술라집%주체
语义Web服务要解决的一个主要问题就是如何实现服务组合自动化.主体技术因其智能性、自主性等特点在解决语义Web服务组合问题中具有较大优势.通过分析语义Web服务组合研究现状,分析主体、语义Web与Web服务的紧密关系,论证了基于主体的语义Web服务的可行性并描述了基于多主体的Web服务组合平台架构.介绍了基于主体技术的语义Web服务组合技术,将服务组合看成是一个多主体环境下的规划问题,给出语义Web服务作为主体动作子类的形式化定义,并针对服务组合问题增加限定条件,定义服务之间的5种关系,试图从逻辑角度,以描述逻辑为基本工具,突出服务的动态性与交互性.最后利用主体的目标规划以及基于描述逻辑的有效推理,给出了服务的自动组合算法.
語義Web服務要解決的一箇主要問題就是如何實現服務組閤自動化.主體技術因其智能性、自主性等特點在解決語義Web服務組閤問題中具有較大優勢.通過分析語義Web服務組閤研究現狀,分析主體、語義Web與Web服務的緊密關繫,論證瞭基于主體的語義Web服務的可行性併描述瞭基于多主體的Web服務組閤平檯架構.介紹瞭基于主體技術的語義Web服務組閤技術,將服務組閤看成是一箇多主體環境下的規劃問題,給齣語義Web服務作為主體動作子類的形式化定義,併針對服務組閤問題增加限定條件,定義服務之間的5種關繫,試圖從邏輯角度,以描述邏輯為基本工具,突齣服務的動態性與交互性.最後利用主體的目標規劃以及基于描述邏輯的有效推理,給齣瞭服務的自動組閤算法.
어의Web복무요해결적일개주요문제취시여하실현복무조합자동화.주체기술인기지능성、자주성등특점재해결어의Web복무조합문제중구유교대우세.통과분석어의Web복무조합연구현상,분석주체、어의Web여Web복무적긴밀관계,론증료기우주체적어의Web복무적가행성병묘술료기우다주체적Web복무조합평태가구.개소료기우주체기술적어의Web복무조합기술,장복무조합간성시일개다주체배경하적규화문제,급출어의Web복무작위주체동작자류적형식화정의,병침대복무조합문제증가한정조건,정의복무지간적5충관계,시도종라집각도,이묘술라집위기본공구,돌출복무적동태성여교호성.최후이용주체적목표규화이급기우묘술라집적유효추리,급출료복무적자동조합산법.