Current State
PhD student, Faculty of Economics and Management of Sfax -Tunisia
Education
Ph.D. student in Computer Science - Faculty of Economics and Management of Sfax-Tunisia, since 2009.
M.S. degree (DEA) in Computer Science from the Faculty of Economics and Management of Sfax-Tunisia, in 2008.
Master's degree(maîtrise) of computer Science systems and multimedia from Higher Institute of Computer Science and Multimedia of Sfax-Tunisia, in 2005.
Address
Faculty of
Economics and Management of Sfax (FSEGS)
Department of the
Computer Science
Route de Aeoport Km4
BP 1088 - Sfax -
Tunisie
Tel: +216 74 279 710
Fax: +216 74 279 139
Email :
ikbel.krichen@redcad.org
Research activities
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
|
Papers in Proceedings of International Conference [1] M. N. Miladi, I. Krichen, M. Jmaiel, and K. Drira. An xADL extension for managing dynamic deployment in distributed service oriented architectures. In Proceedings of the 3rd International Conference on Fundamentals of Software Engineering (FSEN'09), Kish Island, Persian Gulf, Iran, April 2009. Springer-Verlag. [ BibTeX ] |
Educational activities
In the Faculty of Medicine of Sfax, I teach courses related to Certification in Computer Science and Internet (C2i)