Simulation, verification and automated composition of web services

By S. Narayanan, Sheila A. McIlraith. The Web Conference, 2002

990 citations recorded by the source corpus.

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.

Subfields: Artificial Intelligence, Information Systems, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/2a78645c7fdf88ff8188a84341d2a4ecbf43c315

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Information Systems

In Management Information Systems

Citations in the corpus

The Web of Things: A Survey (Invited Paper) (2011, background): “Some existing artificial intelligent concepts and technologies, such as Collective intelligence [59] and Semantic web services [60], may deserve revisiting in the hope of finding new efficient solutions feasible to smart things on the Web.”
Analysis of interacting BPEL web services (2004, methodology): “Although a WSDL speci.cation de.nes the public interface of a web service, it does not provide any information about its behavior.”
HTN planning for Web Service composition using SHOP2 (2004, methodology): “Narayanan and McIlraith [ 9 ] give a formal semantics for OWL-S in terms of the situation calculus [10] and Golog [11].”
Automated Composition of Semantic Web Services into Executable Processes (2004, neutral): “The states of our state transition systems can be seen as the markings in the Petri nets of [20].”
Model-based verification of Web service compositions (2003, background): “Whilst there have been other attempts to use model-checking techniques for reliable web service verification [8] [9], they have concentrated on property specifications in domain specific language notations (e.g. Promela, the implementation language of SPIN), whilst we provide verification from an…”
DAML-S: Web Service Description for the Semantic Web (2002, positive): “breaking down interoperability barriers through semantics, and the automatic insertion of message parameter translations between clients and services [10, 13, 22]; composition of new services through automatic selection, composition and interoperation of existing services [15, 14]; verification of s”
Automated discovery, interaction and composition of Semantic Web services (2003, neutral): “An alternative semantics for the DAML-S Process Model has been proposed by Narayanan and McIlraith [24], which describes the semantics of processes and their inputs, outputs, preconditions and effects as axioms in situation calculus.”
Automated composition of Web services via planning in asynchronous domains (2005, methodology): “…size: as an experiment, we asked an experienced ws-bpel programmer to hand-code a P&S controller for the scenario, and the resulting code follows the same lines, only reducing the number of internal variables by intelligently re-using them for different purposes at different stages of the service.”
Web Service Composition - Current Solutions and Open Problems (2003, methodology): “In ( Narayanan & McIlraith 2002 ), the semantics of a subset of DAML-S is expressed in a rst order language and Petri nets are used to simulate, compose, and verify Web services.”
Automating DAML-S Web Services Composition Using SHOP2 (2003, methodology): “A formal semantics has been given for DAML-S service description in terms of an action theory based on the situation calculus [8] [9].”
A survey on web services composition (2005, background): “Another topic concerns automated (Narayanan and McIlraith, 2002) and manual service composition.”
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008, methodology): “That work is inspired in part by work on automatic composition of semantic web services [3,4, 36 ], but uses different techniques stemming from unique characteristics of the artifact-centric setting.”
Web services composition: A decade's overview (2014, background): “At the second level, it allows verifying the composite service have certain requested properties (safety and liveness properties) [55].”