Abstract
Web component supports service-oriented development. This paper presents a logic foundation of Web Component and its rational inference capability. After the role of Web Component is analyzed, a semantic framework to describe Web Component with a modal logic is explored. The dynamic and intelligence of Web Component is addressed.
Supported by the National Grand Fundamental Research 973 Program of China under Grant No. 2002CB312002.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001)
The Universal Description, Discovery and Integration (UDDI) protocol. Version 3 (2003), At: http://www.uddi.org/
McIlraith, S., Son, T.C., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems, Special Issue on the Semantic Web 16(2), 46–53 (2001)
OWL-S Coalition. OWL-S 1.0 Release at: http://www.daml.org/services/owl-s/1.0/
Fei, Y.K., Wang, Z.J.: A Concept Model of Web Component. In: Proc. of IEEE International Conference on Services Computing, pp. 159–164 (2004)
De Palma, N., Laumay, P., Bellissard, L.: On the Emergence of a Web Services Component Model. In: The Proceeding of WCOP, Budapest, Hungary (2001), http://www.research.microsoft.com/~cszypers/events/WCOP2001/Curbera.pdf
Yang, J., Papazoglou, M.P.: Web Component: A Substrate for Web Service Reuse and Composition. In: CAiSE, pp. 21–36 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fei, Y., Zhou, X., Wang, Z. (2006). A Logic Foundation of Web Component. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds) Advanced Web and Network Technologies, and Applications. APWeb 2006. Lecture Notes in Computer Science, vol 3842. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11610496_91
Download citation
DOI: https://doi.org/10.1007/11610496_91
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31158-4
Online ISBN: 978-3-540-32435-5
eBook Packages: Computer ScienceComputer Science (R0)