Analysis and simulation of Web services

作     者：Narayanan, S McIlraith, S 

作者机构：Int Comp Sci Inst Berkeley CA 94704 USA Stanford Univ Dept Comp Sci Knowledge Syst Lab Stanford CA 94305 USA 

出 版 物：《COMPUTER NETWORKS》 (计算机网络)

年 卷 期：2003年第42卷第5期

页      面：675-693页

核心收录：

学科分类：0810[工学-信息与通信工程] 0808[工学-电气工程] 08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：DAML, (30602-00-2-0579-P00001, 30602-00-C-0168) US Defense Advanced Research Projects Agency DARPA Agent Markup Language 

主　　题：knowledge representation formalisms and methods representation languages representations predicate logic frames and scripts algorithms design standardization languages theory verification semantic web DAML ontologies Web services Web service composition distributed systems automated reasoning 

摘      要：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. (C) 2003 Published by Elsevier Science B.V.