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.
2010
9783906129594
273
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/233097
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact