ALMEIDA DA SILVA Marcos Aurélio
Supervision : Marie-Pierre GERVAIS
Co-supervision : BENDRAOU Reda, BLANC Xavier
Detection and Handling of Deviations in Process-centered Software Engineering Environments
Software Processes aim at improving the quality and productivity of software development by encoding sets of well-know practices for realizing them. When encoded in the form of Software Process Models (SPM) they can be analyzed, improved and automated. This third activity is the focus of this work. More specifically, we deal with a particular piece of software that is in charge of the automatization of the execution of SPMs: the Process-centered Software Engineering Environment (PSEE). They consist of process-aware software development environments that allow process agents to enact a SPM while having the conformance of their actions to the SPM verified by the PSEE. In this work, we are interested in the actions performed by the agents that do not conform to the SPM, we call these actions deviations. As a starting point of this work, we evaluated the existing PSEEs and realized that they do not provide the necessary support for detecting and handling deviations. This work intends to provide PSEEs the necessary support for detecting deviations and guiding process agents in handling them. In terms of detection, our approach reduces the level of prescriptiveness of PSEEs, by allowing them to detect deviations as early as possible (Early Deviation Detection) and to classify deviations according to their impact to the process objectives (Risk Assessment) In terms of guidance, we want our approach to allow the PSEE to delay the effective handling of deviations for as long as possible (Late Deviation Handling) and to provide correction plans that help process agents to reduce the overall risk represented by the detected deviations (Correction Guidance).
Defence : 06/25/2012
Jury members :
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
2010-2014 Publications
-
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”, thesis, defence 06/25/2012, supervision Gervais, Marie-Pierre, co-supervision : 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)