Abstract
The DARPA Agent Markup Language ontology for Services (DAML-S) enables the description of Web-based services, such that they can be discovered, accessed and composed dynamically by intelligent software agents and other Web services, thereby facilitating the coordination between distributed, heterogeneous systems on the Web. We propose a formalised syntax and an initial reference semantics for DAML-S, which incorporates subtype polymorphism. The semantics we describe is derived from the semantics for Erlang and Concurrent Haskell. We contrast our semantics with an alternate semantics proposed for DAML-S, based on the situation calculus and Petri nets.
Chapter PDF
References
A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, and H. Zeng. DAML-S: Semantic markup for Web services. In Proceedings of the International Semantic Web Working Symposium (SWWS), pages 411–430, 2001.
A. Ankolekar, F. Huch, and K. Sycara. Concurrent semantics for the web services specification language DAML-S. In Proceedings of the Fifth International Conference on Coordination Models and Languages, volume 2315 of Springer Lecture Notes in Computer Science. Springer Verlag, April 2002.
E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web services description language (WSDL) 1.1, 2001.
D. Connolly, F. van Harmelen, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. DAML+OIL (march 2001) reference description. http://www.w3.org/TR/daml+oil-reference.
M. Felleisen, D. P. Friedman, E. E. Kohlbecker, and B. Duba. A syntactic theory of sequential control. Theoretical Computer Science, 52(3):205–237, 1987.
R. Fikes and D. McGuinness. An axiomatic semantics for RDF, RDF-S, and DAML+OIL, W3C note 12.
F. Huch. Verification of Erlang programs using abstract interpretation and model checking. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP’ 99), volume 34–9 of ACM SIGPLAN Notices, pages 261–272. ACM Press, September 1999. Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP’ 99).
F. Huch and U. Norbisrath. Distributed programming in Haskell with ports. Lecture Notes in Computer Science, 2011, 2000.
S. P. Jones, A. Gordon, and S. Finne. Concurrent Haskell. In Conference Record of POPL’ 96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 295–308, St. Petersburg Beach, Florida, 1996.
S. Kaes. Type inference in the presence of overloading, subtyping and recursive types. In Proceedings of the Conference on Lisp and Functional programming, pages 193–204. ACM Press, 1992.
F. Leymann. Web services flow language (WSFL) 1.0.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
R. Milner. The polyadic π-calculus: A tutorial. Technical report, University of Edinburgh, 1991.
S. Narayanan and S. McIllraith. Simulation, verification, and automated composition of web services. In Proceedings of the Eleventh International World Wide Web Conference (WWW2002), 2002.
P. Niederau. Objectorientierte erweiterungen einer deklarativen programmiersprache. Master’s thesis, RWTH Aachen, August 2000.
S. Thatte. XLANG: Web services for business process design, 2001.
UDDI. The UDDI technical white paper. http://www.uddi.org/, 2000.
F. van Harmelen, P. F. Patel-Schneider, and I. Horrocks. A model-theoretic semantics for DAML+OIL. http://www.daml.org/2001/03/model-theoretic-semantics.html.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ankolekar, A., Huch, F., Sycara, K. (2002). Concurrent Execution Semantics of DAML-S with Subtypes. In: Horrocks, I., Hendler, J. (eds) The Semantic Web — ISWC 2002. ISWC 2002. Lecture Notes in Computer Science, vol 2342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48005-6_25
Download citation
DOI: https://doi.org/10.1007/3-540-48005-6_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43760-4
Online ISBN: 978-3-540-48005-1
eBook Packages: Springer Book Archive