第6期 万长林，等：语义Wb服务组合中的服务建模及规划算法 ·495· 算法1是自动服务组合规划算法，其中的IsP [2]PAPAZOGLOU M.Service-oriented computing:concepts, lanExecutable函数作用是判断一个动作序列是否可 Charcteristics and directions[C]//Fourth Interational Con 执行.假设给定一个动作序列new吧=a1;a2;…;an, ference on Web Information Systems Engineering, newp在状态S下可执行的充分必要条件是如DDL WISE2003.Roma,Italy,2003:3-12. 公式(7)： [3]ANDREWS T,CURBERA F,DHOLAKIA H,et al.Busi- ness process execution language for Web services version 1. [(a1U…Uan)*]ΠA Conj(S) 1[EB/OL].2007-02-12 ]http://www.ibm.com/devel- 一〈neop）true (7) operworks/library/specification/ws-bpel/. 可满足，其中，Π=∧=1(Comj(P:)→〈a:〉ture),P [4 MARTIN D.OWL-S:semantic markup for web services 是动作a:的前提，Conj(S)表示由S中的各个公式 EB/OL].2004-08-26 ]http://www.daml.org/serv- 作为合取项构成的合取式.算法2是组合评估算法 ices/owl-s/1.1/overview/. EvaluatePlan,其作用是评估一个动作序列使目标公 [5]MCDERMOTT D.A temporal logic for reasoning about 式达成的程度.假设给定一个动作序列ne吧和一个 processes and plans [J].Cognitive Science,1982 (6): 目标公式g,neup在状态S下执行后公式成立的充 101-155 分必要条件是如DDL公式(8)： [6]SCHUSTER H,GEORGAKOPOULOS D,CICHOCKI A,et Conj(S)A〈neop）7g (8)》 al.Modeling and composing service-based and reference 可满足，EvaluatePlan算法的基本思想是把目标公式 process-based multi-enterprise processes[J].Advanced In- g规范化为析取范式G=V（A19),其中9，为 formation Systems Engineering,2000,1789:247-263 [7]KELLER U,LAUSEN H,STOLLBERG M.On the seman- 简单公式.对每一个析取项八19，如果有n个 tics of functional descriptions of web services[J].The Se- 可满足，则该析取项的达成程度为n/m,目标公式g mantic Web:Research and Applications,2006,4011:605- 的达成程度为所有析取项的最大达成程度 619. 4结束语 [8]NARAYANAN S,MCILRAITH S A.Simulation,verifica- tion and automated composition of web services C]//The 本文将动态描述逻辑DDL用于对Web服务的 11th Intemnational Conference on World Wide Web.2002. 控制流和数据流建模.将原子服务描述为DDL中的 Honolulu,Hawaii,USA,2002:77-88 原子动作，并将Wb服务组合中的基本控制流描述 [9]MCILRAITH S,SON T C.Adapting golog for composition 为DDL的动作宏，这样的模型相对BPEL4WS和 of semantic web services[C]//The 8th International Confer- OWL-S更为简洁且同时又能满足逻辑层推理和规 ence on Principles of Knowledge Representation and Rea- 划的描述需要.另外，Wb服务中的数据流也被定 soning (KR2002).Toulouse,France,2002:482-493. 义为DDL中包含与、或(AND,OR)算子的复杂公 [10]SIRIN E.Combing description logic reasoning with AI plan- 式，所以对数据流也具备更强的建模能力.本文还给 ning for composition of web services[D].College Park: 出一个基本的自动服务组合框架，将组合过程划分 University of Maryland,2006. 为逻辑层和实现层2个层面.自动服务组合问题首 [11]GU Y,SOUTCHANSKI M.Decidable reasoning in a mod- 先在逻辑层上做为一个智能规划问题来求解，得出 ified situation calculus[C]//Proceedings of the Intera- tional Joint Conference on Artificial Intelligence.Hydera- 满足用户需求的动作规划，避免了在规划过程中过 bad,India,2007:1891-1897. 多考虑服务细节的问题然后根据动作规划在实现 [12]HOFFMANN J O,BERTOLI P,PISTORE M.Web serv- 层选择合适的Web服务组合成新的服务.在Web ice composition as planning,revisited:in between back- 服务的语义建模基础上，给出一种新的自动组合规 ground theories and initial state uncertainty[C]//Proceed- 划算法，该算法充分考虑了语义推理和智能规划的 ings of the National Conference on Artificial Intelligence. 结合，在对问题的描述能力和运行效率上做了较好 Vancouver,Canada:AAAI Press,2007:1013-1018. 的平衡 [13]史忠植，董明楷，蒋运承，等.语义Wb的逻辑基础 参考文献： [J].中国科学：E辑，2004,34(10)：1123-1138. SHI Zhongzhi,DONG Mingkai,JIANG Yuncheng,et al. [1]MCILRAITH S,ZENG T C H.Semantic Web services[J] The logical fundation for semantic Web[J].Science in IEEE Internet Systems,2001,16(2):46-53. China Series E:Information Sciences,2004,34 (10):