Event-Based Design and Runtime Verification of Composite Service Transactional Behavior

@article{Gaaloul2010EventBasedDA,
  title={Event-Based Design and Runtime Verification of Composite Service Transactional Behavior},
  author={Walid Gaaloul and Sami Bhiri and Mohsen Rouached},
  journal={IEEE Transactions on Services Computing},
  year={2010},
  volume={3},
  pages={32-45}
}
  • Walid Gaaloul, Sami Bhiri, Mohsen Rouached
  • Published in
    IEEE Transactions on Services…
    2010
  • Computer Science
  • Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we propose an event… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 39 CITATIONS

    A SURVEY ON VERIFICATION OF COMPOSED WEB SERVICES

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    A Formal Approach for Ensuring a Correct Reconfigurable Composite Service

    VIEW 4 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Enabling Ordinary Users Mobile Development With Web Components

    VIEW 1 EXCERPT
    CITES BACKGROUND

    A Novel Runtime Verification Solution for IoT Systems

    VIEW 3 EXCERPTS
    CITES METHODS & BACKGROUND

    [WiP] Formal Modelling of IT Resource Allocation in Business Processes

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Reliability Analysis of On-Demand Service-Based Software Systems Considering Failure Dependencies

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Towards Correct Cloud Resource Allocation in Business Processes

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Diagnosis of Service Failures by Probabilistic Inference with Runtime Activity Dependences

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 35 REFERENCES

    A General Framework to Build Contextual Cover Set Induction Provers

    VIEW 7 EXCERPTS
    HIGHLY INFLUENTIAL

    A tentative commit protocol for composite web services

    VIEW 1 EXCERPT

    Extending workflow patterns with transactional dependencies to define reliable composite Web services

    • Sami Bhiri, Olivier Perrin, Claude Godart
    • Computer Science
    • Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06)
    • 2006
    VIEW 2 EXCERPTS

    Implementing a Flexible Compensation Mechanism for Business Processes in Web Service Environment

    VIEW 1 EXCERPT

    Towards a transactional services coordination model

    VIEW 1 EXCERPT