Concurrent semantics for the web services specification language DAML-S

DOI10.1007/3-540-46000-4_5MaRDI QIDQ4738170zbMATH OpenFDO

Authors Anupriya Ankolekar, Frank Huch, Katia P. Sycara

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2315/23150014.htm

zbMATH Keywords

agentsconcurrent semanticsDAML-SWeb services

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Computing methodologies and applications (68U99)

Recommendations

• Concurrent execution semantics of DAML-S with subtypes
• DAML-S: Web service description for the semantic web
• Analysis and simulation of Web services.
• scientific article; zbMATH DE number 5292334
• DAML enabled web services and agents in the semantic web

Cited in

(14)

• Analysis and simulation of Web services.
• A formal semantics for DAI language NUML
• Reasoning about interaction protocols for web service composition
• Infrastructure and interoperability for agent-mediated services
• DAML enabled web services and agents in the semantic web
• A dependency markup language for web services
• Processing schedules using distributed ontologies on the semantic web
• On requirements for ontologies in management of web services
• Automatic derivation of DAML-S service specifications from UML business models
• ITTALKS: An application of agents in the semantic web
• Towards service description logics
• DAML-S: Web service description for the semantic web
• scientific article; zbMATH DE number 2090159 (Why is no real title available?)
• Programming Languages and Systems

This page was built for publication: Concurrent semantics for the web services specification language DAML-S

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738170)