Concurrent semantics for the web services specification language DAML-S

被引：0

作者：

Ankolekar, A ^{[1
]}

Huch, F

Sycara, K

机构：

[1] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA

[2] Univ Kiel, D-24118 Kiel, Germany

来源：

COORDINATION MODELS AND LANGUAGES, PROCEEDINGS | 2002年 / 2315卷

关键词：

DAML-S; web services; concurrent semantics; agents;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：14 / 21

页数：8