Concurrent Semantics for the Web Services Specification Language DAML-S

Anupriya Ankolekar, Frank Huch, and Katia Sycara

Coordination Models and Languages: 5th International Conference, COORDINATION 2002
York, UK, April 8-11, 2002 LNCS 2315, © Springer-Verlag. Also available from Springer LNCS, 2003

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.

BibTeX-Entry, Paper

Frank Huch