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

Authors:
Tomohiro Kaizu;Tomoya Noro;Takehiro Tokuda
Affiliations:
Tokyo Institute of Technology, O-okayama, Meguro, Tokyo, Japan;Tokyo Institute of Technology, O-okayama, Meguro, Tokyo, Japan;Tokyo Institute of Technology, O-okayama, Meguro, Tokyo, Japan
Venue:
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Year:
2006

Citing 5
Cited 0

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
A visual approach for generating server page type weh applications based on template method

HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
A visual approach to development of web services providers/requestors

HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Towards a formal verification of OWL-S process models

ISWC'05 Proceedings of the 4th international conference on The Semantic Web

Quantified Score

Hi-index	0.00

Visualization

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.