Dynamic Discovery and Composition of Semantic Web Services Using Abductive Event Calculus

作者: D. Paulraj , S. Swamynathan

DOI: 10.1109/ITC.2010.36

关键词:

摘要: Service Oriented Computing (SOC) is gaining prominence as the technology of choice for integrating applications in diverse and heterogeneous distributed environments. Web an important instance aiming at facilitating integration new applications, avoiding difficulties due to different platforms, languages etc. In this regard building complex services from simpler ones called composition. paper a composition strategy using abductive planning capability Event Calculus (EC) proposed. An algorithm planning, that creates partially ordered list events required presented. This performs fine-grained matching level atomic process, rather than entire process discovery, execution.

参考文章(18)
M. Gavanelli, Federico Chesani, Paola Mello, M. Alberti, Marco Montali, E. Lamma, A-priori verification of web services with abduction. Convegno Italiano di Logica Computazionale. ,(2006)
Mohsen Rouached, Claude Godart, Securing web service compositions: formalizing authorization policies using event calculus international conference on service oriented computing. ,vol. 4294, pp. 440- 446 ,(2006) , 10.1007/11948148_37
Mohsen Rouached, Olivier Perrin, Claude Godart, Retracted: Towards Formal Verification of Web Service Composition Lecture Notes in Computer Science. ,vol. 4102, pp. 257- 273 ,(2006) , 10.1007/11841760_18
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni, Web Service Contracting: Specification and Reasoning with SCIFF european semantic web conference. pp. 68- 83 ,(2007) , 10.1007/978-3-540-72667-8_7
Murray Shanahan, The Event Calculus Explained Artificial Intelligence Today. pp. 409- 430 ,(1999) , 10.1007/3-540-48317-9_17
Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth, Verifying composite service transactional behavior using event calculus international conference on move to meaningful internet systems. pp. 353- 370 ,(2007) , 10.1007/978-3-540-76848-7_23
Antonio Brogi, Sara Corfini, Razvan Popescu, Semantics-based composition-oriented discovery of Web services ACM Transactions on Internet Technology. ,vol. 8, pp. 19- ,(2008) , 10.1145/1391949.1391953
Murray Shanahan, An abductive event calculus planner Journal of Logic Programming. ,vol. 44, pp. 207- 240 ,(2000) , 10.1016/S0743-1066(99)00077-1
Onur Aydın, Nihan Kesim Cicekli, Ilyas Cicekli, Automated Web Services Composition with the Event Calculus Engineering Societies in the Agents World VIII. pp. 142- 157 ,(2008) , 10.1007/978-3-540-87654-0_7
Ioan Salomie, Viorica R. Chifu, Ioana Harsa, Towards automated web service composition with fluent calculus and domain ontologies Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services - iiWAS '08. pp. 201- 207 ,(2008) , 10.1145/1497308.1497348