CAJ | 학술논문

近年来,基于语义的Web服务组合,尤其是Web服务的自动组合方法已成为服务计算领域的一个研究热点.实现了从一个OWL-S过程模型到流演算概念的映射,并给出了相应的转换算法.在此基础上,提出了一个新颖的、基于流演算形式化体系的Web服务自动组合方法.该方法采用前推推理机制对状态和动作进行推理,有效地克服了以传统的情景演算为代表的人工智能规划算法执行效率较低的问题.设计实现了一个实验性的原型系统,结合一个旅游行程规划的实例说明了本文提出的方法的有效性.对提出的BCABFC(Backward-Chaining Algorithm Based On Fluent Calculus)算法与基于情景演算的同类算法进行性能比较,实验结果表明该算法具有较好的性能.
근년래,기우어의적Web복무조합,우기시Web복무적자동조합방법이성위복무계산영역적일개연구열점.실현료종일개OWL-S과정모형도류연산개념적영사,병급출료상응적전환산법.재차기출상,제출료일개신영적、기우류연산형식화체계적Web복무자동조합방법.해방법채용전추추리궤제대상태화동작진행추리,유효지극복료이전통적정경연산위대표적인공지능규화산법집행효솔교저적문제.설계실현료일개실험성적원형계통,결합일개여유행정규화적실례설명료본문제출적방법적유효성.대제출적BCABFC(Backward-Chaining Algorithm Based On Fluent Calculus)산법여기우정경연산적동류산법진행성능비교,실험결과표명해산법구유교호적성능.