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

  title={Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols},
  author={Julien Ponge and B. Benatallah and F. Casati and Farouk Toumani},
  • 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
    53 Citations

    Figures, Tables, and Topics from this paper

    Timed Conversational Protocol Based Approach for Web Services Analysis
    • 13
    • PDF
    Compatibility and Replaceability Analysis of Timed Web Services Protocols
    • 8
    • Highly Influenced
    Analysis and applications of timed service protocols
    • 34
    • PDF
    Timed Web Services Analysis after Removing Complex Implicit Transitions
    • 3
    A method for detecting mismatch of time-aware Web services based on SMT
    Mismatch Detection of Asynchronous Web Services with Timed Constraints
    Timed Model Checking Based Approach for Web Services Analysis
    • 59
    • Highly Influenced
    Towards timed requirement verification for service choreographies
    • Nawal Guermouche, S. Dal-Zilio
    • Computer Science
    • 8th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom)
    • 2012
    • 16
    • PDF
    Characterizing Compatibility of Timed Choreography
    • 9
    • PDF


    When are Two Web Services Compatible?
    • 238
    • PDF
    Compatibility and replaceability analysis for timed web service protocols
    • 29
    • PDF
    Removing epsilon-Transitions in Timed Automata
    • 36
    • PDF
    Decision Problems for Timed Automata: A Survey
    • 156
    • PDF
    Protocol specifications and component adaptors
    • 698
    • PDF
    Analysis and Management of Web Service Protocols
    • 86
    • PDF
    Adding Roles to CORBA Objects
    • 79
    • PDF
    A Theory of Timed Automata
    • 6,956
    • Highly Influential
    • PDF
    Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management
    • 41
    • PDF
    Characterization of the Expressive Power of Silent Transitions in Timed Automata
    • 166