Title: Evaluating procedural alternatives: a case study in e-voting
Authors: Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Addresses: Department of Engineering and Information Science, University of Trento, via Sommarive 14, Povo (TN) 38050, Italy. ' Department of Engineering and Information Science, University of Trento, via Sommarive 14, Povo (TN) 38050, Italy. ' LOA, ISTC-CNR, via Alla Cascata 56C, Povo (TN) 38050, Italy. ' FBK-IRST, via Sommarive, 18, Povo (TN) 38050, Italy. ' FBK-IRST, via Sommarive, 18, Povo (TN) 38050, Italy
Abstract: This paper describes part of the work within the ProVotE project, whose goal is the introduction of e-voting systems for local elections. The approach is aimed at providing both precise models of the electoral processes and mechanisms for documenting and reasoning on the possible alternative implementations of the procedures. It is based on defining an alternating sequence of models, written using UML and Tropos. The UML is used to represent electoral processes (both existing and future), while Tropos provides a mean to reason and document the decisions taken about how to change the existing procedures to support an electronic election.
Keywords: electronic government; e-government; electronic voting; e-voting; security; modelling; automated analysis; procedural alternatives; local elections; electoral processes; evaluation.
Electronic Government, an International Journal, 2009 Vol.6 No.2, pp.213 - 231
Published online: 03 Apr 2009 *
Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article