• DOI:10.1007/978-3-540-75563-0_40
Corpus ID: 13994290

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

@inproceedings{Ponge2007FineGrainedCA,
  title={Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols},
  author={Julien Ponge and B. Benatallah and F. Casati and Farouk Toumani},
  booktitle={ER},
  year={2007}
}

Julien Ponge, B. Benatallah, +1 author Farouk Toumani

Published in ER 2007

Computer Science

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… CONTINUE READING

View via Publisher

julien.ponge.org

Save to Library

Create Alert

Cite

Launch Research Feed