Story Transcript
Documento de Casos de uso y Requerimientos
Versión: Creado: Última actualización: Fecha de Impresión:
11 Daniel Yesid Cáceres Rincón 25/05/2011 25/05/2011
Tabla de Contenido Documento de Casos de uso y Requerimientos ................................................... 1 1 Introducción ..................................................................................................... 5 1.1 Propósito del Documento ........................................................................ 5 2 Objetivo general de los casos de uso .............................................................. 5 2.1 Enfoque ................................................................................................... 5 2.2 Contexto .................................................................................................. 5 Casos de Uso ....................................................................................................... 6 3 Use Case Model v2 ......................................................................................... 6 3.1 Actores .................................................................................................... 6 3.1.1 Alcalde ............................................................................................... 7 3.1.2 Auxiliar ............................................................................................... 7 3.1.3 Candidato ........................................................................................... 7 3.1.4 Elector ................................................................................................ 8 3.1.5 Juez ................................................................................................... 8 3.1.6 Jurado ................................................................................................ 8 3.1.7 Registrador municipal ........................................................................ 8 3.1.8 Sistema .............................................................................................. 9 3.1.9 Testigo ............................................................................................... 9 3.2 Caso de uso Votación actual ................................................................. 10 3.3 Caso de uso E-vote2 ............................................................................. 11 3.3.1 Almacenar conteo preliminar............................................................ 12 3.3.2 Almacenar formularios en DB .......................................................... 12 3.3.3 Almacenar registro candidatos en DB .............................................. 14 3.3.4 Almacenar registro electores en DB................................................. 15 3.3.5 Almacenar reportes temporales ....................................................... 16 3.3.6 Almacenar votos del sistema ........................................................... 17 3.3.7 Bajar Servicio Jornada de Votación ................................................. 18 3.3.8 Bajar Servicio Post-Elección ............................................................ 18 3.3.9 Bajar servicio de validación biométrica y código de barras .............. 19 3.3.10 Cerrar Jornada Post-Elección .......................................................... 20 3.3.11 Cerrar Jornada de Votación ............................................................. 21 3.3.12 CerrarProcesoDe Inscripciones candidatos ..................................... 22 3.3.13 CerrarProcesoDe Inscripciones electores ........................................ 23 3.3.14 Crear DB de reportes ....................................................................... 25 3.3.15 Crear DB de votos............................................................................ 25 3.3.16 Crear formulario E-24/E-26 .............................................................. 26 3.3.17 Crear una DB de registro candidatos .............................................. 27 3.3.18 Crear una DB de registro electores .................................................. 29 3.3.19 Generar certificado electoral ............................................................ 30 3.3.20 Generar certificado inscripción alcaldía ........................................... 31 3.3.21 Generar certificado inscripción concejo ........................................... 31 3.3.22 Generar certificado inscripción electoral .......................................... 32 3.3.23 Habilitar acceso a la interface de votación ....................................... 33
3.3.24 Iniciar proceso Inscripciones candidatos .......................................... 35 3.3.25 Iniciar Jornada Post-Elección ........................................................... 35 3.3.26 Iniciar Jornada de Votación .............................................................. 36 3.3.27 Iniciar Proceso Inscripciones Electores............................................ 37 3.3.28 Iniciar Servicio Jornada Post-Elección ............................................. 38 3.3.29 Iniciar Servicio Jornada Votación ..................................................... 39 3.3.30 Iniciar servicio de validación biométrica y de código de barras ........ 40 3.3.31 Monitorear el sistema de votación.................................................... 41 3.3.32 Validar el elector en jornada de votación ......................................... 43 3.3.33 Validar mediante lector biométrico y de código de barras en jornada de inscripción................................................................................................. 44 3.3.34 Almacenar votos .............................................................................. 46 3.3.35 Controlar las elecciones ................................................................... 46 3.3.36 Eliminar la papelería sobrante.......................................................... 47 3.3.37 Generar certificado electoral ............................................................ 48 3.3.38 Inscribir candidato alcaldía ............................................................... 48 3.3.39 Inscribir candidato concejo ............................................................... 49 3.3.40 Inscribir en mesa de votación........................................................... 50 3.3.41 Llenar el formulario E-24/E-26 ......................................................... 51 3.3.42 Modificar Inscripción alcaldía ........................................................... 53 3.3.43 Realizar Votación ............................................................................. 54 3.3.44 Realizar escrutinio municipal............................................................ 54 3.3.45 Realizar votación alcalde ................................................................. 56 3.3.46 Realizar votación concejo ................................................................ 56 3.3.47 Recibir certificado electoral .............................................................. 57 3.3.48 Recibir certificado inscripción alcaldía ............................................. 58 3.3.49 Recibir certificado inscripción concejo ............................................. 59 3.3.50 Recibir certificado inscripción electoral ............................................ 60 3.3.51 Registrar candidatos alcaldía ........................................................... 61 3.3.52 Registrar candidatos concejo ........................................................... 62 3.3.53 Registrar elector en mesa ................................................................ 64 3.3.54 Registrar mesas de votación del municipio ...................................... 65 3.3.55 Trasladar los votos (arca triclave) .................................................... 66 3.3.56 Validar el número de candidatos a la alcaldía registrados ............... 67 3.3.57 Validar el número de candidatos al concejo registrados .................. 69 3.3.58 Validar el número de electores inscritos aptos para votar ................ 70 3.3.59 Validar el número de mesas para las votaciones ............................. 70 3.3.60 Verificar al elector en el registro de la mesa .................................... 71 3.3.61 Verificar la calidad del escrutinio ...................................................... 71 3.3.62 Vigilar las votaciones ....................................................................... 73 3.3.63 Modificar inscripción concejo ........................................................... 74 4. Atributos de Calidad........................................................................................ 75 4.1. Seguridad .............................................................................................. 75 4.2. Usabilidad .............................................................................................. 75 4.3. Escalabilidad ......................................................................................... 75 4.4. Persistente ............................................................................................ 76
Se debe registrar todo ingreso del usuario al sistema desde su registro y la interacción que tenga con éste. ..................................................................... 76 4.5. Privacidad .............................................................................................. 76 4.6. Rendimiento .......................................................................................... 76 4.7. Interfaz de usuario ................................................................................. 76 4.8. Fiabilidad ............................................................................................... 76 4.9. Acción anormal ...................................................................................... 76 4.10. Integridad ............................................................................................ 77 4.11. Activos ................................................................................................ 77 BIBLIOGRAFIA ................................................................................................... 77
1
Introducción
Crear una solución software siempre debe tener en cuenta los aspectos actuales que posea la organización donde se espera presente una solución; para este proyecto la registraduría municipal de Choachí no es la excepción. De allí que se importante analizar el antes y el después de la registraduría municipal con respecto a la implementación del proceso de voto electrónico en Choachí, de allí que se presente el esquema actual de forma general y se haga aclaración del esquema de casos de uso necesario para dar soporte tanto a las arquitecturas que se plantearan para este proyecto como para la solución software que se llegue a implementar.
1.1
Propósito del Documento
El propósito de este documento es definir los casos de uso para el modelo de arquitectura de voto electrónico para el municipio de Choachí, presentando el modelo de casos de uso del estado actual y la propuesta con sus respectivos requerimientos. Es de recordar que la solución que se presentara al final del proyecto a nivel de software tangible será un prototipo de interfaces de usuario de los procesos de inscripción de electores y candidatos así como del proceso de votación.
2
Objetivo general de los casos de uso
Se busca identificar el comportamiento deseado de la futura aplicación que se construya basado en el modelo de arquitectura de sistema planteado en el presente proyecto. Se describen el conjunto de secuencias identificadas y la interacción de los elementos tanto externos como los actores con el sistema. Asimismo, se identificarán los roles que tendrá cada actor del sistema; usualmente, un actor representa un rol en el sistema y puede ser una persona, un dispositivo hardware u otro sistema [1].
2.1
Enfoque
El enfoque del modelo de arquitectura que se va a proponer es el de un sistema para el voto electrónico construido empleando Web Services.
2.2
Contexto
El contexto donde se espera implementar este proyecto es un municipio de sexta categoría donde se nota claramente la ausencia de TI para dar respaldo a la línea estratégica de votación que tiene la registraduría municipal de Choachí. Se espera integrar esta propuesta con el sistema MORPHOCHECK que ya posee la registraduría y que es empleado para el manejo y entrega de los documentos de identidad (Cédulas, tarjetas de identidad)
Casos de Uso Dentro de cada caso de uso se presentan los requerimientos funcionales que lo acompañan (en cada basic path). Al final se presentan los atributos de calidad.
3
Use Case Model v2
Figure 1: Use Case Model v2
3.1
Actores
uc Actors
Juez
Jurado
Alcalde
Sistema
Auxiliar
Registrador municipal Elector
Testigo
Candidato
Figure 2: Actores
3.1.1 Alcalde Este actor interactúa con el sistema solo para el movimiento del arca tri-clave, puesto que el será responsable de una de las 3 llaves que se dan para cuidar los votos.
3.1.2 Auxiliar Actor escogido por el registrador municipal para que haga algunas funciones que le delega el registrador como ayudarle en la inscripción de electores y candidatos, colaborar en la parte de ubicación de las mesas de votación el día de las elecciones, o servir de ente de control auxiliar del registrador.
3.1.3 Candidato Actor que aparece 2 veces en todo el proceso electoral: en la inscripción y en las elecciones. La primera vez es en la etapa de inscripción de su candidatura, en ese momento, él puede interactuar con este proceso 2 veces: cuando se inscribe, y cuando desea realizar alguna modificación sobre su inscripción siempre y cuando este dentro de los tiempos establecidos. La segunda vez es en la etapa de votación el día de elecciones, ya que el hecho de ser candidato en ese municipio automáticamente lo registra como
elector habilitado para votar. Salvo que el candidato votara anteriormente fuera del municipio, se le asigna en el momento de la inscripción de su candidatura una mesa para votar.
3.1.4 Elector Actor esencial para el sistema de votación. Este actor interactúa 2 veces con el sistema: La primera es cuando se va a registrar en la jornada de inscripción de cedulas. Allí el elector da sus datos al registrador o al auxiliar que se encuentre en el sitio de registro, además de esto, presenta la cedula para validar la información que dijo con la de la cedula, hace una impresión de huella dactilar para un formato que llena el registrador o auxiliar y recibe un certificado de inscripción en mesa de votación. La segunda interacción con el sistema es cuando llega la jornada electoral. Allí el elector entrega su cedula al jurado de la respectiva mesa para validar sus datos y así poder recibir los tarjetones respectivos para votar. al terminar esta acción el elector recibe el certificado electoral
3.1.5 Juez Actor que es designado por el consejo superior de la judicatura para acompañar al registrador municipal en la parte final de las elecciones, en el proceso de escrutinio. Él debe dar validez al escrutinio del registrador y también firmar los formularios que el registrador debe completar para enviar a la Registraduría nacional del estado civil
3.1.6 Jurado Este actor es elegido al azar por un sistema que tiene la Registraduría Nacional del Estado Civil. Su labor es la de asegurar al elector que está en la mesa correcta para votar, validar esta información que tiene en la planilla versus la cedula del elector, entregarle los tarjetones para votar, entregarle el certificado de votación. Además de esto tiene que llenar unos formularios como jurado de apertura y cierre de la jornada electoral en esa mesa y otro formulario con los resultados del escrutinio previo realizado en la misma mesa
3.1.7 Registrador municipal Actor con la mayor carga de responsabilidad para las elecciones en todos los procesos (inscripción, elecciones, y post-elecciones) del municipio de Choachí. Este actor interactúa con las 3 partes del proceso: En la primera parte, validando la cantidad de electores inscritos, de candidatos inscritos y de mesas que se registraron. Con esta información, él debe generar un documento para presentar estos resultados a la registraduría nacional del estado civil
En la segunda parte, él es el ente de control de las elecciones. Él debe vigilar todas las mesas, mirar que no se presenten irregularidades, entregar los formularios a los jurados y al final recibirlos. Además de esto, él debe con el alcalde y un juez almacenar la totalidad de los votos en el arca tri-clave para su posterior escrutinio. En la tercera parte, el registrador con los jueces designados abren el arca triclave y sacan los votos para hacer el escrutinio final. Allí el registrador debe llenar otros formularios para dar la totalidad de votos por candidato a nivel general y detallado, el cual es enviado luego a la Registraduría nacional del estado civil para dar por concluida la jornada electoral
3.1.8 Sistema Actor que representa el sistema implementado para dar vida a todos los procesos electorales mediante el voto electrónico en el municipio de Choachí
3.1.9 Testigo Actor que representa a cualquier persona del municipio que sirve de veedor durante el proceso del escrutinio final del registrador y de los jueces. No interactúa en ninguna otra parte del proceso electoral
3.2
Caso de uso Votación actual
uc CU v otacion actual Votacion Actual Choachí Registro pre-electoral Validar el numero de candidatos al concej o registrados
Recibir certificado inscripcion concej o
modificar inscripcion concej o
«extend» «include» Registrar candidatos concej o
«extend»
Recibir certificado inscripcion alcaldia
Validar el numero de candidatos a la alcaldia registrados
Inscribir candidato concej o
Candidato Modificar Inscripcion alcaldia
«extend» «include» Registrar candidatos alcaldia
«extend»
Inscribir candidato alcaldia
Registrar mesas de v otacion del municipio
Validar el numero de mesas para las v otaciones
Auxiliar
Registrador municipal
«extend»
Registrar elector en mesa
«extend» Inscribir en mesa de v otacion Validar el numero de electores inscritos aptos para v otar
«extend» Recibir certificado inscripcion electoral
Realizar v otacion alcalde «extend»
«include»
Realizar Votacion
Almacenar v otos
Elector «extend»
«include»
Realizar v otacion concej o
«include»
Recibir certificado electoral
«include»
«extend»
Generar certificado electoral Jurado
Verificar al elector en el registro de la mesa «include» Proceso post-votaciones
Controlar las elecciones
Vigilar las v otaciones
«extend»
«extend» Eliminar la papeleria sobrante Trasladar los v otos (arca triclav e)
Alcalde
«include»
Realizar escrutinio municipal
Juez
«extend» Llenar el formulario E-24/E-26
«include» Verificar la calidad del escrutinio Testigo
Figure 4: CU votación actual
3.3
Caso de uso E-vote2
uc CU E-v ote2 modelo Votacion electronica Choachí Registro pre-elecciones
Validar el numero de candidatos al concej o registrados
Registrar candidatos concej o
Recibir certificado inscripcion concej o
(from Caso de uso Votacion actual) (from Caso de uso Votacion actual)
«include»
(from Caso de uso Votacion actual)
modificar inscripcion concej o
«include»
«extend»
(from Caso de uso Votacion actual)
«extend» Inscribir candidato concej o
Almacenar registro candidatos en DB
Validar el numero de candidatos a la alcaldia registrados
«include» (from Caso de uso Votacion actual)
«include» «include»
(from Caso de uso Votacion actual)
Recibir certificado inscripcion alcaldia
Registrar candidatos alcaldia
«extend»
«extend»
Inscribir candidato alcaldia
«include»
Generar certificado inscripcion concej o (from Caso de uso Votacion actual)
(from Caso de uso Votacion actual)«include» (from Caso de uso Votacion actual)
«include»
«include» Elector
Validar mediante lector biometrico y de codigo de barras en j ornada de inscripcion
Generar certificado inscripcion alcaldia
(from Actores)
Modificar Inscripcion alcaldia
Candidato (from Caso de uso Votacion actual)
Crear una DB de registro candidatos (from Caso de uso Votacion actual)
«extend» «include»
Inciar proceso Inscripciones candidatos
«extend» «include»
«extend»
«include» Inscribir en mesa de v otacion
Iniciar serv icio de v alidacion biometrica y de codigo de barras
Recibir certificado inscripcion electoral
(from Caso de uso Votacion«extend» actual) Registrar elector en mesa
«include» «extend» (from Caso de uso Votacion actual)
Registrador municipal (from Actores)
Auxiliar
Generar certificado inscripcion electoral
Validar el numero de electores inscritos (from Caso de uso Votacion actual) Almacenar registro «extend» «include» aptos para v otar electores en DB
«precedes»
«extend» CerrarProcesoDe Inscripciones candidatos
«include»
(from Actores)
Iniciar Proceso Inscripciones Electores
«extend» (from Caso de uso Votacion actual) «include»
«include»
Validar el numero de mesas para las v otaciones
«include»
Registrar mesas de v otacion del municipio (from Caso de uso Votacion actual)
«precedes»
(from Caso de uso Votacion actual)
Crear una DB de registro electores
Baj ar serv icio de CerrarProcesoDe v alidacion biometrica y Inscripciones electores «include» codigo de barras Sistema (from Actores) «precedes»
Validar el elector en j ornada de v otacion
Iniciar Serv icio Jornada Votacion
«extend»
«include»
«extend»
Crear DB de v otos
Realizar v otacion alcalde Almacenar v otos del sistema
«extend»
Cerrar Jornada de Votacion «extend» Crear DB de reportes
Realizar v otacion concej o
«extend»
(from Caso de uso Votacion actual) Recibir certificado Generar certificado «include» electoral electoral «include»
«include» «include» Almacenar reportes «include» temporalesr
(from Caso de uso Votacion actual)
Juez
«precedes»
«extend»
«include»
(from Caso de uso Votacion actual) (from Caso de uso Votacion actual) «extend»
(from Actores)
Iniciar Jornada de Votacion
«include»
«extend»
«include»
Realizar Votacion
Habilitar acceso a la interface de v otacion
«extend» Monitorear el sistema de v otacion
Controlar las elecciones
«precedes» «extend»
Almacenar conteo preliminar
Baj ar Serv icio Jornada de Votacion
(from Caso de uso Votacion actual) «extend» Proceso Post-elecciones Realizar escrutinio municipal
Iniciar Jornada PostEleccion «invokes»
Iniciar Serv icio Jornada PostEleccion
(from Caso de uso Votacion actual) «extend»
«include» «precedes»
«include» Almacenar formularios en DB
«include»
Llenar el formulario E-24/E-26
(from Caso de uso Votacion actual)
Figure 3: CU E-vote2
Cerrar Jornada PostEleccion
Crear formulario E-24/E-26 Baj ar Serv icio PostEleccion
«include»
3.3.1 Almacenar conteo preliminar Responsabilidades (requerimientos) - (Proposed, Medium difficulty) Restricciones : (Invariant, Status is Approved)
de
jornada
de
votacion
: (Pre-condition, Status is Approved) : (Post-condition, Status is Approved)
Invariant Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.2 Almacenar formularios en DB Responsabilidades (requerimientos) (Proposed, Medium difficulty) el sistema debe crear una DB para almacenar los formularios E-24 generados y llenados por el registrador (Proposed, Medium difficulty) el sistema debe crear una DB para almacenar los formularios E-24 generados y llenados por el registrador
Restricciones : (Precondition, Status is Approved) la DB debe inicializarse sin ningun dato para la primera eleccion que se realice : (Invariant, Status is Approved) : (Invariant, Status is Approved) : (Post-condition, Status is Approved) : (Post-condition, Status is Approved) : (Invariant, Status is Approved) : (Invariant, Status is Approved)
Pre-condition Status: Approved la DB debe inicializarse sin ningún dato para la primera elección que se realice Invariant Status: Approved Invariant Status: Approved Post-condition Status: Approved
Post-condition Status: Approved Invariant Status: Approved Invariant Status: Approved
3.3.3 Almacenar registro candidatos en DB Responsabilidades (requerimientos) - (Proposed, High difficulty) el sistema debe permitir la insercion de datos a los registros previamente creados en la base de datos de la registraduria Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos Restricciones : (Invariant, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) : (Post-condition, Status is Approved) el registro de un candidato solo puede ser modificado si el ya existe en la base de datos de inscripcion de candidatos Scenarios el candidato va a la registraduria a modificar su inscripcion - Alternate Notes
el sistema modifica la informacion en la base de datos del candidato si ya existia registrado en la base de datos previamente - Alternate Notes
Scenarios
Haber iniciado el proceso Inscripciones candidatos Basic Path Basic Path: 1 el candidato va a la registraduría a inscribirse (independiente de que sea al concejo o a la 2 3 alcaldía). el registrador o el auxiliar validan la identidad del candidato. el registrador o el 4 auxiliar ingresan los datos del candidato al sistema. el sistema almacena en la base de datos la información de la nueva inscripción si el candidato no existe. Alternate Paths el candidato va a la registraduría a modificar su inscripción: 1 (at ) el sistema modifica la información en la base de datos del candidato si ya existía registrado en la base de datos previamente:
Invariant Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
Post-condition Status: Approved el registro de un candidato solo puede ser modificado si el ya existe en la base de datos de inscripción de candidatos
3.3.4 Almacenar registro electores en DB Responsabilidades (requerimientos) Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos Haber iniciado el proceso Inscripciones electores Basic Path
Basic Path: 1 2 el elector va a la registraduría a inscribirse. el registrador o el auxiliar validan la identidad del 3 4 elector. el registrador o el auxiliar ingresan los datos del elector al sistema. el sistema almacena en la base de datos la información de la nueva inscripción si el elector no existe.
Invariant Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.5 Almacenar reportes temporales Responsabilidades (requerimientos) - (Proposed, Medium difficulty) Restricciones : (Pre-condition, Status is Approved) : (Postcondition, Status is Approved) : (Invariant, Status is Approved)
Pre-condition
Status: Approved ha
generado
un
Post-condition Status: Approved
Invariant Status: Approved
3.3.6 Almacenar votos del sistema Responsabilidades (requerimientos) (Proposed, Medium difficulty) el sistema debe almacenar los votos generados desde la pagina Web para alcalde (Proposed, Medium difficulty) el sistema debe almacenar los votos generados desde la pagina Web para concejo
Restricciones : (Post-condition, Status is Approved) : (Post-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Invariant, Status is Approved)
Basic Path Basic Path: 1 2 el sistema recibe el voto de la página Web para alcalde. el sistema almacena el 3 tiempo, el número de voto, y el candidato seleccionado por alcaldía. el sistema genera 4 un mensaje de confirmación de almacenamiento de voto por alcalde al elector. el 5 sistema recibe el voto de la página Web para concejo. el sistema almacena el tiempo, 6 el número de voto, y el candidato seleccionado por concejo. el sistema genera un mensaje de confirmación de almacenamiento del voto por concejo al elector.
Post-condition Status: Approved
Post-condition Status: Approved
Pre-condition Status: Approved
Invariant Status: Approved
3.3.7 Bajar Servicio Jornada de Votación Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe bajar el servicio jornada de votacion para garantizar que no se hagan mas accesos, almacenamiento ni modificaciones de los registros generados, garantizando seguridad de la informacion. Quien da la orden al sistema es el registrador
Restricciones : (Invariant, Status is Approved) : (Post-condition, Status is Approved) : (Pre-condition, Status is Approved)
Invariant Status: Approved Post-condition
Status: Approved ha
bajado
Pre-condition Status: Approved
3.3.8 Bajar Servicio Post-Elección Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe bajar el servicio post-eleccion para garantizar que no se hagan mas accesos, almacenamiento ni modificaciones de los registros generados por el registrador y los jueces, garantizando seguridad de la informacion. Quien da la orden al sistema es el registrador
Restricciones : (Pre-condition, Status is Approved)
Restricciones : (Post-condition, Status is Approved) : (Invariant, Status is Approved)
Pre-condition Status: Approved Post-condition
Status: Approved ha
bajado
Invariant Status: Approved
3.3.9 Bajar servicio de validación biométrica y código de barras Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe bajar el servicio validacion biometrica y codigo de barras para garantizar que no se hagan mas accesos, almacenamiento ni modificaciones de los registros generados, garantizando seguridad de la informacion. Quien da la orden al sistema es el registrador
Restricciones : (Invariant, Status is Approved) : (Invariant, Status is Approved) : (Post-condition, Status is Approved) : (Precondition, Status is Approved)
Invariant Status: Approved
Invariant
Status: Approved
Post-condition
Status: Approved ha
bajado
Pre-condition Status: Approved
3.3.10
Cerrar Jornada Post-Elección
Responsabilidades (requerimientos) (Proposed, Medium difficulty)
Restricciones : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) : (Invariant, Status is Approved)
Basic Path Basic Path: 1 el registrador y los jueces declaran el cierre de la jornada post-elección. registrador da la orden al sistema de dar de bajar el servicio post-elección.
Pre-condition Status: Approved
Pre-condition
Status: Approved
2
el
Post-condition Status: Approved
Invariant Status: Approved
3.3.11
Cerrar Jornada de Votación
Responsabilidades (requerimientos) (Proposed, Medium difficulty)
Restricciones : (Invariant, Status is Approved) despues de haber bajado el servicio post-eleccion no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) Basic Path Basic Path: 1 el registrador da la orden de cerrar el tiempo de votación (establece un tiempo de fin 2 de votaciones previamente y antes de iniciar la jornada). el sistema bloquea cualquier 3 captura de datos después de la orden del registrador. el sistema genera los cálculos 4 previos por equipo para el conteo preliminar de los votos. el sistema almacena esos 5 cálculos como reportes temporales. después de almacenar esos reportes, el registrador da la orden al sistema de bajar el servicio jornada de votación.
Invariant Status: Approved después de haber bajado el servicio post-elección no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos Pre-condition Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.12
CerrarProcesoDe Inscripciones candidatos
Responsabilidades (requerimientos) - (Proposed, Medium difficulty)
Restricciones : (Invariant, Status is Approved) despues de haber bajado el servicio validacion biometrica y detener servicio de codigo de barras no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos : (Precondition, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved)
Restricciones
Basic Path Basic Path: 1 el registrador da la orden de cerrar el tiempo de inscripción de candidatos (establece 2 un tiempo de fin de votaciones previamente y antes de iniciar la jornada). el sistema 3 bloquea cualquier captura de datos después de la orden del registrador. el sistema 4 genera los informes de candidatos inscritos. el registrador da la orden al sistema de bajar el servicio validación biométrica y de código de barras.
Invariant Status: Approved después de haber bajado el servicio validación biométrica y detener servicio de código de barras no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos Pre-condition Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.13
CerrarProcesoDe Inscripciones electores
Responsabilidades (requerimientos) - (Proposed, Medium difficulty)
Restricciones : (Invariant, Status is Approved) despues de haber bajado el servicio validacion biometrica y detener servicio de codigo de barras no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos : (Precondition, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) Basic Path Basic Path: 1 el registrador da la orden de cerrar el tiempo de inscripción de electores (establece un 2 tiempo de fin de votaciones previamente y antes de iniciar la jornada). el sistema 3 bloquea cualquier captura de datos después de la orden del registrador. el sistema 4 genera los informes de electores inscritos. el registrador da la orden al sistema de bajar el servicio validación biométrica y de código de barras.
Invariant Status: Approved después de haber bajado el servicio validación biométrica y detener servicio de código de barras no puede haber acceso a los datos sino hasta el momento del escrutinio final, donde solo el registrador puede tener la clave de acceso al sistema para mirar esos datos Pre-condition Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.14
Crear DB de reportes
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) Restricciones : (Invariant, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved)
Invariant Status: Approved
Pre-condition Status: Approved
Post-condition
3.3.15
Crear DB de votos
Responsabilidades (requerimientos)
Status: Approved creada
Responsabilidades (requerimientos) (Proposed, Medium difficulty) el sistema debe crear una DB para almacenar los votos generados durante la jornada Restricciones : (Invariant, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved)
Invariant Status: Approved
Pre-condition Status: Approved
Post-condition
3.3.16
Status: Approved creada
Crear formulario E-24/E-26
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe crear el formulario E-24 para publicacion de resultados de la jornada electoral - (Proposed, Medium difficulty) el sistema debe crear el formulario E-26 para publicacion de resultados de la jornada electoral Restricciones el sistema debe haber cerrado la jornada de votación: (Invariant, Status is Approved) : (Invariant, Status is Approved) : (Post-condition, Status is Approved) : (Post-condition, Status is Approved)
Responsabilidades (requerimientos) < la jornada post-eleccion esta iniciada>: (Pre-condition, Status is Approved)
Basic Path Basic Path: 1 2 se da inicio a la jornada post-elección en el sistema. el sistema pide el login del usuario, el cual debe ser el registrador/juez para poder acceder al menú post3 4 elecciones. el registrador/juez solicita la creación del formulario E-24 / E-26. el sistema genera el formato para que lo llene el registrador/juez vía Web.
Invariant Status: Approved el sistema debe haber cerrado la jornada de votación
Invariant Status: Approved
Post-condition Status: Approved
Post-condition Status: Approved
Pre-condition Status: Approved < la jornada post-elección esta iniciada>
3.3.17
Crear una DB de registro candidatos
Responsabilidades (requerimientos) - (Proposed, High difficulty) el sistema (software o formulario Web) debe crear una base de datos nueva para almacenar toda la informacion de inscripcion de los candidatos. (Proposed, High difficulty) el sistema debe permitir accesar la base de datos de inscripcion de candidatos para insercion y modificacion en cualquier momento, siempre y cuando este habilitado el tiempo de inscripcion
Restricciones : (Invariant, Status is Approved) solo el registrador puede autorizar la creacion de la base de datos para inscripcion de candidatos. Ademas esta base de datos debe ser independiente de cualquier otra base de datos que se utilize para el proceso electoral. : (Invariant, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) : (Post-condition, Status is Approved) Scenarios el registrador o el auxiliar solicita la modificacion de un candidato – Alternate Notes
el sistema entrega mensaje de confirmacion de la modificacion del registro del candidato siempre y cuando este exista en la base de datos – Alternate Basic Path Basic Path: 1 el registrador autoriza la creación de la base de datos para la inscripción de 2 3 candidatos. el sistema confirma el acceso a la base de datos. el registrador o el 4 auxiliar ingresan un registro de un candidato. el sistema entrega mensaje de confirmación o negación de la creación del registro del nuevo candidato. Alternate Paths el registrador o el auxiliar solicita la modificación de un candidato: el sistema entrega mensaje de confirmación de la modificación del registro del candidato siempre y cuando este exista en la base de datos:
Invariant Status: Approved Solo el registrador puede autorizar la creación de la base de datos para inscripción de candidatos. Además esta base de datos debe ser independiente de cualquier otra base de datos que se utilice para el proceso electoral. Invariant Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
Post-condition
3.3.18
Status: Approved modifico registro del
Crear una DB de registro electores
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe crear una DB para almacenar los registros de electores generados durante la jornada
Restricciones : (Invariant, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved)
Invariant Status: Approved
Pre-condition Status: Approved
Post-condition
3.3.19
Status: Approved creada
Generar certificado electoral
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe generar un documento con el nombre del elector, el nombre del municipio, la fecha y hora de votacion, el numero de mesa y el lugar de votacion donde voto el elector
Restricciones : (Post-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) el sistema debe generar los certificados con numeracion continua para garantizar seguridad y permitir futuras auditorias : (Invariant, Status is Approved)
Basic Path Basic Path: 1 2 el elector antes de poder ejercer su voto es validado por el sistema. después de realizado los votos, el sistema utiliza estos datos para generar el certificado electoral con los datos de mesa, puesto de votación, fecha y hora, y nombre del elector.
Post-condition Status: Approved
Pre-condition Status: Approved
Invariant el sistema debe generar los certificados con numeración continua para garantizar seguridad y permitir futuras auditorias Invariant Status: Approved
3.3.20
Generar certificado inscripción alcaldía
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) Basic Path Basic Path: 1 el candidato a la alcaldía es validado por el sistema para poderlo registrar en una 2 mesa de votación. después de confirmado el registro, el sistema utiliza estos datos para generar el certificado de inscripción del candidato a la alcaldía con los datos de mesa, puesto de votación, fecha y hora, y nombre del elector.
3.3.21
Generar certificado inscripción concejo
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) Restricciones : (Post-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) el sistema debe generar los certificados con numeracion continua para garantizar seguridad y permitir futuras auditorias : (Invariant, Status is Approved)
Responsabilidades (requerimientos)
Basic Path Basic Path: 1 el candidato al concejo es validado por el sistema para poderlo registrar en una mesa 2 de votación. después de confirmado el registro, el sistema utiliza estos datos para generar el certificado de inscripción al concejo con los datos de mesa, puesto de votación, fecha y hora, y nombre del elector.
Post-condition Status: Approved
Pre-condition Status: Approved
Invariant Status: Approved el sistema debe generar los certificados con numeración continua para garantizar seguridad y permitir futuras auditorias Invariant Status: Approved
3.3.22
Generar certificado inscripción electoral
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) Restricciones : (Post-condition, Status is Approved) : (Pre-condition, Status is Approved)
Responsabilidades (requerimientos) : (Invariant, Status is Approved) el sistema debe generar los certificados con numeracion continua para garantizar seguridad y permitir futuras auditorias : (Invariant, Status is Approved)
Basic Path Basic Path: 1 2 el elector es validado por el sistema para poderlo registrar en una mesa de votación. después de confirmado el registro, el sistema utiliza estos datos para generar el certificado de inscripción electoral con los datos de mesa, puesto de votación, fecha y hora, y nombre del elector.
Post-condition Status: Approved
Pre-condition Status: Approved
Invariant Status: Approved el sistema debe generar los certificados con numeración continua para garantizar seguridad y permitir futuras auditorias Invariant Status: Approved
3.3.23
Habilitar acceso a la interface de votación
Responsabilidades (requerimientos) (Proposed, Medium difficulty)
Restricciones : (Invariant, Status is Approved) : (Invariant, Status is Approved) el elector solo puede accesar una vez a la interfaz de votacion para realizar la votacion por alcalde y por concejal, permitiendo ser este acceso una forma mas para otorgar seguridad y evitar fraude electoral : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved)
Basic Path Basic Path: 1 2 el sistema habilita una interfaz para permitir el acceso a la votación. una vez habilitada, el elector puede seleccionar en el orden que él quiera la votación que va a 3 realizar: ya sea por alcalde o por concejal. una vez realizada una de las votaciones, el sistema envía directamente a la otra página de votación al elector sin tener que 4 devolverlo a la interfaz de acceso. una vez realizada las 2 votaciones, el sistema 5 genera un registro del elector que ya voto. de esta forma si algún elector se presenta con el mismo nombre y cedula con la intención de cambiar su voto o generar fraude, el sistema rechazara la petición del mismo para poder votar.
Invariant Status: Approved
Invariant Status: Approved el elector solo puede acceder una vez a la interfaz de votación para realizar la votación por alcalde y por concejal, permitiendo ser este acceso una forma más para otorgar seguridad y evitar fraude electoral Pre-condition Status: Approved
Post-condition Status: Approved
3.3.24
Iniciar proceso Inscripciones candidatos
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el proceso iniciar proceso Inscripciones candidatos debe permitir el inicio de las actividades y demas procesos que se presentan y pertenecen a la jornada de inscripcion de candidatos
Restricciones : (Postcondition, Status is Approved) : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) el proceso de inscripcion de candidatos se inicia bajo orden explicita de la registraduria nacional del estado civil durante el lapso de tiempo determinado por ellos
Post-condition Status: Approved
Pre-condition Status: Approved
Invariant Status: Approved el proceso de inscripción de candidatos se inicia bajo orden explicita de la registraduría nacional del estado civil durante el lapso de tiempo determinado por ellos
3.3.25
Iniciar Jornada Post-Elección
Responsabilidades (requerimientos) (Proposed, Medium difficulty)
Restricciones : (Invariant, Status is Approved) el sistema debe haber bajado el servicio de jornada de votacion para poder iniciar la jornada post-eleccion : (Pre-condition, Status is Approved) - (Proposed, Medium difficulty) el sistema debe iniciar el servicio de validacion biometrica y de codigo de barras para permitir a los electores inscribirse y que este sea almacenado. A su vez que les genere un certificado de votacion electoral personalizado> Restricciones : (Invariant, Status is Approved) : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved)
Scenarios electores – Alternate
Basic Path Basic Path: 1 2 el registrador da inicio a la jornada de inscripción de candidatos. al dar inicio a la jornada de inscripción de candidatos, el sistema da inicio al servicio de validación 3 biométrica y código de barras. el servicio de jornada de votación habilitara las paginas 4 e interfaces para que los candidatos puedan ser registrados. el servicio crea también 5 la base de datos para almacenar las inscripciones de candidatos que se realicen. el 6 sistema generara los certificados de inscripción de los candidatos. el sistema generara reportes de las inscripciones de los candidatos. Alternate Paths electores: 1 (at ) El registrador da inicio a la jornada de inscripción de electores. Al dar inicio a la jornada de inscripción de electores, el sistema da inicio al servicio de validación biométrica y código de barras. El servicio de jornada de votación habilitara las páginas e interfaces para que los electores puedan ser registrados. El servicio crea también la base de datos para almacenar las inscripciones de electores que se realicen. El sistema generara los certificados de inscripción de los electores. El sistema generara reportes de las inscripciones de los electores.
Invariant Status: Approved
Pre-condition Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.31
Monitorear el sistema de votación
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe generar reportes de los conteos preliminares - (Proposed, Medium difficulty) - (Proposed, High difficulty) el sistema debe generar y llenar el formulario e-26 con base a los votos almacenados y escrutados> Restricciones : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) : (Invariant, Status is Approved)
Restricciones : (Post-condition, Status is Approved) : (Post-condition, Status is Approved) : (Post-condition, Status is Approved)
Basic Path Basic Path: 1 2 el registrador/juez ingresa al sistema el día del escrutinio final. el registrador/juez 3 selecciona el formulario a diligenciar. el sistema genera y permite completar los datos 4 del formulario establecido en el paso 2. el sistema imprime el formulario y lo almacena en una DB creada para los históricos de los formularios.
Pre-condition Status: Approved
Pre-condition Status: Approved
Pre-condition Status: Approved
Invariant Status: Approved
Invariant Status: Approved
Post-condition
fueron
Post-condition
fueron
Status: Approved
Status: Approved
Post-condition Status: Approved
3.3.42
Modificar Inscripción alcaldía
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) El sistema debera permitir al administrador o registrador modificar los registros de un candidato a la alcaldia siempre y cuando este en el tiempo habilitado por la registraduria para hacerlo
Restricciones : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) : (Post-condition, Status is Approved) : (Pre-condition, Status is Approved)
Basic Path Básico: 1 2 el candidato a la alcaldía debe haberse inscrito previamente. el candidato tiene un 3 evento que genera un cambio importante en la información entregada anteriormente. el candidato se moviliza a la registraduría municipal donde está inscrito para entregar la 4 nueva información al registrador o al auxiliar. el candidato recibe un certificado que valida los cambios y le permite seguir estando activo en la lista de candidatos al concejo.
Pre-condition Status: Approved
Invariant Status: Approved
Post-condition Status: Approved
Pre-condition Status: Approved
3.3.43
Realizar Votación
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) El sistema debe registrar el voto del elector por alcalde Restricciones : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved)
Basic Path Basic Path: 1 el elector se acerca al puesto de votación y a la mesa donde fue asignado al inscribir 2 su cedula. alguno de los jurados se encarga de confirmar que el elector se encuentre 3 registrado en esa mesa de votación en el respectivo puesto. después de confirmado, 4 el elector pasa al cubículo a realizar su votación tanto por alcalde, como por concejal. luego de realizar las 2 votaciones (sin importar la opción que hubiera marcado), 5 deposita los tarjetones en una urna de cartón. el jurado después de ver al elector introducir los tarjetones, le entrega el certificado de votación electoral.
Pre-condition Status: Approved
Pre-condition Status: Approved
3.3.44
Realizar escrutinio municipal
Responsabilidades (requerimientos)
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) - (Proposed, High difficulty) Restricciones : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) : (Post-condition, Status is Approved)
Basic Path Basic Path: 1 Se traslada el arca triclave (equipos de cómputo utilizados durante la jornada electoral de la registraduría) hasta el sitio elegido anticipadamente por el registrador para hacer 2 el escrutinio final. los poseedores de las llaves abren el arca triclave para dar inicio al escrutinio final (coloca los equipos en línea en el sitio final para auditar los resultados 3 almacenados durante la jornada electoral). el hecho de abrir el arca triclave representa haber dado inicio a la jornada post-elección y al servicio jornada post4 elección. Se reúnen dos jueces y el registrador en el sitio elegido para comenzar el 5 escrutinio. Durante el escrutinio puede estar un testigo para dar fe de la veracidad del 6 7 proceso. No hay un tiempo límite establecido para entregar el escrutinio final. Al tener los resultados finales del escrutinio, se deben publicar en 2 formularios: el E-24 y 8 el E-26. ambos formularios son diligenciados usando el sistema y deben estar con la 9 firma digital (validada mediante el login) de los 2 jueces y el registrador. después de diligenciarse e imprimirse los formularios, estos deben ser almacenados en una base 10 de datos creada por el sistema para almacenar estos registros. el testigo también puede firmar los formularios si él quiere generándole un usuario temporal con ciertas 11 restricciones. El formulario E-26 se publica en la registraduría municipal para que todo el mundo pueda observar los resultados finales.
Pre-condition
Status: Approved la
jornada
Pre-condition Status: Approved
Invariant Status: Approved
Post-condition Status: Approved
3.3.45
Realizar votación alcalde
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe almacenar solo un voto para alcalde por elector Restricciones : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) : (Post-condition, Status is Approved)
Pre-condition Status: Approved
Invariant Status: Approved
Post-condition
3.3.46
Realizar votación concejo
Status: Approved fue
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe almacenar solo un voto para concejo por elector Restricciones : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) : (Post-condition, Status is Approved)
Pre-condition Status: Approved
Invariant Status: Approved
Post-condition Status: Approved
3.3.47
Recibir certificado electoral
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el elector debe recibir un documento que ha sido generado por el sistema para certificar la votacion valida del elector en una mesa de votacion Restricciones : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved)
Pre-condition Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.48
Recibir certificado inscripción alcaldía
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) El sistema debe generar un certificado de validacion con los datos del candidato a la alcaldia registrado satisfactoriamente en la base de datos Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos Restricciones : (Invariant, Status is Approved) : (Post-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) Scenarios El aspirante a la Alcaldia requiere una prueba – Alternate Notes El aspirante a la Alcaldía requiere una prueba que su proceso de inscripción a la Alcaldía se ha realizado. Esto generalmente se hace para fines legales y sobre todo con el ánimo de saber por parte de un candidato que ya se ha hecho su inscripción en el sistema de tal suerte que éste pueda comenzar su campaña electoral con miras a iniciar su campaña para aspirar a la Alcaldía
Alternate Paths El aspirante a la Alcaldía requiere una prueba: El registrador genera un certificado de inscripción del candidato a la alcaldía donde dice
el partido y el lugar de inscripción de la candidatura. El candidato a la alcaldía recibe el certificado de inscripción que lo acredita como candidato apto para las próximas elecciones.
Invariant Status: Approved
Post-condition Status: Approved
Pre-condition Status: Approved
Invariant Status: Approved
3.3.49
Recibir certificado inscripción concejo
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) El sistema debe generar un certificado de validacion con los datos del candidato al concejo registrado satisfactoriamente en la base de datos Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos Restricciones : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) : (Invariant, Status is Approved)
Scenarios El aspirante el Consejo requiere una prueba – Alternate Notes El aspirante el Consejo requiere una prueba que su proceso de inscripción del consejo se ha
Scenarios realizado. Esto generalmente se hace para fines legales y sobre todo con el ánimo de saber por parte de un candidato que ya se ha hecho su inscripción en el sistema de tal suerte que éste pueda comenzar su campaña electoral con miras a iniciar su campaña para el consejo
Alternate Paths El aspirante el Consejo requiere una prueba: El registrador genera un certificado de inscripción del candidato al concejo donde dice el partido y el lugar de inscripción de la candidatura. El candidato al concejo recibe el certificado de inscripción que lo acredita como candidato apto para las próximas elecciones.
Pre-condition Status: Approved
Post-condition Status: Approved
Invariant Status: Approved
3.3.50
Recibir certificado inscripción electoral
Responsabilidades (requerimientos) (Proposed, Medium difficulty) el sistema debe generar un documento con el nombre del municipio, el numero de mesa y el lugar de votacion donde quedo registrado el elector
Restricciones : (Invariant, Status is Approved) Basic Path Básico: 1 el registrador genera un certificado de inscripción del elector donde dice la mesa y el 2 puesto en el cual va a votar. el elector recibe el certificado de inscripción donde dice el número de mes y lugar de votación.
Invariant Status: Approved
3.3.51
Registrar candidatos alcaldía
Responsabilidades (requerimientos) - (Proposed, Medium difficulty)
- (Proposed, Medium difficulty)
Restricciones : (Post-condition, Status is Approved) : (Invariant, Status is Approved) : (Invariant, Status is Approved) : (Pre-condition, Status is Approved) Scenarios Basico - Basic Path Notes el candidato a la alcaldia se dirige a la registraduria donde presenta la carta de aval de algun partido politico para poder iniciar el proceso de inscripcion. La captura de datos la hace mediante un formulario de forma manual el registrador o un auxiliar. Luego de registrar el candidato a la alcaldia, automaticamente le entregan un certificado de inscripcion. modificacion – Alternate Notes Si el candidato a la alcaldia despues de registrado sufre algun evento que lo halla hecho cambiar alguno de los datos registrados y se encuentra en el tiempo habil para modificacion se dirige nuevamente a la registraduria, y le da al registrador los datos previos y los datos que va a cambiar de su inscripcion, El registrador hace las modificaciones en el formulario y le entrega un nuevo certificado de inscripcion al candidato a la alcaldia.
Basic Path Básico: 1 el candidato a la alcaldía se dirige a la registraduría donde presenta la carta de aval 2 de algún partido político. El registrador o un auxiliar hace la captura de datos mediante un formulario web o un software que almacene esa información en una base 3 de datos. Luego de registrar el candidato a la alcaldía, automáticamente le entregan un certificado de inscripción. Alternate Paths modificación: El candidato debe estar previamente inscrito. Si el candidato a la alcaldía después de registrado sufre algún evento que lo haya hecho cambiar alguno de los datos registrados y se encuentra en el tiempo hábil para modificación se dirige nuevamente a la registraduría. El registrador toma los datos previos y los datos que va a cambiar de su inscripción. El registrador hace las modificaciones en el formulario. El registrador
Responsabilidades (requerimientos) entrega un nuevo certificado de inscripción al candidato a la alcaldía. .
Post-condition Status: Approved
Invariant Status: Approved
Invariant
Status: Approved tener
Pre-condition Status: Approved
3.3.52
Registrar candidatos concejo
Responsabilidades (requerimientos) - (Proposed, Medium difficulty)
- (Proposed, Medium difficulty) Requisitos -cosas que el caso de uso debe permitir hacer al usuario, tales como , , etc.
Restricciones : (Post-condition, Status is Approved) Restricciones -reglas acerca de qué se puede y qué no se puede hacer-. Incluye: Pre-condiciones que deben ser verdaderas antes de que el caso de uso se ejecute, por ejemplo debe preceder a Post-condiciones que deben ser verdaderas una vez que el caso de uso se ejecutó, por ejemplo invariantes: éstas son siempre verdaderas -por ejemplo, un pedido debe tener siempre un número de cliente. : (Invariant, Status is Approved) : (Invariant, Status is Approved)
Restricciones : (Pre-condition, Status is Approved)
Basic Path básico: 1 el candidato se dirige a la registraduría donde presenta la carta de aval de algún 2 partido político. El registrador o un auxiliar hace la captura de datos mediante un 3 formulario web o un software que almacene esa información en una base de datos. Luego de registrar al candidato, automáticamente le entregan un certificado de inscripción. Alternate Paths modificación: El candidato tiene que estar previamente inscrito. Si el candidato después de registrado sufre algún evento que lo haya hecho cambiar alguno de los datos registrados y se encuentra en el tiempo hábil para modificación se dirige nuevamente a la registraduría. El registrador toma los datos previos y los datos que va a cambiar de su inscripción. El registrador hace las modificaciones en el formulario. El registrador entrega un nuevo certificado de inscripción al candidato. .
Post-condition Status: Approved Restricciones -reglas acerca de qué se puede y qué no se puede hacer-. Incluye: Pre-condiciones que deben ser verdaderas antes de que el caso de uso se ejecute, por ejemplo debe preceder a Post-condiciones que deben ser verdaderas una vez que el caso de uso se ejecutó, por ejemplo invariantes: éstas son siempre verdaderas -por ejemplo, un pedido debe tener siempre un número de cliente.
Invariant Status: Approved
Invariant
Status: Approved tener
Pre-condition Status: Approved
3.3.53
Registrar elector en mesa
Proceso mediante el cual se da validez a la inscripción del elector
Responsabilidades (requerimientos) - (Proposed, High difficulty) el sistema debe permitir a cualquier elector registrar sus datos personales (cedula, direccion, nombre y número celular) solo en una mesa de votacion, en un municipio y en un departamento Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) : (Invariant, Status is Approved)
Basic Path Básico: 1 el registrador o auxiliar toma los datos del elector en un formulario. valida los datos anotados versus la cedula del elector.
Pre-condition Status: Approved
Post-condition Status: Approved
Invariant
Status: Approved
2
el registrador
3.3.54
tener
Registrar mesas de votación del municipio
Responsabilidades (requerimientos) - (Approved, Medium difficulty) el sistema debe registrar en la base de datos la cantidad de mesas definidas por el registrador para permitir sobre esas mesas el registro de los electores Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos Restricciones : (Invariant, Status is Approved) : (Post-condition, Status is Approved) : (Precondition, Status is Approved) : (Invariant, Status is Approved)
Basic Path Básico: 1 2 el registrador o auxiliar registra los electores en la respectiva mesa. el auxiliar genera un informe donde presenta la totalidad de mesas que se completaron y las que se crearon dado el caso que hubiera más gente a la estimada previamente.
Invariant Status: Approved
Post-condition Status: Approved
Pre-condition Status: Approved
Invariant Status: Approved
3.3.55
Trasladar los votos (arca triclave)
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe generar un reporte con el numero de candidatos a la alcaldia inscritos cada dia (durante las fechas de inscripcion) y al momento del cierre de inscripciones Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos Restricciones : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) : (Invariant, Status is Approved) : (Invariant, Status is Approved)
Scenarios La registraduría debe entregar este informe a la oficina de control interno como uno de los requisitos para verificar el cierre del proceso de cierre del proceso preelectoral - Basic Path Notes Una de las cosas que debe entregar la Registraduría al Consejo electoral es la validación del número de candidatos a la alcaldía registrados. En caso que se desea hacer seguimiento al proceso de validación posterior - Alternate Notes En caso que se desea hacer seguimiento al proceso de validación posterior se debe poder almacenar este seguimiento en una vitácora para posibles recuperaciones del sistema
En caso que se presente algún problema con la inscripción de candidatos a la alcaldia se debe poder mostrar el proceso que siguió para invalidar el candidatos a la Alcaldía - Alternate Notes En caso que se preente algún problema con la inscripción de candidatos a la Alcaldía se debe poder mostrar el proceso que siguió para validar el número de dandidatos a la Alcaldía. Es posible entonces que este proceso tenga unos parámetros que se puedan modificar de una elección a otra, lo que sí es seguro es que una vez creado el proceso electoral el sistema no se compromete a dar esta flexibildiad, sino una vez se ha creado el proceso electoral con
Scenarios unos parámetros estos son los que se trabajarán durante el proceso electoral, si se requiere modificar estos parámetros se tendrá que crear otro proceso electoral con nuevos parámetros. El registrador puede pedir validacion parcial por dia durante la jornada de inscripcion - Alternate Notes
Basic Path Basic Path: 1 Después de realizado el conteo preliminar, se deposita la totalidad de los votos que se 2 encuentran en las urnas de cartón en una caja fuerte. esta caja fuerte se cierra con 3 candados para poderla trasladar del lugar de votación al lugar donde se va a hacer el 3 escrutinio final. las llaves de los candados la tienen: el alcalde, el registrador y un juez de la república.
3.3.56
Validar el número de candidatos a la alcaldía registrados
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) el sistema debe generar un reporte con el numero de candidatos al concejo inscritos cada dia (durante las fechas de inscripcion) y al momento del cierre de inscripciones Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos
Restricciones : (Invariant, Status is Approved) : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) : (Invariant, Status is Approved)
Scenarios El registrador puede pedir validacion parcial por dia durante la jornada de inscripcion - Alternate Notes
En caso que se desea hacer seguimiento al proceso de validación posterior - Alternate Notes En caso que se desea hacer seguimiento al proceso de validación posterior se debe poder almacenar este seguimiento en una vitácora para posibles recuperaciones del sistema
Scenarios En caso que se presente algún problema con la inscripción de candidatos a la alcaldia se debe poder mostrar el proceso que siguió para invalidar el candidatos al concejo - Alternate Notes En caso que se preente algún problema con la inscripción de candidatos al consejo electoral se debe poder mostrar el proceso que siguió para validar el número de dandidatos al consejo. Es posible entonces que este proceso tenga unos parámetros que se puedan modificar de una elección a otra, lo que sí es seguro es que una vez creado el proceso electoral el sistema no se compromete a dar esta flexibildiad, sino una vez se ha creado el proceso electoral con unos parámetros estos son los que se trabajarán durante el proceso electoral, si se requiere modificar estos parámetros se tendrá que crear otro proceso electoral con nuevos parámetros. La registraduría debe entregar este informe a la oficina de control interno como uno de los requisitos para verificar el cierre del proceso de cierre del proceso preelectoral - Basic Path Notes Una de las cosas que debe entregar la Registraduría al Consejo electoral es la validación del número de candidatos al consejo registrados.
Basic Path La registraduría debe entregar este informe a la oficina de control interno como uno de los requisitos para verificar el cierre del proceso de cierre del proceso preelectoral: 1 2 las inscripciones para la alcaldía han sido cerradas. el registrador verifica que los 3 datos almacenados cumplan con los requisitos definidos por la registraduría nacional. el registrador mediante el sistema genera un formato final donde salga el nombre de cada uno de los candidatos a la alcaldía inscritos, el partido al cual pertenece cada candidato y la totalidad de inscritos por alcaldía. Alternate Paths En caso que se desea hacer seguimiento al proceso de validación posterior: En caso que se presente algún problema con la inscripción de candidatos a la alcaldía se debe poder mostrar el proceso que siguió para invalidar el candidatos a la Alcaldía: 2 (at ) El registrador revisa la validez del registro de cada candidato en la base de datos. Si se presenta alguna anomalía, el registrador tendrá los permisos respectivos para borrar el registro del candidato. Automáticamente se debe generar un registro de control de eliminación del registro y una nota con la explicación. El registrador puede pedir validación parcial por día durante la jornada de inscripción: 1 (at )
Pre-condition Status: Approved
Post-condition Status: Approved
Invariant Status: Approved
Invariant Status: Approved
3.3.57
Validar el número de candidatos al concejo registrados
Responsabilidades (requerimientos) - (Proposed, High difficulty) el sistema debe generar un reporte con el numero de electores inscritos cada dia (durante las fechas de inscripcion) y al momento del cierre de inscripciones. Ademas verificar que el elector solo este registrado una vez en el municipio Primer requerimiento de Sistema - (Proposed, Medium difficulty) Haber Inciado el proceso Inscripciones candidatos Restricciones : (Pre-condition, Status is Approved) : (Postcondition, Status is Approved)
Basic Path La registraduría debe entregar este informe a la oficina de control interno como uno de los requisitos para verificar el cierre del proceso de cierre del proceso preelectoral: 1 2 las inscripciones para el concejo han sido cerradas. el registrador verifica que los 3 datos almacenados cumplan con los requisitos definidos por la registraduría nacional. el registrador mediante el sistema genera un formato final donde salga el nombre de cada uno de los candidatos al concejo inscritos, el partido al cual pertenece cada candidato y la totalidad de inscritos por concejo. Alternate Paths El registrador puede pedir validación parcial por día durante la jornada de inscripción: En caso que se desea hacer seguimiento al proceso de validación posterior: En caso que se presente algún problema con la inscripción de candidatos a la alcaldía se debe poder mostrar el proceso que siguió para invalidar el candidatos al concejo: 2 (at ) El registrador revisa la validez del registro de cada candidato en la base de datos. Si se presenta alguna anomalía, el registrador tendrá los permisos respectivos para borrar el registro del candidato. Automáticamente se debe generar un registro de control de eliminación del registro y una nota con la explicación.
Invariant Status: Approved
Pre-condition Status: Approved
Post-condition Status: Approved
Invariant Status: Approved
3.3.58
Validar el número de electores inscritos aptos para votar
Basic Path Básico: 1 El registrador municipal declara el cierre de la jornada de inscripciones de cedulas 2 para las próximas elecciones. El registrador realiza validación de las listas entregadas 3 por el auxiliar. el registrador municipal envía estas listas a la registraduría nacional para habilitar la votación de esos electores.
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.59
Validar el número de mesas para las votaciones
Basic Path Básico: 1 El registrador municipal declara el cierre de la jornada de inscripciones de cedulas 2 para las próximas elecciones. El registrador realiza validación de las mesas 3 registradas por el auxiliar. el registrador municipal envía estas listas a la registraduría nacional para que envíen la totalidad de mesas registradas.
Pre-condition Status: Approved
Post-condition Status: Approved
3.3.60
Verificar al elector en el registro de la mesa
Responsabilidades (requerimientos) (Proposed, High difficulty) el sistema debe permitir la verificacion del elector mediante la cedula de en que mesa y puesto de votacion le toca
Scenarios en caso de no encontrarse registrado, lo envia a alguno de los puestos habilitados por la registraduria para informacion del sitio de votacion. Claramente, no le entrega ningun tarjeton electoral ni le debe generar ningun certificado - Alternate Notes
Basic Path Basic Path: 1 2 el jurado recibe la cedula del elector. el jurado revisa dentro de las planillas entregadas por la registraduría para esa mesa si se encuentra el elector inscrito en ese 3 lugar. en caso de estar registrado, le entrega los tarjetones para que realice la votación. Alternate Paths En caso de no encontrarse registrado, lo envía a alguno de los puestos habilitados por la registraduría para información del sitio de votación. Claramente, no le entrega ningún tarjetón electoral ni le debe generar ningún certificado:
3.3.61
Verificar la calidad del escrutinio
Responsabilidades (requerimientos)
Responsabilidades (requerimientos) - (Proposed, High difficulty)
Restricciones : (Pre-condition, Status is Approved) : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) el testigo solo puede ver el proceso que hace el registrador y los jueces, y en ningun momento puede interactuar el con los votos : (Postcondition, Status is Approved) el testigo da fe de la calidad de los datos ingresados en los formularios e-24 y e-26, y puede firmar en los formularios como testigo
Basic Path Basic Path: 1 2 el testigo se presenta en el sitio elegido para el escrutinio final. el registrador hace 3 anotación de los datos del testigo. el testigo puede presenciar todo el proceso de 4 conteo, pero no puede participar de él. Al final del escrutinio, el testigo puede dar su fe de la veracidad del escrutinio firmando el formulario E-24 y E-26 como prueba de eso.
Pre-condition Status: Approved
Pre-condition Status: Approved
Invariant Status: Approved el testigo solo puede ver el proceso que hace el registrador y los jueces, y en ningún momento puede interactuar el con los votos Post-condition Status: Approved
el testigo da fe de la calidad de los datos ingresados en los formularios e-24 y e-26, y puede firmar en los formularios como testigo
3.3.62
Vigilar las votaciones
Responsabilidades (requerimientos) - (Proposed, High difficulty) el sistema debe permitir la revision de como va el proceso electoral en cualquier momento Restricciones : (Pre-condition, Status is Approved) : (Post-condition, Status is Approved) : (Post-condition, Status is Approved) : (Invariant, Status is Approved)
Pre-condition Status: Approved
Post-condition Status: Approved
Post-condition Status: Approved
Invariant Status: Approved
3.3.63
Modificar inscripción concejo
Responsabilidades (requerimientos) - (Proposed, Medium difficulty) El sistema debera permitir al administrador o registrador modificar los registros de un candidato al concejo siempre y cuando este en el tiempo habilitado por la registraduria para hacerlo
Restricciones : (Pre-condition, Status is Approved) : (Invariant, Status is Approved) : (Post-condition, Status is Approved) : (Pre-condition, Status is Approved)
Basic Path Básico: 1 2 el candidato al concejo debe haberse inscrito previamente. el candidato tiene un 3 evento que genera un cambio importante en la información entregada anteriormente. el candidato se moviliza a la registraduría municipal donde está inscrito para entregar la 4 nueva información al registrador o al auxiliar. el candidato recibe un certificado que valida los cambios y le permite seguir estando activo en la lista de candidatos al concejo.
Pre-condition Status: Approved
Invariant Status: Approved
Post-condition Status: Approved Pre-condition Status: Approved
4. Atributos de Calidad En éste punto se establecerán los atributos de calidad que se deben cumplir. Se tienen en cuenta también los requerimientos no funcionales que plantea Gritzalis [2].
4.1. Seguridad
Un elector no registrado no debe estar habilitado para acceder al sistema de votación. o Un elector debe estar habilitado para votar solo una vez o La privacidad del voto tiene que garantizarse durante la selección, transferencia y recepción, almacenamiento y conteo de los votos Ningún elector debe estar habilitado para probar por quien ni en qué forma voto o Ninguno de los participantes involucrados en el proceso (organizadores, oficiales electorales, encargados, auxiliares, registradores, jurados, testigos, electores, candidatos, etc.) debe estar habilitado para relacionar un voto con la identidad del votante que lo realizo Cada voto debe ser almacenado como se selecciono en el momento de la ejecución sin alteraciones o Cada votante debe estar seguro de que se haga un nuevo proceso ("borrón y cuenta nueva") del sistema para garantizar la igualdad, la confianza y reducir al mínimo la manipulación del sistema El total de votos contados deben corresponder a la totalidad de votos ingresados. Las operaciones del sistema deben ser auditadas El ingreso de un usuario al sistema debe ser a través de una comprobación de identidad El sistema no puede ser reconfigurando durante ninguna operación. El acceso a la base de datos para el conteo de los votos está prohibido hasta después de cerrar la jornada electoral. Ningún voto ejecutado puede ser almacenado después de cerrada la jornada electoral El sistema debe permitir ser abierto para inspecciones independientes y auditorias El sistema debe estar protegido contra ataques maliciosos a sus servicios como contra servicios accidentales externos El sistema debe usar alguna forma de encriptación para el envió de los votos desde los web services hacia la base de datos Todos los datos y la información debe ser almacenada en medios de almacenamiento seguros
4.2. Usabilidad El sistema debe evitar que el usuario no sienta desorientación al acceder al mismo. A su vez que la información que el usuario necesita, la pueda acceder de una manera más intuitiva por medio de interfaces sencillas; para apoyar este aspecto el sistema debe contar con manuales de ayuda en línea o físicos. El sistema debe ser sencillo e intuitivo para usuarios no expertos
4.3. Escalabilidad El sistema debe permitir el acople de nuevos módulos o de servicios para mantener funcional el sistema, éste proceso debe ser transparente para el usuario final.
4.4. Persistencia Se debe registrar todo ingreso del usuario al sistema desde su registro y la interacción que tenga con éste.
4.5. Privacidad
Privacidad de los datos de los usuarios del sistema
Comunicaciones: La información relativa a cualquiera de las funciones antes mencionadas debe ser privada, incluso si se transmite a través de redes públicas [2]
4.6. Rendimiento
El sistema debe tener la Capacidad de gestionar 32 votos por segundo (donde 32 es el número de mesas en el municipio
4.7. Interfaz de usuario
Claridad: debe quedar claro el sentido de voto del usuario de un solo vistazo. Control: el usuario debe poder controlar la funcionalidad del sistema (principalmente informarse, votar y delegar)
4.8. Fiabilidad
Disponibilidad de los servidores debe ser del 98% durante las jornadas de inscripción, votación y escrutinio
El sistema debe tener una tolerancia a fallos del 98% durante el tiempo de ejecución
El sistema debe permitir al usuario verificar el ingreso de su voto y almacenamiento del mismo antes de cerrar el proceso
4.9. Acción anormal
El sistema debe tratar adecuadamente la interacción anormal o inesperada de entrada de datos en todas las funciones de manera tal que la funcionalidad del sistema se conserve y ninguna información específica de sistema/aplicación se dé a conocer [2]. El sistema debe tener procesos de recuperación de errores en tiempo real, donde el tiempo máximo para la recuperación debe ser de 2 minutos.
4.10. Integridad
Los usuarios deben administrar el sistema único de terminales específicos, dentro de una ventana de tiempo predefinido, utilizando una combinación de medios de autenticación fuerte, como la biometría o tarjetas inteligentes. Los componentes mínimos necesarios de software y hardware deben ser instalados en los hosts del sistema de votación. El nivel máximo posible de mejora de la seguridad del sistema operativo se debe aplicar a todas las máquinas del sistema de votación. Debe ser imposible para un usuario escalar su/sus privilegios del sistema. Se debe permitir, bajo ciertas circunstancias de emergencia, modificar determinadas partes del sistema cuando está en uso. Las infracciones a la seguridad del cliente no debe tener un impacto en la seguridad del sistema [2].
4.11. Activos
Los activos de datos deben estar protegidos contra la divulgación no autorizada, la modificación no autorizada y la fabricación y la negación de acceso autorizado. Todos los activos de hardware deben estar protegidos de ser inutilizados, no disponibles, robados o perdidos. Todos los activos de software debe estar razonablemente protegidos de ser eliminados, perdidos, robados, modificados o fabricados. Las personas responsables de las operaciones vitales del sistema deben ser cuidadosamente seleccionados.
BIBLIOGRAFIA [1] Booch, G., Rumbaugh J., Jacobson I. “El lenguaje unificado de modelado”. 2da edición. Casos de uso - Capítulo 17. Pp: 243 – 257. 2000. [2] Gritzalis, D. “Principles and requeriments for a secure e-voting system”. Computers & Security Vol 21. Issue 6. Pp:539–56. 2002.