Article

Simulation, verification and automated composition of web services

Authors:

Srini Narayanan,

Sheila A. McIlraithAuthors Info & Claims

WWW '02: Proceedings of the 11th international conference on World Wide Web

Pages 77 - 88

https://doi.org/10.1145/511446.511457

Published: 07 May 2002 Publication History

Abstract

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.

References

[1]

van der Aalst, W.M.P. Woflan: A Petri-net-based workflow analyzer, Systems Analysis - Modelling - Simulation, 35(3):345--357, 1999.

Digital Library

[2]

Baral, C., Kreinovich, V. and Trejo, R. Computational complexity of planning and approximate planning in the presence of incompleteness, Artificial Intelligence, 122(1-2):241--267, 2000.

Digital Library

[3]

V. Richard Benjamins, Enric Plaza,Enrico Motta, Dieter Fensel, Rudi Studer, Bob Wielinga, Guus Schreiber and Zdenek Zdrahal:Benjamins, V.R., Plaza, E., Motta, E., Fensel, D., Studer, R., Wielinga, B., Schreiber, G., and Zdrahal, Z. IBROW3 - An intelligent brokering service for

[4]

Berners-Lee, T., Hendler, J., Lassila, O. The Semantic Web, Scientific American, May, 2001.

[5]

Best, E. and Desel, J. Partial order behaviour and structure of Petri Nets. Formal Aspects of Computing, 2:123--138, 1990.

Digital Library

[6]

Blum, A.L. and Furst, M.L. Fast Planning through Planning Graph Analysis, Artificial Intelligence, 90(1-2):281--300, 1997.

Digital Library

[7]

Cheng, A. and Esperza, J. Complexity results for 1-safe nets, FST&TCS 13, Foundations of Software Technology & Theoretical Computer Science, 1993.

Digital Library

[8]

DAML-S versions 0.5 and 0.6. http://www.daml.org/services/.

[9]

DAML Services Coalition: Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., McIlraith, S., Narayanan, S., Paolucci, M., Payne, T., Sycara, K., Zeng, H. DAML-S: Semantic Markup for Web Services, Proc. International Semantic Web Working Symposium (SWWS), 2001.

[10]

Denker, G., Hobbs, J., Martin D., Narayanan, S. and Waldinger, R., Querying and accessing information on the semantic web, Proc. Semantic Web Workshop, in conjunction with 10th International Worldwide Web Conference, 2001.

[11]

Desel, J. and Esparza, J. Shortest paths in reachability graphs. Proc. Application and Theory of Petri Nets, pp. 224--241, Springer-Verlag (LNCS 691), 1993.

Digital Library

[12]

Ellis, C.A. and G.J. Nutt, Modelling and enactment of workflow systems, Application and Theory of Petri Nets, LNCS 691, pp. 1--16, Springer-Verlag, 1993.

Digital Library

[13]

Fikes, R. and McGuinness, D. An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL, Manuscript. March, 2001.

[14]

De Giacomo, G., Lesperance, Y. and Levesque, H. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2):109--169, 2000.

Digital Library

[15]

Gruninger, M. Personal communications, August, 2001.

[16]

Hendler, J. Agents on the Web. IEEE Intelligent Systems. Special Issue on the Semantic Web. 16(2) March/April, 2001.

Digital Library

[17]

Hendler, J. and McGuinness, D. The DARPA Agent Markup Language. IEEE Intelligent Systems, Trends and Controversies, pp. 6--7, November/December 2000.

[18]

Howell, R. and Rosier, L.E. Problems concerning fairness and temporal logic for conflict-free Petri Nets. Theoretical Computer Science, 64(3):305--329, 1989.

Digital Library

[19]

H. Kautz and B. Selman, Unifying SAT-based and graph-based planning, Proc. 16th International Joint Conference on Artificial Intelligence (IJCAI'99), 1999.

Digital Library

[20]

Lowe, D. et al. BizTalk(TM) Server: The Complete Reference. November, 2001.

Digital Library

[21]

Mayr, E.W. An algorithm for the general Petri net reachability problem. SIAM Journal on Computing, 13:441--460, 1984.

[22]

McIlraith, S. and Fadel, R. Planning with Complex Actions. Proc. International Workshop on Non-Monotonic Reasoning (NMR2002). To appear, 2002.

[23]

McIlraith, S. Son, T.C. and Zeng, H. Semantic Web services, IEEE Intelligent Systems. Special Issue on the Semantic Web. 16(2):46--53, March/April, 2001.

Digital Library

[24]

McIlraith, S. and Son, T. Adapting Golog for composition of semantic Web services, Proc 8th International Conference on Principles of Knowledge Representation and Reasoning. To appear, 2002.

[25]

Meseguer, J. and Montanari, U. Petri Nets are monoids. Information and Computation, 88:105, 1990.

Digital Library

[26]

Murata, T. Petri Nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541--580, 1989.

[27]

Narayanan, S. Reasoning About Actions in Narrative Understanding. Proc. International Joint Conference on Artificial Intelligence (IJCAI '99), pp. 350--358, 1999.

Digital Library

[28]

Reiter, R. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.

[29]

Schlenoff, M. Gruninger, F. Tissot, J. Valois, J. Lubell, J. Lee, The Process Specification Language (PSL): Overview and Version 1.0 Specification, NISTIR 6459, National Institute of Standards and Technology, Gaithersburg, MD, 2001.

[30]

van Harmelen, F. and Horrocks, I. FAQs on OIL: the Ontology Inference Layer. IEEE Intelligent Systems, Trends and Controversies, pp. 3--6, November/December 2000.

[31]

Waldinger, R. Deductive composition of Web software agents. Proc. NASA Goddard Workshop on Formal Approaches to Agent-Based Systems, LNCS 1871, Springer-Verlag. 2000.

[32]

Winskel, G. Petri Nets, algebras, morphisms and compositionality. Information and Computation, 72(3):197--238, 1987.

Digital Library

Cited By

Zahoor EMunir KPerrin OGodart C(2019)Verification of Service-Based Declarative Business ProcessesInnovative Solutions and Applications of Web Services Technology10.4018/978-1-5225-7268-8.ch007(155-193)Online publication date: 2019
https://doi.org/10.4018/978-1-5225-7268-8.ch007
Deutsch ALi YVianu V(2019)Verification of Hierarchical Artifact SystemsACM Transactions on Database Systems10.1145/332148744:3(1-68)Online publication date: 5-Jun-2019
https://dl.acm.org/doi/10.1145/3321487
Vukovic MGerard SHull RKatz MShwartz LSohrabi SMuise CRofrano JKalia AHwang JYabin DJie MZhuoxuan J(2019)Towards Automated Planning for Enterprise Services: Opportunities and ChallengesService-Oriented Computing10.1007/978-3-030-33702-5_6(64-68)Online publication date: 22-Oct-2019
https://doi.org/10.1007/978-3-030-33702-5_6
Show More Cited By

Index Terms

Simulation, verification and automated composition of web services
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Ontology engineering
  2. Machine learning
    1. Machine learning approaches
      1. Rule learning
2. Theory of computation
  1. Logic

Recommendations

Analysis and simulation of Web services
Special issue: The Semantic Web: an evolution for a revolution

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 ...
Invited talk: towards declarative programming for web services
PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Two trends are emerging in the World Wide Web (WWW). The first is the proliferation of Web Services -- self-contained, Web-accessible software applications and associated distributed systems architectures. The second is the emergence of the "Semantic ...
Semantic Web Services

The Web is evolving from a repository for text and images to a service provider-including information-providing services and services that have some effect on the world. Furthermore, today's Web was designed primarily for human use, but we are seeing ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

WWW '02: Proceedings of the 11th international conference on World Wide Web

May 2002

754 pages

ISBN:1581134495

DOI:10.1145/511446

Conference Chairs:
David Lassner
University of Hawaii
,
Dave De Roure
University of Southampton
,
Arun Iyengar
IBM T.J. Watson Research Center

Copyright © 2002 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 May 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

WWW02

Sponsor:

ACM

WWW02: Hypermedia Track of the Eleventh International World-Wide Web Conference

May 7 - 11, 2002

Hawaii, Honolulu, USA

Acceptance Rates

Overall Acceptance Rate 1,899 of 8,196 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

301
Total Citations
View Citations
6,915
Total Downloads

Downloads (Last 12 months)23
Downloads (Last 6 weeks)4

Reflects downloads up to 17 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zahoor EMunir KPerrin OGodart C(2019)Verification of Service-Based Declarative Business ProcessesInnovative Solutions and Applications of Web Services Technology10.4018/978-1-5225-7268-8.ch007(155-193)Online publication date: 2019
https://doi.org/10.4018/978-1-5225-7268-8.ch007
Deutsch ALi YVianu V(2019)Verification of Hierarchical Artifact SystemsACM Transactions on Database Systems10.1145/332148744:3(1-68)Online publication date: 5-Jun-2019
https://dl.acm.org/doi/10.1145/3321487
Vukovic MGerard SHull RKatz MShwartz LSohrabi SMuise CRofrano JKalia AHwang JYabin DJie MZhuoxuan J(2019)Towards Automated Planning for Enterprise Services: Opportunities and ChallengesService-Oriented Computing10.1007/978-3-030-33702-5_6(64-68)Online publication date: 22-Oct-2019
https://doi.org/10.1007/978-3-030-33702-5_6
Durán FSalaün GKrishna A(2019)Automated Composition, Analysis and Deployment of IoT ApplicationsSoftware Technology: Methods and Tools10.1007/978-3-030-29852-4_21(252-268)Online publication date: 15-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-29852-4_21
Sebillo MVitiello GGinige A(2017)Creating Territorial Intelligence Through a Digital Knowledge Ecosystem: A Way to Actualize Farmer EmpowermentComputational Science and Its Applications – ICCSA 201710.1007/978-3-319-62395-5_8(98-111)Online publication date: 7-Jul-2017
https://doi.org/10.1007/978-3-319-62395-5_8
Zhang FXu YChou J(2016)A Novel Petri Nets-Based Modeling Method for the Interaction between the Sensor and the Geographic Environment in Emerging Sensor NetworksSensors10.3390/s1610157116:10(1571)Online publication date: 25-Sep-2016
https://doi.org/10.3390/s16101571
Deutsch ALi YVianu VMilo TTan W(2016)Verification of Hierarchical Artifact SystemsProceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/2902251.2902275(179-194)Online publication date: 15-Jun-2016
https://dl.acm.org/doi/10.1145/2902251.2902275
Cheng HMa Z(2016)A literature overview of knowledge sharing between Petri nets and ontologiesThe Knowledge Engineering Review10.1017/S026988891600007231:3(239-260)Online publication date: 28-Jul-2016
https://doi.org/10.1017/S0269888916000072
Garriga MMateos CFlores ACechich AZunino A(2016)RESTful service composition at a glanceJournal of Network and Computer Applications10.1016/j.jnca.2015.11.02060:C(32-53)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1016/j.jnca.2015.11.020
Rodríguez GSoria ÁCampo M(2016)Artificial intelligence in service-oriented software designEngineering Applications of Artificial Intelligence10.1016/j.engappai.2016.03.00953:C(86-104)Online publication date: 1-Aug-2016
https://dl.acm.org/doi/10.1016/j.engappai.2016.03.009
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents