A Framework to Formally Verify Conformance of a Software Process to a Software Method - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

A Framework to Formally Verify Conformance of a Software Process to a Software Method

Djamel Eddine Khelladi
  • Fonction : Auteur
  • PersonId : 176712
  • IdHAL : dkhelladi
Reda Bendraou
Souheib Baarir
Yoann Laurent
  • Fonction : Auteur
Marie-Pierre Gervais
  • Fonction : Auteur
  • PersonId : 961875

Résumé

The increasing complexity of development projects requires methodological frameworks to support development processes. A method comes with a set of best practices that are enforced and instantiated into processes to drive the realization steps of the development project. However, those best practices come in the form of text in guides and books, or they are in the developer's mind. Thus, during an instantiation of a method, there is no guaranty to enforce its best practices into the process, which could impact negatively the criteria: cost, time, and quality. To cope with this issue, we propose a library of best practices to be checked for four popular methods: Unified Process, Extreme Programming, Scrum and Kanban. On top of this library we have built up a template-based constraint language and implemented it to express additional constraints on processes that are modeled with UML Activity Diagrams (AD). To apply formal verification, we leverage on a formalization based on fUML semantics. The evaluation showed the feasibility of our approach which covers all the aspects of the process, i.e. time, resource, control-flow, and data-flow.
Fichier non déposé

Dates et versions

hal-01215911 , version 1 (15-10-2015)

Identifiants

Citer

Djamel Eddine Khelladi, Reda Bendraou, Souheib Baarir, Yoann Laurent, Marie-Pierre Gervais. A Framework to Formally Verify Conformance of a Software Process to a Software Method. 30th ACM/SIGAPP Symposium On Applied Computing SAC, Apr 2015, Salamanca, Spain. pp.1518-1525, ⟨10.1145/2695664.2695789⟩. ⟨hal-01215911⟩
99 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More