Abstract
This paper introduces the DAML-S Virtual Machine (DS-VM): an embedded component that uses the DAML-S Process Model to control the interaction between Web services. We provide a proof of the validity of the implementation of the DAML-S Virtual Machine by proving a mapping from the rules used by the DS-VM to the DAML-S Operational Semantics. Finally, we provide an example of use of the DS-VM with a DAML-Sized version of Amazon.com’s Web service, and we conclude with an empirical evaluation that shows that the overhead required by the DS-VM during the interaction with Amazon is only a small fraction of the time required by a query to Amazon. The DS-VM provides crucial evidence that DAML-S can be effectively used to manage the interaction between Web Services.
The research was funded by the Defense Advanced Research Projects Agency as part of the DARPA Agent Markup Language (DAML) program under Air Force Research Laboratory contract F30601-00-2-0592 to Carnegie Mellon University.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Ankolekar, A., Burstein, M., Hobbs, J.R., Lassila, O., Martin, D.L., McIlraith, S.A., Narayanan, S., Paolucci, M., Payne, T., Sycara, K., Zeng, H.: Daml-s: Web service description for the semantic web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 348. Springer, Heidelberg (2002)
Ankolekar, A., Huch, F., Sycara, K.: Concurrent execution semantics for daml-s with subtypes. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 318. Springer, Heidelberg (2002)
Ankolekar, A., Huch, F., Sycara, K.: Semantics for the web services specification language daml-s. In: Proceedings of the Fifth International Conference on Coordination Models and Languages 2002 (2002)
Apache Foundation. XALAN, http://xml.apache.org/xalan-j/
Clark, J.: XSL transformations (XSLT) version 1.0. Technical report, W3C (1999)
Friedman-Hill, E.: Jess
Haskell, S., Peyton, J.: Tackling the awkward squad: monadic input/output, concurrency, execptions and foreign-language calls. Lecture Notes for a tutorial given at Marktoberdorf Summer School (2002)
IBM Corporation. JROM – java record object model
Kopena, J., Regli, W.: DAMLJessKB: A tool for reasoning with the semantic web. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 628–643. Springer, Heidelberg (2003)
McBride, B.: Jena: Implementing the rdf model and syntax specification. In: Semantic Web Workshop, WWW 2001 (2001)
Paolucci, M., Srinivasan, N., Sycara, K., Nishimura, T.: Towards a semantic choreography of web services: from WSDL to DAML-S. In: Jeckle, M. (LJ) Zhang, L.-J. (eds.) ICWS-Europe 2003. LNCS, vol. 2853, Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paolucci, M., Ankolekar, A., Srinivasan, N., Sycara, K. (2003). The DAML-S Virtual Machine. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds) The Semantic Web - ISWC 2003. ISWC 2003. Lecture Notes in Computer Science, vol 2870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39718-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-39718-2_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20362-9
Online ISBN: 978-3-540-39718-2
eBook Packages: Springer Book Archive