Concurrent Semantics for the Web Services Specification Language DAML-S

Authors:
Anupriya Ankolekar;Frank Huch;Katia P. Sycara
Affiliations:
-;-;-
Venue:
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Year:
2002

Citing 5
Cited 8

A syntactic theory of sequential control

Theoretical Computer Science
Concurrent Haskell

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verification of Erlang programs using abstract interpretation and model checking

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Monads for Functional Programming

Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Distributed Programming in Haskell with Ports

IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages

DAML-S: Web Service Description for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Concurrent Execution Semantics of DAML-S with Subtypes

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The process mediation framework for semantic web services

International Journal of Agent-Oriented Software Engineering
Process Mediation of OWL-S Web Services

Advances in Web Semantics I
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
3-Level service composition and cashew: a model for orchestration and choreography in semantic web services

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks

Science of Computer Programming
Component-based mediation services for the integration of medical applications

Artificial Intelligence in Medicine

Quantified Score

Hi-index	0.00

Visualization

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.