Evaluating Procedural Alternatives: A Case Study in e-Voting

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.

Tipo Pubblicazione: 
Author or Creator: 
Volha Bryl
Fabiano Dalpiaz
Roberta Ferrario
Andrea Mattioli
Adolfo Villafiorita
Inderscience,, Olney , Regno Unito
Electronic government 6 (2009): 213–231.
info:cnr-pdr/source/autori:Volha Bryl; Fabiano Dalpiaz; Roberta Ferrario; Andrea Mattioli; Adolfo Villafiorita/titolo:Evaluating Procedural Alternatives: A Case Study in e-Voting/doi:/rivista:Electronic government/anno:2009/pagina_da:213/pagina_a:231/inte
Resource Identifier: 
ISTC Author: 
Ritratto di Roberta Ferrario
Real name: