Adapting Golog for Composition of Semantic Web Services (2002)

by S A McIlraith, T C Son
Venue:In Proc. of KR 2002
Add To MetaCart
Results 1 - 10 of 381

Simulation, verification, automated composition of web services

by Srini Narayanan, Sheila A. Mcilraith - In WWW , 2002
"... Web services-- Web-accessible programs and devices – are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reason ..."
Abstract - Cited by 391 (7 self) - Add to MetaCart
Web services-- Web-accessible programs and devices – are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We take as our starting point the DAML-S DAML+OIL ontology for describing the capabilities of Web services. We define the semantics for a relevant subset of DAML-S in terms of a first-order logical language. With the semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation, verification and composition. We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe. Finally, we present an implementation of our analysis techniques. This implementation takes as input a DAML-S description of a Web service, automatically generates a Petri Net and performs the desired analysis. Such a tool has broad applicability both as a back end to existing manual Web service composition tools, and as a stand-alone tool for Web service developers.
(Show Context)

A Survey of Automated Web Service Composition Methods

by Jinghai Rao, Xiaomeng Su - In Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition, SWSWPC 2004 , 2004
"... Abstract. In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the composition plan manually. A number of approaches have been proposed to tackle that problem. Most of them are inspired by the researches in cross-enterpr ..."
Abstract - Cited by 253 (1 self) - Add to MetaCart
Abstract. In today’s Web, Web services are created and updated on the fly. It’s already beyond the human ability to analysis them and generate the composition plan manually. A number of approaches have been proposed to tackle that problem. Most of them are inspired by the researches in cross-enterprise workflow and AI planning. This paper gives an overview of recent research efforts of automatic Web service composition both from the workflow and AI planning research community. 1
(Show Context)

Semi-automatic Composition of Web Services using Semantic Descriptions

by Evren Sirin, James Hendler, Bijan Parsia - In Web Services: Modeling, Architecture and Infrastructure workshop in ICEIS 2003 , 2002
"... As web services become more prevalent, tools will be needed to help users find, filter and integrate these services. Composing existing services to obtain new functionality will prove to be essential for both business-to-business and business-to-consumer applications. We have developed a prototy ..."
Abstract - Cited by 213 (2 self) - Add to MetaCart
As web services become more prevalent, tools will be needed to help users find, filter and integrate these services. Composing existing services to obtain new functionality will prove to be essential for both business-to-business and business-to-consumer applications. We have developed a prototype that guides a user in the dynamic composition of web services. Our semi-automatic process includes presenting matching services to the user at each step of a composition, filtering the possibilities by using semantic descriptions of the services. The generated composition is then directly executable through the WSDL grounding of the services. We tested our system by generating semantic descriptions for some of the common services available on the web such as translator, dictionary and map services. We also applied our approach to a prototype sensor network environment where each sensor provides its data as a network service.
(Show Context)

HTN Planning for Web Service Composition Using SHOP2

by Evren Sirin, Bijan Parsia, Dan Wu, James Hendler, Dana Nau , 2004
"... Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and co ..."
Abstract - Cited by 191 (3 self) - Add to MetaCart
Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWL-S. We implemented a system that plans over sets of OWL-S descriptions using SHOP2 and then executes the resulting plans over the Web. The system is also capable of executing information-providing Web Services during the planning process. We discuss the challenges and difficulties of using planning in the information-rich and human-oriented context of Web Services.

Automated Composition of Semantic Web Services into Executable Processes

by P. Traverso, M. Pistore , 2004
"... Different planning techniques have been proposed so far which address the problem of automated composition of web services. However, in realistic cases, the planning problem is far from trivial: the planner needs to deal with the nondeterministic behaviour of web services, the partial observability ..."
Abstract - Cited by 170 (5 self) - Add to MetaCart
Different planning techniques have been proposed so far which address the problem of automated composition of web services. However, in realistic cases, the planning problem is far from trivial: the planner needs to deal with the nondeterministic behaviour of web services, the partial observability of their internal status, and with complex goals, e.g., expressing temporal conditions and preference requirements. We propose...
(Show Context)

Bringing Semantics to Web Services: The OWL-S Approach

by David Martin, Massimo Paolucci, Sheila Mcilraith, Mark Burstein, Drew Mcdermott, Deborah Mcguinness, Bijan Parsia, Terry Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, Katia Sycara , 2004
"... Abstract. Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time, Semantic Web service technologies, such as the Ontology Web Language for Services (OWL-S), are developing the ..."
Abstract - Cited by 168 (9 self) - Add to MetaCart
Abstract. Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time, Semantic Web service technologies, such as the Ontology Web Language for Services (OWL-S), are developing the means by which services can be given richer semantic specifications. Richer semantics can enable fuller, more flexible automation of service provision and use, and support the construction of more powerful tools and methodologies. Both sets of technologies can benefit from complementary uses and crossfertilization of ideas. This paper shows how to use OWL-S in conjunction with Web service standards, and explains and illustrates the value added by the semantics expressed in OWL-S. 1
(Show Context)

Automating DAML-S Web Services Composition using SHOP2

by Dan Wu, Bijan Parsia, Evren Sirin, James Hendler, Dana Nau - In Proc. of ISWC2003 , 2003
"... Abstract. The DAML-S Process Model is designed to support the ap-plication of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited for working with the Process Model. We have proven the cor-respondence between the semant ..."
Abstract - Cited by 155 (6 self) - Add to MetaCart
Abstract. The DAML-S Process Model is designed to support the ap-plication of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited for working with the Process Model. We have proven the cor-respondence between the semantics of SHOP2 and the situation calculus semantics of the Process Model. We have also implemented a system which soundly and completely plans over sets of DAML-S descriptions using a SHOP2 planner, and then executes the resulting plans over the Web. We discuss the challenges and difficulties of using SHOP2 in the information-rich and human-oriented context of Web services. 1
(Show Context)

Current solutions for web service composition

by Nikola Milanovic, Miroslaw Malek - IEEE Internet Computing , 2004
"... Web service composition lets developers create applications on top of serviceoriented computing’s native description, discovery, and communication capabilities. Such applications are rapidly deployable and offer developers reuse possibilities and users seamless access to a variety of complex service ..."
Abstract - Cited by 153 (4 self) - Add to MetaCart
Web service composition lets developers create applications on top of serviceoriented computing’s native description, discovery, and communication capabilities. Such applications are rapidly deployable and offer developers reuse possibilities and users seamless access to a variety of complex services. There are many existing approaches to service composition,ranging from abstract methods to those aiming to be industry standards. The authors describe four key issues for Web service composition. In service-oriented computing (SOC), developers use services as fundamental elements in their application-development processes. Services are platform- and network-independent operations that clients or other services invoke. To operate in an SOC environment, services must overtly define their properties in a standard, machine-readable format. SOC thus offers three native capabilities: description, discovery, and communication. 1 Web services are a typical SOC example: developers implement SOC native capabilities

Web Service Composition - Current Solutions and Open Problems

by Biplav Srivastava, Jana Koehler - In: ICAPS 2003 Workshop on Planning for Web Services , 2003
"... Composition of Web services has received much interest to support business-to-business or enterprise application integration. On the one side, the business world has developed a number of XML-based standards to formalize the specification of Web services, their flow composition and execution. This a ..."
Abstract - Cited by 147 (1 self) - Add to MetaCart
Composition of Web services has received much interest to support business-to-business or enterprise application integration. On the one side, the business world has developed a number of XML-based standards to formalize the specification of Web services, their flow composition and execution. This approach is primarily syntactical: Web service interfaces are like remote procedure call and the interaction protocols are manually written. On the other side, the Semantic Web community focuses on reasoning about web resources by explicitly declaring their preconditions and effects with terms precisely defined in ontologies. For the composition of Web services, they draw on the goal-oriented inferencing from planning. So far, both approaches have been developed rather independently from each other. We compare these approaches...

DAML-S: Web Service Description for the Semantic Web

by Anupriya Ankolekar, Mark Burstein, Jerry R. Hobbs, Ora Lassila, Drew McDermott, David Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry Payne, Katia Sycara , 2002
"... In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services -- Web-accessible programs and devices -- are garnering a great deal of interest from industry, and standards are emerging for low-level descriptions of Web Services. ..."
Abstract - Cited by 122 (7 self) - Add to MetaCart
In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services -- Web-accessible programs and devices -- are garnering a great deal of interest from industry, and standards are emerging for low-level descriptions of Web Services. DAML-S complements this effort by providing Web Service descriptions at the application layer, describing what a service can do, and not just how it does it. In this paper we describe three aspects of our ontology: the service profile, the process model, and the service grounding. The paper focuses on the grounding, which connects our ontology with low-level XML-based descriptions of Web Services.