Imed Abbassi

  • Citations Per Year
Learn More
Verifying Web service composition in a dynamic environment remains one of the most difficult tasks despite the efforts and the previous proposed research works because new services can be composed during the execution step and others can automatically appear, disappear, or be updated. To achieve the Web service composition specification and verification, we(More)
Service based applications leveraging different features are today the underpinnings of enterprise computing. However, current Web services composition systems make only use of functional requirements in the selection process of component Web services while transactional consistency is a crucial parameter of most business applications. In this work, we(More)
In context of pervasive environment, the availability and reliability of Web services cannot be always guaranteed due to the dynamic and uncertain nature of these environments. Therefore, ensuring reliable and flexible service composition is one of the most difficult tasks. To overcome this problem, we propose an Event-B driven approach to easily design(More)
The main issues for the fulfillment service level agreements (SLA) are concerned with problem of variability of QoS properties (vQoS). Indeed, the QoS properties may evolve frequently either because of internal changes or because of workload fluctuations. To solve the vQoS problem, we first introduced three variability operators: replicate, delete and(More)
Composite applications leveraging the functionalities offered by Web services are today the underpinnings of enterprise computing. However, current Web services composition systems make only use of functional requirements in the selection process of component Web services, while the transactional consistency and quality of service (QoS) are crucial(More)
With the emergence of Service Component Architecture (SCA), all interests were focused on representing this architecture in a formal way in order to be able to prevent the specifications failures. In this context, our recent works were interested in formalizing structural properties of the SCA specifications, particularly in defining structural(More)
The reconfigurable composite services (CWSs) can repair itself if any execution problems occur, in order to complete successfully its own execution. The research problem in which we are interested in is how to ensure the correctness of reconfigurable CWSs. This paper proposes an incremental design approach for modeling and verifying reconfigurable CWSs by(More)
  • 1