Software Products

MTA4ESC: A Multi-Tenancy Awareness Middleware For Elastic Services Composition

MTA4ESC is a scaling middleware which is both multi-tenancy awareness and workload-adaptive allowing services providers to perform more efficient multi-tenant services composition and managing their elasticity. It considers the cost savings limitations of such compositions under workloads variation which affects the pay as-you-go model of the cloud resources. The MTA4ESC consists of three basic modules which are (i) cloud services composition which ensures the multi-tenant services matching based multi-tenancy modes where single instance of a process serves multiple tenants, (ii) elasticity management of the involved services that may result from the workload variation and, (iii) elasticity dependency controller for analyzing elasticity dependencies between the multi-tenant business process and its involved services.

ASOC: Automatic and Semantic OSGi Control

ASOC is a platform based on OSGi and semantic engineering tools having several objectives. First, it adds semantic reflexivity capabilities to the OSGi platform in order to make any deployed application in OSGi aware about the state of its components and their dependencies. In fact, ASOC is based on automatically updated and maintained semantic models about any deployed application in an OSGi container. It also offers runtime semantic modeling and reasoning facilities to inject any extra high level knowledge related to the application and its execution environment. The existing and the added knowledge can be used to analyze and detect particular situations where the system should adapt itself to the identified changes.

ToolSuite for Testing Web Service Composition

  • WSCLim:
    A Tool for WS-BPEL Compositions Limitations under load WSCLim is a tool that automatically executes tests for significantly load testing Web service compositions described in BPEL. It considers the limitations of such compositions under load conditions. WSCLim is based on Timed Automata as model for specifying requirements to test under various load conditions, a distributed testing architecture, an algorithm for online load test generation and execution, a log analysis technique and finally an algorithm for limitations detection under load.

  • WSCCT:
    A Tool for WS-BPEL Compositions Conformance Testing WSCCT is a tool that automatically generates and executes tests online for conformance testing of Web service compositions described in BPEL. It allows online tracking of test execution and generates a final test report detailing assigned verdicts.

  • LBACT:
    A Tool for Conformance Testing of Load Balancing based Architectures for WS-BPEL Compositions LBACT is a novel tool which is implemented for online Conformance Testing of Load Balancing based Architectures for WS-BPEL compositions. That is our proposed tool allows checking the compliance between real functioning of a given load balancer and its specified requirements. For that, LBACT tool is based on Timed Automata as model for testing supported load balancing algorithms.

BPELVT: BPEL Verification Tool

BPELVT is a formal approach of verifying non-functional properties for web services orchestrations. Two classes of properties have to be taken into account: generic and specific properties. Generic properties can be verified for any web service involved in a given orchestration. Specific properties are the dependent relations between activities for a given BPEL process. To do this, we have developed a tool which takes a web service orchestration specified with BPEL 2.0 as an input and a set of properties and returns the verification result as an output. The verification is achieved by using the SPIN model-checker. The transformation from BPEL to Promela, the input language for SPIN, is fullfilled with the use of ANTLR tool (ANother Tool for Language Recognition).

AOP4CSM: Aspect-Oriented Programming for Cloud Service Monitoring

AOP4CSM is a monitoring approach that observes Quality-Of-Service (QoS) parameters of the Software-as-a-Service (SaaS) layer of Cloud environments. It is based on Aspect-Oriented Programming.

RadiaLE: A Framework for Benchmarking Link Quality Estimators

RadiaLE is a benchmarking testbed that allows the performance evaluation of Link Quality Estimators (LQEs) by analyzing their statistical properties, independently of any external factor, such as collisions and routing. These statistical properties impact the performance of LQEs in terms of Reliability and Stability. RadiaLE includes (i.) hardware components that represent the WSN under test and (ii.) a software tool for the set up and control of the experiments and also for analyzing the collected data, allowing for LQEs evaluation.

AO4AADL: an Aspect Oriented ADL for Embedded Systems

AO4AADL is an aspect oriented architectural language for embedded systems. Our language manipulates aspect oriented concepts at the software architecture level in order to master complexity and ensure scalability of such systems. AO4AADL is an aspect oriented extension for AADL. This language considers aspects as an extension concept of AADL components called aspect annex.

MEIDYA: Modeling and Enforcing Invariants of Dynamic Software Architectures

Meidya is based on three principal steps allowing the control of the software architecture evolution of component-based applications. This approach supports the modeling of the dynamic architecture, formal verification and enforcement of the architectural invariants.

QoS4SHWS: QoS for Self-Healing Web Services

QoS4SHWS manages self-healing within service orientated applications and specifically those based on the technology of web services. Our purpose is to preserve quality of service (QoS) of these applications. It is a framework and a set of software services covering the whole cycle of self-healing management including monitoring and analysis of QoS values, and substitution-based reconfiguration. The monitoring extends exchanged SOAP messages between providers and consumers with QoS metadata. The analysis detects degradation based on monitored data. In case of degradation detection, the diagnosis identifies its source while avoiding the propagation effect and a repair action is performed based on architectural reconfiguration. We have implemented two cases studies and achieved a large scale experiment using GRID’5000 to show the feasibility and the scalability of our framework.


National School of Engineering of Sfax

University of Sfax, Tunisia


Prof. Dr. Eng. Mohamed Jmaiel

Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an Email
Phone: +216 74 666 578


National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia