Formal verification of mediated web service interactions considering client's expected behaviours
Zhangbing Zhou, Sami Bhiri, Lei Shu, Manfred Hauswirth · 2009
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