Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols
Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani · 2007
Abstract. We deal with the problem of automated analysis of web service protocol compatibility and replaceability in presence of timing abstractions. We first present a timed protocol model for services and identify different levels of compatibility and replaceability that are useful to support service development and evolution. Next, we present operators that can perform such analysis. Finally, we present operators properties by showing that timed protocols form a new class of timed automata, and we briefly present our implementation. 1