Modelado de un sistema de voto electrónico

Abstract

Desde el punto de vista de la ingeniería de software, los sistemas de voto electrónico, como cualquier otro sistema de información, deben recorrer un ciclo de vida de desarrollo para poder ser utilizados por el usuario final, también llamado actor. Debido a sus características, contexto social y político en el que operan, estos sistemas merecen un modelado especial. Sin embargo, la mayoría de las veces sólo se le da importancia a la codificación de los mismos, dejando de lado las primeras tareas del ciclo de vida de su desarrollo, es decir, el modelado de los requisitos. Con base en ello, en este artículo se presenta una metodología de modelado de requisitos para un sistema de voto electrónico. Dicha metodología define un conjunto de procedimientos que permiten obtener modelos que representen el comportamiento estático de un sistema inexistente. Es importante destacar que con la finalidad de observar el desempeño de la metodología propuesta, los modelos obtenidos se utilizaron dentro de un caso práctico, con lo cual, entre otros resultados, se obtuvo una disminución del tiempo dedicado a cada una de las tareas del ciclo de vida del desarrollo de este tipo de sistemas.

From the software engineering point of view, electronic vote systems, as any other information system, should go a development life cycle in order to be used by the final user, also called actor. Due to this systems’ characteristics, social and political context in which they operate, they deserve a special modeling. However, most of the times, codification of them is only given importance, ignoring requirements modeling which is the first task of their development life cycle. Considering the aforementioned, in this paper we purpose a requirements modeling methodology for an electronic vote system. The methodology defines a set of procedures to obtain models that represent the static behavior of an inexistent system. It is important to mention that in order to observe the performance of proposed methodology, obtained models were used within a practical case, in which, among other results, we obtained a reduction of spent time on each task of the development life cycle of such systems.