Fine-grained compatibility and replaceability analysis of timed web service protocols

Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationConceptual Modeling - ER 2007 - 26th International Conference on Conceptual Modeling, Proceedings
Pages599-614
Number of pages16
Volume4801 LNCS
Publication statusPublished - 2007
Externally publishedYes
Event26th International Conference on Conceptual Modeling, ER 2007 - Auckland, New Zealand
Duration: 5 Nov 20079 Nov 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4801 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference26th International Conference on Conceptual Modeling, ER 2007
CountryNew Zealand
CityAuckland
Period5.11.079.11.07

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Fine-grained compatibility and replaceability analysis of timed web service protocols'. Together they form a unique fingerprint.

  • Cite this

    Ponge, J., Benatallah, B., Casati, F., & Toumani, F. (2007). Fine-grained compatibility and replaceability analysis of timed web service protocols. In Conceptual Modeling - ER 2007 - 26th International Conference on Conceptual Modeling, Proceedings (Vol. 4801 LNCS, pp. 599-614). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4801 LNCS).