Analysis and simulation of Web services
Analysis and simulation of Web services
复制标题
DOI：
10.1016/s1389-1286(03)00228-7
复制
发表时间：
2003-08-05
影响因子：
5.6
通讯作者：
McIlraith, S
中科院分区：
文献类型：
--
作者：
Narayanan, S;McIlraith, S
Web服务-Web可访问的程序和设备-是语义Web的一个关键应用领域。随着Web服务的激增和向语义Web的演进，自动化各种Web服务任务的机会来了。我们的目标是使标记和自动推理技术来描述，模拟，组合，测试和验证Web服务的组合。我们的出发点DAML-S DAML + OIL本体描述的Web服务的能力。我们定义的语义DAML-S的相关子集的一阶逻辑语言。与语义在手，我们编码我们的服务描述的Petri网形式主义，并提供决策程序的Web服务模拟，验证和组合。我们还提供了一个分析这些任务的复杂性下，不同的限制，我们可以描述的DAML-S组合服务。最后，我们提出了我们的分析技术的实现。该实现将Web服务的DAML-S描述作为输入，自动生成Petri网并执行所需的分析。这种工具具有广泛的适用性，既可以作为现有手动Web服务组合工具的后端，也可以作为Web服务开发人员的独立工具。(C)出版社：Elsevier Science B. V.
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.