logo EDITE Mikal ZIANE
État académique
Thèse soutenue
Titulaire d'une HDR (ou équivalent) 2004-12-03
Laboratoire: personnel permanent
Direction de thèses (depuis 2007)
Propositions de sujets de thèse
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams
The reverse engineering of behavioral models consists in extracting high-level models that help understand the behavior of existing software systems. In the context of reverse engineering of sequence diagrams, most approaches strongly depend on the static analysis and instrumentation of the source code to produce correct diagrams that take into account control flow structures such as alternative blocks (“if”s) and repeated blocks (“loop”s). This approach is not possible with systems for which no source code is available anymore (e.g. some legacy systems). In this paper, we propose an approach for the reverse engineering of sequence diagrams from the analysis of execution traces produced dynamically by an object-oriented application. Our approach is fully based on dynamic analysis and reuses the k-tail merging algorithm to produce a Labeled Transition System (LTS) that merges the collected traces. This LTS is then translated into a sequence diagram which contains alternatives and loops. A prototype of this approach has been tested with a real world application that has been developed independently from the present work. Our results show that this approach can produce sequence diagrams in reasonable time and suggest that these diagrams are helpful in understanding the behavior of the underlying application.
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011
Adaptive Replication of Fault-Tolerant Multi-Agent Systems
2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2011
first international workshop on domain-specific languages for robotic systems (DSLRob 2010)
Cornell University 2011
A Model-Driven Approach for the Standardization of Chemical Process Modelling Components
25th Symposium On Applied Computing, Sierre, Switzerland 2010
A software factory for the generation of CAPE-OPEN compliant Process Modelling Components
10thInternational Symposium on Process Systems Engineering, Salvador, Bahia, Brazil 2009
Gestion des ressources et réplication adaptative pour fiabiliser les SMA
(to appear) Rencontre des Jeunes Chercheurs en Intelligence Artificielle 2009
Resource Management and Adaptive Replication for Fault-Tolerant MAS
Fourth International Workshop on Massively Multi-Agent Systems, Budapest, Hungary 2009