Evaluating Procedural Alternatives. A Case Study in E-Voting


Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita

Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07)
27-28 Sep 2007
Halley Informatica, Camerino, Italy
Flavio Corradini, Alberto Polzonetti (eds.)

This paper describes part of the work carried out within the ProVotE project. It presents the approach we are taking in order to provide both precise models of the electoral processes of an electronic voting, and mechanisms for documenting and reasoning on the possible alternative implementations of the procedures to support the provincial elections of 2008. In particular, the approach is based on defining an alternating sequence of models, written using UML and Tropos. The former is used to represent the electoral processes (both existing and future), while the latter is meant to provide design rationale for the taken decisions about the future procedures. The choice is made after having evaluated the available alternatives against non-functional requirements with the help of Tropos goal analysis techniques.

 @INPROCEEDINGS{TroposMetteg07,
author = {Bryl, Volha  and Dalpiaz, Fabiano  and Ferrario, Roberta  and Mattioli, Andrea  and Villafiorita, Adolfo},
title = {Evaluating Procedural Alternatives. A Case Study in E-Voting},
booktitle = {Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07)},
year = {2007},
address = {Camerino, Italy},
month = {27--28~} # sep,
editor = {Corradini, Flavio and Polzonetti, Alberto},
publisher = {Halley Informatica}

}
 

Publication

— authors

Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita

— editors

Flavio Corradini, Alberto Polzonetti

— status

published

— sort

paper in proceedings

Venue

— volume

Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07)

— publication date

27-28 Sep 2007

URLs

original PDF

BibTeX

— BibTeX ID
TroposMetteg07
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY