A state propagation method for consistency checking of web service function invocations in web applications
Kaizu Tomohiro, Tomoya Noro, Takehiro Tokuda · 2006
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.