Abstract
This chapter provides the formal foundations for web service composition.
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.
A primary example of formal planning is the Situational Calculus described in Sect. 4.4
- 2.
A more complicated equivalent statement would be \(\forall \) ?s ∄ ?block O N F(F l o o r, ?block,?s).
References
Verma, K. et al. (2005). METEOR-S WSDI: A scalable P2P infrastructure of registries for semantic publication and discovery of web services. Information Technology and Management, 6(1), 17–39.
Thakkar, S., Ambite, J. L., & Knoblock, C.A. (2003). A data integration approach to automatically composing and optimizing web services. In Proceedings of the 2nd ICAPS Workshop on Planning for Web Services.
Duschka, O. M., & Genesereth, M. R. (1997). Query planning in infomaster. In Proceedings of the 1997 ACM Symposium on Applied Computing. New York: ACM.
Keller, A., & Genesereth, M. R. (1997). Using infomaster to create a household wares catalog. Electronic Markets, 7(4), 41–44. http://www.electronicmarkets.org/fileadmin/user_Upload/doc/ Issues/Volume_07/Issue_04/V07I4_Using_Infomaster_to_Create_a _Housewares_Virtual_Catalog. pdf
Petrie, C., Hochstein, A., & Genesereth, M.R. (2011). Semantics for smart services. The science of service systems (pp. 91–105). New York: Springer. doi:10.1007/978-1-4419-8270-4.http://www.springerlink.com/content/x584435336474537/.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2016 The Author(s)
About this chapter
Cite this chapter
Petrie, C.J. (2016). Formalization of Web Service Composition. In: Web Service Composition. Springer, Cham. https://doi.org/10.1007/978-3-319-32833-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-32833-1_3
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)