Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols


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… (More)
DOI: 10.1007/978-3-540-75563-0_40

6 Figures and Tables



Citations per Year

58 Citations

Semantic Scholar estimates that this publication has 58 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics