Open AccessProceedings Article
DAML-S: semantic markup for web services
Anupriya Ankolekar,Mark Burstein,Jerry R. Hobbs,Ora Lassila,David Martin,Sheila A. McIlraith,Srini Narayanan,Massimo Paolucci,Terry R. Payne,Katia Sycara,Honglei Zeng +10 more
- pp 411-430
TLDR
The overall structure of the ontology, the service profile for advertising services, and the process model for the detailed description of the operation of services are described, which compare DAML-S with several industry efforts to define standards for characterizing services on the Web.Abstract:
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monitor Web resources offering particular services and having particular properties. As part of the DARPA Agent Markup Language program, we have begun to develop an ontology of services, called DAML-S, that will make these functionalities possible. In this paper we describe the overall structure of the ontology, the service profile for advertising services, and the process model for the detailed description of the operation of services. We also compare DAML-S with several industry efforts to define standards for characterizing services on the Web.read more
Citations
More filters
Journal ArticleDOI
A research manifesto for services science
TL;DR: It is argued for a services science discipline to integrate across academic silos and advance service innovation more rapidly to improve scientific understanding of modern services.
Book ChapterDOI
DAML-S: Web Service Description for the Semantic Web
Mark Burstein,Jerry R. Hobbs,Ora Lassila,David Martin,Drew McDermott,Sheila A. McIlraith,Srini Narayanan,Massimo Paolucci,Terry R. Payne,Katia Sycara +9 more
TL;DR: DAML-S is presented, a DAML+OIL ontology for describing the properties and capabilities of Web Services, and three aspects of the ontology are described: the service profile, the process model, and the service grounding.
Modeling Quality of Service for Workflows and Web Service Processes
TL;DR: This paper presents a predictive QoS model that makes it possible to compute the quality of service for workflows automatically based on atomic task QoS attributes, and presents the implementation of the model for the METEOR workflow system.
Proceedings ArticleDOI
Simulation, verification and automated composition of web services
TL;DR: This paper defines the semantics for a relevant subset of DAML-S in terms of a first-order logical language and provides decision procedures for Web service simulation, verification and composition.
Proceedings Article
Adapting Golog for Composition of Semantic Web Services
Sheila A. McIlraith,Tran Cao Son +1 more
TL;DR: It is argued that an augmented version of the logic programming language Golog provides a natural formalism for automatically composing services on the Semantic Web and logical criteria for these generic procedures that define when they are knowledge self-sufficient and physically selfsufficient are proposed.
References
More filters
Book
Communicating and Mobile Systems: the Pi-Calculus
TL;DR: Communicating Systems: Behaviour of automata and Observation equivalence: theory, examples, and Discussion and related work Bibliography Index.
Book
KQML as an agent communication language
TL;DR: The design of and experimentation with the Knowledge Query and Manipulation Language (KQML), a new language and protocol for exchanging information and knowledge, which is aimed at developing techniques and methodology for building large-scale knowledge bases which are sharable and reusable.
Journal ArticleDOI
Semantic Web services
TL;DR: The authors propose the markup of Web services in the DAML family of Semantic Web markup languages, which enables a wide variety of agent technologies for automated Web service discovery, execution, composition and interoperation.
Journal ArticleDOI
Conditional rewriting logic as a unified model of concurrency
José Meseguer,José Meseguer +1 more
TL;DR: Maude as discussed by the authors is a programming language whose modules are rewriting logic theories, which is defined and given denotational and operational semantics, and it provides a simple unification of concurrent programming with functional and object-oriented programming and supports high level declarative programming of concurrent systems.