Voir la notice de l'article provenant de la source Numdam
Starting from late 90's the public administration has started to employ a quite relevant amount of its budget in developing ICT solutions to better deliver services to citizens. In spite of this effort many statistics show that the mere availability of ICT based services does not guarantee per se their usage. Citizens have continued to largely access services through “traditional” means. In our study we suggest that the highlighted situation is partly due to the fact that relevant domain dependent requirements, mainly related to the delivery process of e-government digital services, are often ignored in the development of e-government solutions. We provide here a domain related quality framework and encoded it in a set of formal statements, so that we can apply automatic verification techniques to assess and improve ICT solutions adopted by public administrations. The paper discusses both the defined quality framework and the tool chain we developed to enable automatic assessment of ICT solutions. The tool chain is based on a denotational mapping of business process modeling notation elements into process algebraic descriptions and to the encoding of quality requirements in linear temporal logic formulas. The resulting approach has been applied to real case studies with encouraging results.
@article{ITA_2012__46_2_203_0,
author = {Polini, Andrea and Polzonetti, Andrea and Re, Barbara},
title = {Formal {Methods} to {Improve} {Public} {Administration} {Business} {Processes}},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {203--229},
publisher = {EDP-Sciences},
volume = {46},
number = {2},
year = {2012},
doi = {10.1051/ita/2012002},
zbl = {1252.68195},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2012002/}
}
TY - JOUR AU - Polini, Andrea AU - Polzonetti, Andrea AU - Re, Barbara TI - Formal Methods to Improve Public Administration Business Processes JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2012 SP - 203 EP - 229 VL - 46 IS - 2 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/articles/10.1051/ita/2012002/ DO - 10.1051/ita/2012002 LA - en ID - ITA_2012__46_2_203_0 ER -
%0 Journal Article %A Polini, Andrea %A Polzonetti, Andrea %A Re, Barbara %T Formal Methods to Improve Public Administration Business Processes %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2012 %P 203-229 %V 46 %N 2 %I EDP-Sciences %U http://geodesic.mathdoc.fr/articles/10.1051/ita/2012002/ %R 10.1051/ita/2012002 %G en %F ITA_2012__46_2_203_0
Polini, Andrea; Polzonetti, Andrea; Re, Barbara. Formal Methods to Improve Public Administration Business Processes. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 46 (2012) no. 2, pp. 203-229. doi: 10.1051/ita/2012002
Cité par Sources :