Concurrent Semantics for the Web Services Specification Language DAML-S

  • Anupriya Ankolekar
  • Frank Huch
  • Katia Sycara
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2315)


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.


DAML-S Web services concurrent semantics agents 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    The DAML Services Coalition. DAML-S: Semantic Markup For Web Services. In Proceedings of the International Semantic Web Workshop, 2001Google Scholar
  2. 2.
    Frank Huch. Verification of Erlang Programs using Abstract Interpretation and Model Checking. ACM International Conference of Functional Programming 1999.Google Scholar
  3. 4.
    Simon Peyton Jones and John Hughes, editors. Haskell 98: A Non-strict, Purely Functional Language
  4. 5.
    Philip Wadler. Monads for functional programming. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, Springer Verlag, LNCS 925, 1995.Google Scholar
  5. 6.
    Frank Huch and Ulrich Norbisrath. Distributed Programming in Haskell with Ports. Lecture Notes in Computer Science, Vol. 2011, 2000.Google Scholar
  6. 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
  7. 9.
    Dan Brickley and R. V. Guha. Resource Description Framework (RDF) Schema Specification 1.0, W3C Candidate Recommendation 27 March 2000.
  8. 10.
    Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce Duba. A syntactic theory of sequential control. Theoretical Computer Science, Vol. 52, No. 3, pg. 205–237, 1987.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Anupriya Ankolekar
    • 1
  • Frank Huch
    • 2
  • Katia Sycara
    • 1
  1. 1.Carnegie Mellon UniversityPittsburghUSA
  2. 2.Christian-Albrechts-University of KielKielGermany

Personalised recommendations