Concurrent Semantics for the Web Services Specification Language DAML-S
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.
KeywordsDAML-S Web services concurrent semantics agents
Unable to display preview. Download preview PDF.
- 1.The DAML Services Coalition. DAML-S: Semantic Markup For Web Services. In Proceedings of the International Semantic Web Workshop, 2001Google Scholar
- 2.Frank Huch. Verification of Erlang Programs using Abstract Interpretation and Model Checking. ACM International Conference of Functional Programming 1999.Google Scholar
- 4.Simon Peyton Jones and John Hughes, editors. Haskell 98: A Non-strict, Purely Functional Language http://www.haskell.org/onlinereport/
- 5.Philip Wadler. Monads for functional programming. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, Springer Verlag, LNCS 925, 1995.Google Scholar
- 6.Frank Huch and Ulrich Norbisrath. Distributed Programming in Haskell with Ports. Lecture Notes in Computer Science, Vol. 2011, 2000.Google Scholar
- 7.Simon Peyton Jones and Andrew Gordon and Sigbjorn Finne. Concurrent Haskell. POPL’ 96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. St. Petersburg Beach, Florida, pg. 295–308, 1996.Google Scholar
- 9.Dan Brickley and R. V. Guha. Resource Description Framework (RDF) Schema Specification 1.0, W3C Candidate Recommendation 27 March 2000. http://www.w3c.org/TR/rdf-schema/