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 ] [2] I. Krichen, I. Loulou, and A. Hadj Kacem. Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. In Proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, volume 2, pages 286-289, Seville, Spain, July 2011. SciTePress Digital Library. [ BibTeX ] |
Educational activities
In the Faculty of Medicine of Sfax, I teach courses related to Certification in Computer Science and Internet (C2i)