Research Topics
My main fields of interest are related to Formal approaches for the design of adaptive distributed applications. In this context, my PhD research focuses on proposing A style-based formal approach to support correct by design software architectures. The field of “Software architecture” promotes the understanding and reuse during the development of distributed software systems. It focuses essentially on the structure, the behavior and the global properties of software and addresses more especially the design of complex and dynamic software systems or software system families. Although dynamic consists in evolving and adapting architecture to changes, it can create disruptions and inconsistency of the system structure and behavior. In this case it is interesting to adopt reusable architectural models identified as “architectural styles” in order to express structural constraints that can guide the evolution of architectures toward correct states. Behavioral properties are also interesting because they aim to ensure reliability of systems and their good functioning. Since formal description raises all ambiguousness, interesting profits can be gotten behind the use of this formalism to correctly design software architectures families from a structural and behavioral viewpoint.

Master's thesis
We proposed in this work An approach for dynamic deployment of distributed software architectures. My Master's thesis consists in modeling distributed service oriented architectures, their managements and their implementations on a platform of deployment. In this context, we proposed a generic approach in order to help the developers to easily generate management's scripts for the deployment of architectures. We extended the architecture description language xADL to support concepts related with the service approach, increased by aspects of dynamic deployment in a distributed context. In addition, we specified a mapping allowing the generation of executable scripts on a platform of deployment such as OSGi, from our extension baptized 3DxSOADL. Moreover, we have extended the OSGi model by new components in order to support the distributed aspect.

Publications

Educational activities

In the Faculty of Medicine of Sfax, I teach courses related to Certification in Computer Science and Internet (C2i)