Automatic Web service composition based on Horn clauses and Petri nets

[1]  MengChu Zhou,et al.  Web Service Configuration Under Multiple Quality-of-Service Attributes , 2009, IEEE Transactions on Automation Science and Engineering.

[2]  MengChu Zhou,et al.  QoS-Aware Web Service Configuration , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[3]  Athman Bouguettaya,et al.  Framework for Web service query algebra and optimization , 2008, TWEB.

[4]  Shankar Ponnekanti,et al.  SWORD: A Developer Toolkit for Web Service Composition , 2008 .

[5]  Tomas Vitvar,et al.  SAWSDL: Semantic Annotations for WSDL and XML Schema , 2007, IEEE Internet Computing.

[6]  Antonio Brogi,et al.  Behaviour-Aware Discovery of Web Service Compositions , 2007, Int. J. Web Serv. Res..

[7]  Matthias Hagen.  Lower Bounds for Three Algorithms for the Transversal Hypergraph Generation , 2007, WG.

[8]  J. Farrell,et al.  Semantic Annotations for WSDL and XML Schema , 2007 .

[9]  Soundar R. T. Kumara,et al.  Web Service Planner (WSPR): An Effective and Scalable Web Service Composition Algorithm , 2007, Int. J. Web Serv. Res..

[10]  Athman Bouguettaya,et al.  Deploying and managing Web services: issues, solutions, and directions , 2008, The VLDB Journal.

[11]  David A. Bell,et al.  The Semantic Web and Web Services , 2006, Inf. Syst..

[12]  Mihhail Matskin,et al.  Composition of Semantic Web services using Linear Logic theorem proving , 2006, Inf. Syst..

[13]  Subbarao Kambhampati,et al.  A snapshot of public web services , 2005, SGMD.

[14]  Mohand-Said Hacid,et al.  On automating Web services discovery , 2003, The VLDB Journal.

[15]  Kurt Lautenbach,et al.  Logical Reasoning and Petri Nets , 2003, ICATPN.

[16]  Wil M. P. van der Aalst,et al.  Applications and theory of Petri nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 : proceedings , 2003 .

[17]  Kurt Lautenbach,et al.  Reproducibility of the Empty Marking , 2002, ICATPN.

[18]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[19]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[20]  M. Yamauchi,et al.  A fast and space-saving algorithm for computing invariants of Petri nets , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[21]  T. Cecchin,et al.  A decentralized approach for computing invariants in large scale and interconnected Petri nets , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[22]  Georg Gottlob,et al.  Identifying the Minimal Transversals of a Hypergraph and Related Problems , 1995, SIAM J. Comput..

[23]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[24]  Tadao Murata,et al.  Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs , 1989, IEEE Trans. Software Eng..

[25]  Tadao Murata,et al.  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..

[26]  Grzegorz Rozenberg,et al.  Applications and Theory of Petri Nets , 1983 .

[27]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.