Zhou, Zhangbing and Bhiri, Sami and Shu, Lei and Hauswirth, Manfred (2009) Formal verification of mediated web service interactions considering client's expected behaviours. In: 5th International ICST Conference on Collaborative Computing: Networking, Applications, Worksharing.
![[thumbnail of 9212.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "9212.pdf")
PDF
9212.pdf
Download (3MB)
Abstract
This paper proposes a formal technique to verify whether or not an expected interaction is adaptable. We first present our observation that a mediated service interaction is synchronizable. This fact is a prerequisite of our approach. Hereafter, we formally model a protocol scenario (i.e., a part of
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 08:46 |
| Last Modified: | 18 Apr 2026 08:24 |
| URI: | http://eprints.eai.eu/id/eprint/1181 |
Actions (login required)
- View Item