logo EDITE Marcos Aurelio ALMEIDA DA SILVA
État académique
Thèse soutenue le 2012-06-25
Sujet: Handling of Deviations in Process-Centered Software Engineering Environments: Rapport d'avancement
Direction de thèse:
Encadrement 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
Towards Automated Inconsistency Handling in Design Models
22nd International Conference on Advanced Information Systems Engineering, CAiSE 2010 2010
978 3 642 16128 5
Artifact or Process Guidance, an Empirical Study
MoDELS (2) 2010
978 3 642 16128 5
Early Deviation Detection in Modeling Activities of MDE Processes
MoDELS (2) 2010
Flexible Deviation Handling during Process Enactment
Software process models formalize the way a group of agents (e.g. developers, testers, managers etc) interact in order to produce a desired outcome (e.g. a product, an artifact etc). In this context, a "deviation" is a mismatch between the process executed by the agents and the process model. Existing approaches for deviation detection and handling force the agents to either pursue a deviation-free process execution, which is unrealistic; or to selectively ignore them, which may be risky to the desired outcome of the project. In this paper, we propose an approach that allows agents to deviate from the process specification, but also allows them to correct these deviations later in the process enactment. Additionally, they are informed about the risks implied by each non-handled deviation. During the correction phase, the process agents are assisted by the means of a set of correction plans that are automatically generated by the approach. These plans aim at reducing the risk of non resolved deviations. This paper presents a preliminary evaluation of this approach as a prototype implementation.
Fifteenth IEEE International EDOC Enterprise Computing Conference Workshop Proceedings Fifteenth IEEE International EDOC Conferenceproceeding with peer review 2011
Operation Based Model Representation: Experiences on Inconsistency Detection
Keeping the consistency between design models is paramount in complex contexts. It turns out that the underlying Model Representation Strategy has an impact on the inconsistency detection activity. The Operation Based strategy represents models as the sequence of atomic editing actions that lead to its current state. Claims have been made about gains in time and space complexity and in versatility by using this kind of representation when compared to the traditional object based one. However, this hypothesis has never been tested in an industrial context before. In this paper, we detail our experience evaluating an Operation Based consistency engine (Praxis) when compared with a legacy system based on EMF. We evaluated a set of industrial models under inconsistency rules written in both Java (for EMF) and PraxisRules (the DSL - Domain Specific Language - for describing inconsistency rules in Praxis). Our results partially confirm the gains claimed by the Operation Based engines.
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.
Engineering of Complex Computer Systems (ICECCS), 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2011 16th IEEE International Conference onproceeding with peer review 2011
Thèse: Detection and Handling of Deviations in Process-centered Software Engineering Environments
Soutenance: 2012-06-25
Rapporteurs: Tom MENS    Jacky ESTUBLIER