Authors: Boualem Benatallah, Fabio Casati, Farouk Toumani, Julien Ponge
Tags: 2007, conceptual modeling
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.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-540-75563-0_40
