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

Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda

Browse the full ICWE paper archive.