The current e-government scenario presents mature technology oriented implementations of services, which nevertheless are not used as expected by citizens. In this paper we elaborate on e-Government Digital Services quality improvement and on how it could be possible to increase service usage. In particular to address this issue we have developed a quality framework and a novel approach binding user-friendly notation and formal verification techniques. It is possible then to automatically verify the quality level reached by a defined Business Process, related to digital service delivery, with respect to the quality framework. The approach has been implemented in a plug-in for the Eclipse platform and it has been applied to real case studies. In this paper we report and discuss the results we obtained from the conducted experiments.
Improving e-Government Business Processes Applying Formal Verification
CORRADINI, Flavio;POLINI, Andrea;POLZONETTI, Alberto;RE, Barbara
2010-01-01
Abstract
The current e-government scenario presents mature technology oriented implementations of services, which nevertheless are not used as expected by citizens. In this paper we elaborate on e-Government Digital Services quality improvement and on how it could be possible to increase service usage. In particular to address this issue we have developed a quality framework and a novel approach binding user-friendly notation and formal verification techniques. It is possible then to automatically verify the quality level reached by a defined Business Process, related to digital service delivery, with respect to the quality framework. The approach has been implemented in a plug-in for the Eclipse platform and it has been applied to real case studies. In this paper we report and discuss the results we obtained from the conducted experiments.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
