skip to main content
10.1145/1149993.1150014acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicweConference Proceedingsconference-collections
Article

A state propagation method for consistency checking of web service function invocations in web applications

Published: 10 July 2006 Publication History

Abstract

When we realize Web applications using already existing Web service functions, we often have a situation in which preconditions of Web service function invocations may not be satisfied or necessary data may not be yet provided to produce output Web pages. Traditional approaches to consistency checking of Web service function invocations are use of linear temporal logic formulae and finite-state model based checking. These approaches may not be for every programmers. In this paper we propose an easy-to-use method for consistency checking of Web service function invocations. Our approach uses preconditions and postconditions of Web service function invocations and computation of weakest execution states.

References

[1]
A. Ankolekar, M. Paolucci, and K. Sycara. Towards a formal verification of OWL-S process models. In the 4th International Semantic Web Conference, pages 37--51, 2005.
[2]
T. Berners-Lee. Notation 3, 2001. http://www.w3.org/DesignIssues/Notation3.html.
[3]
DAML Services. SWRL: A semantic Web rule language combining OWL and RuleML, 2003. http://www.daml.org/2003/11/swrl/.
[4]
DAML Services. OWL-S 1.1, 2004. http://www.daml.org/services/owl-s/1.1/overview/.
[5]
Dublin Core Metadata Initiative. Dcmi metadata terms, 2005. http://dublincore.org/documents/demi-terms/.
[6]
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL Web services. In the WWW Conference 2004, pages 621--630, 2004.
[7]
G. J. Holzmann. The model checker SPIN. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997.
[8]
IBM. Business process execution language for Web services version 1.1, 2005. http://www-128.ibm.com/developerworks/library/specification/wsbpel/.
[9]
K. Jamroendararasame, T. Matsuzaki, T. Suzuki, and T. Tokuda. Generation of secure Web applications from Web transition diagrams. In the IASTED International Symposia Applied Informatics, pages 496--501, 2001.
[10]
K. Jamroendararasame, T. Matsuzaki, T. Suzuki, and T. Tokuda. Two generators of secure Web-based transaction systems. In the 11th European-Japanese Conference on Information Modelling and Knowledge Bases, pages 348--362, 2001.
[11]
K. Jamroendararasame, T. Suzuki, and T. Tokuda. A generator of Web-based transaction systems using Web transition diagrams. In the 17th Japan Society for Software Science and Technology, 2000. In Japanese.
[12]
K. Jamroendararasame, T. Suzuki, and T. Tokuda. A visual approach to development of Web services providers/requestors. In the 2003 IEEE Symposium on Visual and Multimedia Software Engineering, pages 251--253, 2003.
[13]
M. Taguchi, K. Jamroendararasame, K. Asami, and T. Tokuda. Comparison of two approaches for automatic construction of Web applications: Annotation approach and diagram approach.
[14]
M. Taguchi, T. Susuki, and T. Tokuda. Generation of server page type Web applications from diagrams. In the 12th European-Japanese Conference on Information Modelling and Knowledge Bases, pages 117--130, 2002.
[15]
M. Taguchi, T. Suzuki, and T. Tokuda. A visual approach for generating server page type Web applications based on template method. In the 2003 IEEE Symposium on Visual and Multimedia Software Engineering, pages 248--250, 2003.
[16]
World Wide Web Consortium. Semantic Web. http://www.w3.org/2001/sw/.
[17]
World Wide Web Consortium. Web services description language (WSDL) 1.1, 2001. http://www.w3.org/TR/wsdl.
[18]
World Wide Web Consortium. OWL Web ontology language semantics and abstract syntax, 2004. http://www.w3.org/TR/owl-semantics/.
[19]
World Wide Web Consortium. Rdf primer, 2004. http://www.w3.org/TR/rdf-primer/.
[20]
World Wide Web Consortium. Rdf/xml syntax specification, 2004. http://www.w3.org/TR/rdf-syntax-grammar/.

Index Terms

  1. A state propagation method for consistency checking of web service function invocations in web applications

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    ICWE '06: Workshop proceedings of the sixth international conference on Web engineering
    July 2006
    156 pages
    ISBN:1595934359
    DOI:10.1145/1149993
    • Conference Chairs:
    • Nora Koch,
    • Luis Olsina
    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]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 10 July 2006

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. OWL-S
    2. Web applications
    3. Web services
    4. consistency checking
    5. semantic Web

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 255
      Total Downloads
    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 20 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media