ICIC   25583
INSTITUTO DE CIENCIAS E INGENIERIA DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
HLMC: A Hybrid Logic Tool for Model Checking in Verification of Administrative Processes
Autor/es:
ANCA GORON; CARLOS IVÁN CHESÑEVAR
Lugar:
Montevideo
Reunión:
Conferencia; ICEGOV 2016; 2016
Institución organizadora:
AGESIC / United Nations Univ.
Resumen:
Nowadays, public services can be modeled, analyzed and implemented using notations and tools for the business process (BP) abstraction. Applying such an approach allows public administrations (PAs) to better react to the undergoing transformation in service provisioning, improving service quality in order to satisfy citizens and business requests while coping with decreasing budgets. This paper introduces a novel approach to verifying administrative processes based on HLMC, a hybrid logic model checker