Abstract
This chapter explains methods of web service composition using the formalism of the previous chapter.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
BPEL-WS is the current standard: OASIS Web Services Business Process Execution Language Version 2.0.
- 2.
Yes, there could be subplans to make it so, such as a planned robbery. But such subplans will probably fail because of legality constraints.
References
Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2002). LTSA-WS: A tool for model-based verification of web service compositions and choreography. Department of Computing, Imperial College London, UK.doi=10.1.1.5.3846. http://www.computer.org/portal/web/csdl/doi/10.1109/ASE.2003.1240303.
Petrie, C. (2009). Planning process instances with web services. In Proceedings of ICEIS (pp. 31–41). New York/Berlin: Springer. doi:dx.doi.org/10.5220/0002171400310041.
Pollock, J. L. (1998). The logical foundations of goal-regression planning in autonomous agents. Artificial Intelligence, 106, 267–335.
Giunchiglia, F., & Traverso, P. (1999). Planning as model checking. In Proceeding of the 5th European Conference on Planning (ECP’99) (pp. 1–20).
Ambite, J. L. (2003). Planning as model checking. Talk http://www.isi.edu/~blythe/cs541/Slides/2003-9-11-pamc-obdd.pdf.
Peer, J. (2005). Web Service Composition as AI Planning. University of St. Gallen, http://decsai.ugr.es/~faro/CDoctorado/bibliografia/refPlanning4SW/LinkedDocuments/webservice-composition-as-aiplanning-pfwsc.pdf.
Traverso, P., & Pistore, M. (2004). Automated composition of semantic web services into executable processes. The semantic web: ISWC. New York: Springer. http://astroproject.org/downloads/dissemination/ISWC04.pdf.
McIlraith, S., & Son, T. (2002). Adapting golog for composition of semantic web services. In Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (pp. 482–493). http://www.cs.toronto.edu/~sheila/publications/mci-son-kr02.pdf.
Kautz, H., & Selaman, B. (1999). Unifying SAT-based and graph-based planning. In Proceedings of IJCAI’99 (1) (pp. 318–325). San Francisco: Morgan Kaufmann.
Sirin, E., et al. (2004). HTN planning for web service composition using SHOP2. In Proceedings of Web Semantics: Science, Services and Agents on the World Wide Web, Elsevier (Vol. 1, Issue 4, pp. 377–396).
Petrie, C. (1993). The Redux’ server. In Proceedings of the International Conference on Intelligent and Cooperative Information Systems (ICICIS), Rotterdam.
Petrie, C., Webster, T., & Cutkosky, T. (1995). Using Pareto optimality to coordinate distributed agents. AIEDAM, 9, 269–281.
Petrie, C. (2012). Automated configuration problem solving. Springer Briefs in Computer Science. New York: Springer. doi:10.1007/978-1-4614-4532-6-1.
Petrie, C. (1992). Constrained decision revision. In Proceedings of AAAI-92 (pp. 393–400). http://www-cdr.stanford.edu/~petrie/AAAI92.pdf.
Petrie, C. (2008). Collective work. Peering, IEEE Internet Computing 12(2), 80–82. http://www-cdr.stanford.edu/~petrie/online/peer2peer/collectivework.pdf.
Petrie, C. (2011). Enterprise coordination on the internet. Future Internet, 3(1), 49–66. doi:10.3390/fi3010049. http://www.mdpi.com/1999-5903/3/1/49/.
Petrie, C. (2010). Plenty of room outside the firm. Peering, IEEE Internet Computing 14(1), 92–96. http://www-cdr.stanford.edu/~petrie/online/peer2peer/vision2010.pdf.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2016 The Author(s)
About this chapter
Cite this chapter
Petrie, C.J. (2016). Methods of Web Service Composition. In: Web Service Composition. Springer, Cham. https://doi.org/10.1007/978-3-319-32833-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-32833-1_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-32831-7
Online ISBN: 978-3-319-32833-1
eBook Packages: Computer ScienceComputer Science (R0)