Mohamed Jmaiel

Learn More
Maintaining the Quality of Service (QoS) is important for self-healing web service-based distributed interactive applications. It requires the ability to deal with permanently changing constraints both at the communication and the execution levels. Preventing or repairing QoS degradation also requires the capacity of identifying its possible or actual(More)
Formal methods such as Z and Petri nets can be used to specify invariants that should hold during the execution of component-based applications such as those regarding changes in the architecture of the application and valid sequences of architecture reconfigurations. Integrating logic for checking and enforcing these invariants into the application’s(More)
Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible to verify if there are contradictions between the temporal constraints implemented in the composition. These limitations lead to maintainability and correctness problems. In this(More)
Cloud Computing is a powerful and flexible software environment, which delegates the material's management and in which users pay as they go. The migration of enterprise applications on the Cloud is increasing. Most of these applications are available with a standardized access to the business logic through Internet. However, the current cloud offers is not(More)
Monitoring and analysis of QoS are crucial steps for the provisioning of self-healing web services and for managing web service-based distributed interactive applications. Dealing with these issues becomes even more challenging when applications are dynamically built by composition of distributed services involving different service providers. In this case,(More)
Business-to-business (B2B) e-commerce market is expected to expand rapidly in coming years. In this context, organizations tend to rely more on business process management (BPM) to streamline their operations. The business process field is influenced by a wide range of temporal constraints which rise from legal, regulatory, and managerial rules. One of the(More)
In this paper, we propose a new UML2.0 profile to describe the change of software architectures. The profile introduces a set of stereotypes for modeling the structural and the dynamic aspect as well as architectural constraints. We adapt the component diagrams metamodel on specific purposes by extending existing metaclasses. The adaptations are defined(More)
Monitoring is important for managing a Cloud computing environment. This task should be performed without modifying the implementation of the offered Cloud services. In this paper, a monitoring approach that neither modifies the server implementation nor the client implementation is presented. The proposed approach, called AOP4CSM, is based on(More)
This paper addresses QoS management for self-healing Web services. The objective is to provide a healing framework based on service monitoring and architectural-level repair actions. We address these topics in the context of the European project WS-DIAMOND. We implemented and assessed a connector-based healing layer capable of intercepting, analyzing and(More)