Title :
Just like paper and the 3-colour protocol: A voting interface requirements engineering case study
Author :
Gibson, J. Paul ; MacNamara, Damien ; Oakley, Ken
Author_Institution :
Le Dept. Logiciels-Reseaux, Telecom Sud Paris, Evry, France
Abstract :
We report on the development of a novel electronic vote machine interface, with emphasis on the requirements engineering process. In particular, we review how we followed an operational prototyping approach in order to gain a better understanding of requirements in an incremental fashion. Our most interesting observations are concerned with the evolution of our most fundamental requirement: that the voting process followed by the voter should be just like paper. We comment on how the weakening of this requirement was deemed necessary by the addition of other requirements that were identified during our prototype evaluation. This weakening was minimized through the specification of a passive voting protocol that provides feedback to voters without obliging them to follow a voting process any different from that which is normally done using a traditional paper vote. The protocol is based on a simple 3-state machine where we naturally represent the states using the familiar traffic light colour scheme: thus the interaction between voter and interface became known as the three colour protocol.
Keywords :
finite state machines; formal specification; government data processing; protocols; user interfaces; 3-colour protocol; 3-state machine; electronic vote machine interface; just like paper; operational prototyping approach; passive voting protocol; requirements engineering process; traffic light colour scheme; voting interface; voting process; Arrays; Cameras; Nominations and elections; Protocols; Prototypes; Radiofrequency identification; Usability; evolution; prototyping; requirements; validation;
Conference_Titel :
Requirements Engineering for Electronic Voting Systems (REVOTE), 2011 International Workshop on
Conference_Location :
Trento
Print_ISBN :
978-1-4577-0951-7
Electronic_ISBN :
978-1-4577-0953-1
DOI :
10.1109/REVOTE.2011.6045917