ALMEIDA DA SILVA Marcos Aurélio
Direction de recherche : Marie-Pierre GERVAIS
Co-encadrement : BENDRAOU Reda, BLANC Xavier
Détection et Traitement des Déviations dans les Environnements de développement logiciel centrés procédés
Les procédés de développement ont pour objectif d’améliorer la qualité et la productivité du développement logiciel. Lorsque les pratiques dans le développement sont représentées sous forme de Modèles de Procédé Logiciel (SPM – Software Process Model), elles deviennent analysables, améliorables et automatisables. Cette thèse se focalise sur la troisième activité: l'automatisation. Pour réaliser cette automatisation, des environnements de développement logiciel centrés procédés (PSEE - Process Software Execution Environment) ont vu le jour. Ils ont la caractéristique de permettre à un agent de procédé, tel un développeur ou un analyste, de suivre les pratiques représentées dans le SPM, tout en vérifiant la conformité de ses actions avec les pratiques représentées par le SPM. On appelle déviation une action exécutée par un agent qui n'est pas conforme avec le SPM qu'il est en train de suivre. Dans cette thèse, on propose une approche de construction des PSEE qui est capable de détecter les déviations et d’aider les agents de procédé dans leurs résolutions. En ce qui concerne la détection des déviations, notre approche est capable de détecter les déviations du modèle de procédé dès qu'elles ont étés commises (Détection des Déviations Au plus tôt}) et de produire un rapport comparatif du risque représenté par chaque déviation (Evaluation des Risques). En ce qui concerne la résolution des déviations, notre approche retarde le traitement des déviations (Traitement Retardé des Déviations) selon le besoin et propose des plans de correction pour aider les agents à les traiter (Aide à la Correction).
Soutenance : 25/06/2012
Membres du jury :
Tom Mens, Mons, U. Mons (Belgique) [Rapporteur]
Jacky Estublier, Laboratoire d'Informatique de Grenoble [Rapporteur]
Xavier Blanc, U. Bordeaux 1, Labri
Pierre-Alain Muller, U. Haute Alsace,
Jean-Marc Jézéquel, U. Rennes 1, IRISA
Fabrice Kordon, LIP6, UPMC
Reda Bendraou, LIP6, UPMC
Marie-Pierre Gervais, LIP6, Univ. Paris Ouest Nanterre
Publications 2010-2014
-
2014
- J.‑R. Falleri, X. Blanc, R. Bendraou, M. Almeida Da Silva, C. Teyton : “Incremental inconsistency detection with low memory overhead”, Software: Practice and Experience, vol. 44 (5), pp. 621-641, (Wiley) (2014)
-
2012
- M. Almeida Da Silva : “Detection and Handling of Deviations in Process-centered Software Engineering Environments”, thèse, soutenance 25/06/2012, direction de recherche Gervais, Marie-Pierre, co-encadrement : Bendraou, Reda, Blanc, Xavier (2012)
- R. Bendraou, M. Almeida Da Silva, M.‑P. Gervais, X. Blanc : “Support for deviation detections in the context of multi-viewpoint-based development processes”, CAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering, vol. 855, Gdansk, Poland, pp. 23-31, (CEUR) (2012)
- T. Ziadi, L. Frias, M. Almeida Da Silva, M. Ziane : “Feature Identification from the Source Code of Product Variants”, 16th European Conference on Software Maintenance and Reengineering (CSMR), Szeged, Hungary, pp. 417-422, (IEEE Computer Science) (2012)
-
2011
- M. Almeida Da Silva, X. Blanc, R. Bendraou : “Deviation Management during Process Execution”, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lawrence, Kan, United States, pp. 528-531, (ACM) (2011)
- A. Gonçalves, M. Almeida Da Silva, P. Deransart, J. Robin : “Towards a Generic Trace for Rule Based Constraint Reasoning”, 8th Workshop on Constraint Handling Rules (CHR), Cairo, Egypt, pp. 32-47 (2011)
- M. Gouyette, O. Barais, J. Le Noir, C. Brun, M. Almeida Da Silva, X. Blanc, D. Exertier, J.‑M. Jézéquel : “Movida studio: a modeling environment to create viewpoints and manage variability in views”, Journées sur l'Ingénierie Dirigée par les Modèles IDM 2011 Lille, 7-8 juin 2011, vol. 1, Lille, France, pp. 141-145, (service reprographie de Polytech, Université Lille I) (2011)
- M. Almeida Da Silva, R. Bendraou, J. Robin, X. Blanc : “Flexible Deviation Handling during Software Process Enactment”, 15th IEEE Workshops on International Enterprise Distributed Object Computing Conference (EDOCW), Helsinki, Finland, pp. 34-41, (IEEE) (2011)
- J. Le Noir, O. Delande, D. Exertier, M. Almeida Da Silva, X. Blanc : “Operation Based Model Representation: Experiences on Inconsistency Detection”, ECMFA 2011 - 7th European Conference on Modelling Foundations and Applications, vol. 6698, Lecture Notes in Computer Science, Birmingham, United Kingdom, pp. 85-96, (Springer) (2011)
- T. Ziadi, M. Almeida Da Silva, L. Hillah, M. Ziane : “A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams”, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Las Vegas, United States, pp. 107-116, (IEEE) (2011)
-
2010
- M. Almeida Da Silva, A. Mougenot, R. Bendraou, J. Robin, X. Blanc : “Artifact or Process Guidance, an Empirical Study”, MoDELS (2), vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 318-330, (Springer) (2010)
- M. Almeida Da Silva, R. Bendraou, X. Blanc, M.‑P. Gervais : “Early Deviation Detection in Modeling Activities of MDE Processes”, ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 303-317, (Springer) (2010)
- M. Almeida Da Silva, A. Mougenot, X. Blanc, R. Bendraou : “Towards Automated Inconsistency Handling in Design Models”, 22nd International Conference on Advanced Information Systems Engineering, CAiSE 2010, vol. 6051, Lecture Notes in Computer Science, Hammamet, Tunisia, pp. 348-362, (Springer) (2010)