Automatic composition of transition-based semantic web services with messaging

作者: Diego Calvanese , Massimo Mecella , Daniela Berardi , Giuseppe De Giacomo , Richard Hull

DOI:

关键词:

摘要: In this paper we present Colombo, a framework in which web services are characterized terms of (i) the atomic processes (i.e., operations) they can perform; (ii) their impact on "real world" (modeled as relational database); (iii) transition-based behavior; and (iv) messages send receive (from/to other "human" clients). As such, Colombo combines key elements from standards research literature (semantic) services. Using study problem automatic service composition (synthesis) devise sound, complete terminating algorithm for building composite service. Specifically, develops technique handling data, ranges over an infinite domain, finite, symbolic way, to automatically synthesize services, based Propositional Dynamic Logic.

参考文章(16)
Pat Helland, Data on the Outside Versus Data on the Inside. conference on innovative data systems research. pp. 144- 153 ,(2005)
Diego Calvanese, Massimo Mecella, Daniela Berardi, Giuseppe De Giacomo, Richard Hull, On-line Appendix to the Paper "Automatic Composition of Transition-based Semantic Web Services with Messaging" ,(2005)
Vijay Machiraju, Harumi Kuno, Gustavo Alonso, Fabio Casati, Web Services: Concepts, Architectures and Applications ,(2003)
Sheila A. McIlraith, Tran Cao Son, Adapting Golog for Composition of Semantic Web Services principles of knowledge representation and reasoning. pp. 482- 496 ,(2002)
Paolo Traverso, Marco Pistore, Automated composition of semantic web services into executable processes international semantic web conference. pp. 380- 394 ,(2004) , 10.1007/978-3-540-30475-3_27
Evren Sirin, Bijan Parsia, Dan Wu, James Hendler, Dana Nau, HTN planning for Web Service composition using SHOP2 Journal of Web Semantics. ,vol. 1, pp. 377- 396 ,(2004) , 10.1016/J.WEBSEM.2004.06.005
Richard Hull, Jianwen Su, Domain independence and the relational calculus Acta Informatica. ,vol. 31, pp. 513- 524 ,(1994) , 10.1007/BF01213204