Abstract
Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypothesis this situation can be justified since defined service delivery processes do not sufficiently take into account social aspects and mainly focus just on technical aspects. Domain knowledge, related to how delivering high quality e-Government Digital Services, remains in most of the case in the mind of e-government stakeholders.
To address these issues we have developed a quality framework to assess delivery process strategies of services. Moreover we have introduced a user-friendly approach permitting to assess, using formal verification techniques, a delivery process with respect to the defined quality framework. The approach has been also implemented in a plug-in for the Eclipse platform and it has been applied to real case scenarios from the Public Administration domain.
In this paper we report and discuss the results we obtained from the conducted experiments. First of all the experiments provided encouraging results confirming that the approach we developed is applicable to the e-government domain. Moreover we discovered that delivery processes, defined for the services under study, reach low quality marks with respect to the framework.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Corradini, F., Hinkelmann, K., Polini, A., Polzonetti, A., Re, B.: C2ST: a quality framework to evaluate e-government service delivery. In: 8th International Conference EGOV 2009, Proceedings of ongoing research, project contributions and workshops, Linz, Austria, pp. 74–84 (2009)
Corradini, F., Polini, A., Polzonetti, A., Re, B.: Business processes verification for e-gov service delivery. Information Systems Management journal (to appear)
Layne, K., Leeb, J.: Developing fully functional e-government: a four stage model. Government Information Quarterly 18(2), 122–136 (2001)
Janssen, M., Kuk, G., Wagenaar, R.W.: A survey of web-based business models for e-government in the netherlands. Government Information Quarterly 25(2), 202–220 (2008)
Janssen, M., Kuk, G.: E-government business models for public service networks. International Journal of Electronic Government Research 3(3), 54–71 (2007)
Davies, J., Janowski, T., Ojo, A.K., Shukla, A.: Technological foundations of electronic governance. In: Janowski, T., Pardo, T.A. (eds.) ICEGOV. ACM International Conference Proceeding Series, vol. 232, pp. 5–11. ACM Press, New York (2007)
Morimoto, S.: A survey of formal verification for business process modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol. 5102, pp. 514–522. Springer, Heidelberg (2008)
Wong, P.Y.H., Gibbons, J.: A process-algebraic approach to workflow specification and refinement. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 51–65. Springer, Heidelberg (2007)
Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using petri nets. Online (2007)
Ye, J., Sun, S., Song, W., Wen, L.: Formal semantics of BPMN process models using YAWL. In: 2007 Workshop on Intelligent Information Technology Applications, vol. 2, pp. 70–74 (2008)
Wynn, M., Verbeek, H., van der Aalst, W., ter Hofstede, A., Edmond, D.: Business process verification - finally a reality? Business Process Management Journal 15(1), 74–92 (2009)
Farrell, A.D., Sergot, M.J., Bartolini, C.: Formalising workflow: a CCS-inspired characterisation of the YAWL workflow patterns. Group Decision and Negotation 16(3), 213–254 (2007)
Zhao, L., Li, Q., Liu, X., Du, N.: A modeling method based on CCS for workflow, pp. 376–384 (2009)
Lindsay, A., Downs, D., Lunn, K.: Business processes–attempts to find a definition (Special Issue on Modelling Organisational Processes). Information and Software Technology 45(15), 1015–1019 (2003)
Harmon, P.: Business Process Change - A guide tor Business Manager and BPM and Six Sigma Professionals. Horgan Kaufmann, San Francisco (2004)
White, S.A., Miers, D.: BPMN Modeling and Reference Guide Understanding and Using BPMN. Future Strategies Inc. (2008)
Hoare, C.A.R.: Communicating Sequential Processes. Prentis (2004)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. In: Hardcover (2000)
Sun, J., Liu, Y., Dong, J.S.: Model checking CSP revisited: introducing a Process Analysis Toolkit. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. Communications in Computer and Information Science, vol. 17, pp. 307–322. Springer, Heidelberg (2008)
zur Muehlen, M., Recker, J.: How much language is enough? Theoretical and practical use of the business process modeling notation. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 465–479. Springer, Heidelberg (2008)
Re, B.: Quality of Digital e-Government Services. PhD thesis, School of Advances Studies – University of Camerino (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 IFIP International Federation for Information Processing
About this paper
Cite this paper
Corradini, F., Falcioni, D., Polini, A., Polzonetti, A., Re, B. (2010). Designing Quality Business Processes for E-Government Digital Services. In: Wimmer, M.A., Chappelet, JL., Janssen, M., Scholl, H.J. (eds) Electronic Government. EGOV 2010. Lecture Notes in Computer Science, vol 6228. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14799-9_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-14799-9_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14798-2
Online ISBN: 978-3-642-14799-9
eBook Packages: Computer ScienceComputer Science (R0)