Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Evaluating Procedural Alternatives. A Case Study in E-Voting
Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Flavio Corradini, Alberto Polzonetti (eds.)
Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07)
Halley Informatica, Camerino, Italy
September 2007
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.
funding project
MEnSA — Methodologies for the Engineering of complex Software systems: Agent-based approach (01/03/2007–28/02/2009)
MEnSA — Methodologies for the Engineering of complex Software systems: Agent-based approach (01/03/2007–28/02/2009)