Communication Dans Un Congrès Année : 2018

Formalising the requirements of an e-voting software product line using event-B

Résumé

A Software Product Line (SPL) is a tool/method used to generate a family of program/system variants for a specific domain, and to support a more efficient software devel- opment of future products within the same domain. A Feature Model (FM) is a popular graphical/textual representation used in SPL requirements specification; it is used to capture commonality and variability information existing in an SPL as a set of inter- related and configurable features. A concrete model of an SPL instance is obtained by binding the variation information in the FM with a configuration that meets a specific set of feature requirements. Since configuration decisions are taken prior to instantiation, invalid configurations should be detected/avoided before design begins. This paper addresses the problem of the verification of the correctness (validity) of FM instances and FM configuration during requirements modelling. It proposes a requirements model based on Event-B contexts, allowing us to check the correctness of a given configuration, before starting the correct-by-construction design and implementation process, based on refinement.

Fichier principal
Vignette du fichier
WETICE18.pdf (551.26 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01914195 , version 1 (06-11-2018)

Licence

Identifiants

Citer

Abderrahim Ait Wakrime, John Paul Gibson, Jean-Luc Raffy. Formalising the requirements of an e-voting software product line using event-B. WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. pp.78 - 84, ⟨10.1109/WETICE.2018.00022⟩. ⟨hal-01914195⟩
159 Consultations
339 Téléchargements

Altmetric

Partager

  • More