Business processes verification for e-Government service delivery

Information Systems Management

Volumn 27, Issue 4, 2010, Pages 293-308

  Corradini, Flavio ^a   Polini, Andrea ^a   Polzonetti, Alberto ^a   Re, Barbara ^a  

^a UNIVERSITY OF CAMERINO   (Italy)

Author keywords

Business process; E government; Formal verification; Quality

Indexed keywords

AUTOMATIC VERIFICATION; BUSINESS PROCESS; E-GOVERNMENT; E-GOVERNMENT SERVICES; FORMAL VERIFICATIONS; INTEGRATED ENVIRONMENT; SEMI-FORMAL NOTATIONS; SERVICE-BASED APPLICATIONS;

HARDWARE; IMAGE QUALITY; INFORMATION SYSTEMS;

GOVERNMENT DATA PROCESSING;

EID: 77958513583     PISSN: 10580530     EISSN: None     Source Type: Journal    
DOI: 10.1080/10580530.2010.514164     Document Type: Article

References (42)

1. Baeten, J. C. M. (2005). A brief history of process algebra. Theoretical Computer Science, 335 (2-3):131-146.
2. Bavec, C. (2008). On stimulus for citizens' use of e-government services. In International Multiconference on Computer Science and Information Technology (pp. 391-395). Wisia.
3. Bergstra, J., & Klop, J. (1982). Fixed point semantics in process algebra. Technical Report IW 208, Amsterdam, Mathematical Centre.
4. Berntzen, L., & Olsen, M. G. (2009). Benchmarking e-government - a comparative review of three international benchmarking studies. In ICDS pp. 77-82. Cancun, Mexico: IEEE Computer Society.
5. Carnegie Mellon University-School of Computer Science (1998). SMV. Retrieved from http://www.cs.cmu.edu/~modelcheck/
6. Clarke, E. M., Grumberg, O., & Peled, D. A. (2000). Model Checking.
7. Colclough, G. (2007). The user challenge benchmarking the supply of online public services-7th measurement. Technical report, prepared by: Capgemini. European Commission Directorate General for Information Society and Media. Bruxelles.
8. Colclough, G., & Tinholt, D. (2009). Smarter, faster, better e-government - 8th benchmarking measurement. Technical report, prepared by: Capgemini, RAND Europe, IDC, SOGETI and DTi. European Commission Directorate General for Information Society and Media. Bruxelles.
9. Corradini, F., Falcioni, D., Polini, A., Polzonetti, A., & Re, B. (2009a). From bpmn to csp - toward business process verification for e-government service delivery. Technical report, University of Camerino, Camerino, Italy.
10. Corradini, F., Hinkelmann, K., Polini, A., Polzonetti, A., and Re, B. (2009b). C2ST: a quality framework to evaluate e-government service delivery. In M. Wimmer, H. J. School, M. Janssen, & R. Traunmüller (Eds.), 8th International Conference EGOV 2009, Proceedings of ongoing research, project contributions and workshops (pp. 74-84). Linz, Austria: Trauner.
11. Davies, J., Janowski, T., Ojo, A. K., & Shukla, A. (2007). Technological foundations of electronic governance. In T. Janowski, & T. A., Pardo, (Eds.), ICEGOV, volume 232 of ACM International Conference Proceeding Series, (pp. 5-11). ACM, Macao.
12. Dhillon, G., & Mishra, S. (2007). Information systems security governance research: A behavioral perspective. In 2nd Annual Symposium on Information Assurance.
13. Dijkman, R. M., Dumas, M., & Ouyang, C. (2007). Formal semantics and analysis of BPMN process models using petri nets. Retrieved from
14. Emerson, E. (1990). Temporal and modal logic, Handbook of theoretical computer science (vol. B): formal models and semantics (p. 9951072). Cambridge, MA.
15. Farrell, A. D., Sergot, M. J., & Bartolini, C. (2007). Formalising workflow: a CCS-inspired characterization of the YAWL workflow patterns. Group Decision and Negotation, 16 (3): 213-254.
16. Forster, A., Engels, G., Schattkowsky, T., & van der Straeten, R. (2007). Verification of business process quality constraints based on visual process patterns. In TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, pages 197- 208, Washington, DC, IEEE Computer Society.
17. Fu, X., Bultan, T., & Su, J. (2004). Analysis of interacting BPEL web services. In WWW '04: Proceedings of the 13th international conference on World Wide Web (pp. 621-630). New York, NY, ACM.
18. Hamadi, R., & Benatallah, B. (2003). A Petri net-based model for web service composition. In ADC '03: Proceedings of the 14th Australasian database conference (pp. 191-200). Darlinghurst, Australia, Australian Computer Society, Inc.
19. Harmon, P. (2004). Business Process Change-A guide tor Business Manager and BPM and Six Sigma Professionals. USA: Horgan Kaufmann.
20. Hoare, C. A. R. (2004). Communicating Sequential Processes. Prentis.
21. Holzmann, G. J. (1997). The model checker SPIN. IEEE Transactions on Software Engineering, 23 (5): 279-295.
22. Janssen, W., Mateescu, R., Mauw, S., Fennema, P., & Stappen, P. V. D. (1999). Model checking for managers. In D. Dams, R. Gerth, S. Leue &M.Massink (Eds.), Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking (pp. 92-107) London, UK, Springer-Verlag.
23. Lindsay, A., Downs, D., & Lunn, K. (2003). Business processes-attempts to find a definition. Information and Software Technology, 45 (15): 1015-1019.
24. Mendling, J. (2008). Metrics for Process Models. Germany: Springer.
25. Morimoto, S. (2008). A survey of formal verification for business process modeling. In ICCS '08: Proceedings of the 8th international conference on Computational Science, Part II (pp. 514-522) Berlin, Heidelberg, Springer.
26. Narayanan, S., & McIlraith, S. A. (2002). Simulation, verification and automated composition of web services. In WWW '02: Proceedings of the 11th international conference on World Wide Web (pp. 77-88). New York, NY, ACM.
27. Norris, P. (2001). Digital Divide Civic Engagement, Information Poverty, and the Internet Worldwide. Cambridge University Press.
28. Salaün, G., Bordeaux, L., & Schaerf, M. (2004). Describing and reasoning on web services using process algebra. In ICWS '04: Proceedings of the IEEE International Conference on Web Services (p. 43). Washington, DC, IEEE Computer Society.
29. Salem, F. (2007). Benchmarking the e-government bulldozer: beyond measuring the tread marks. Measuring Business Excellence, 11 (4): 9-22.
30. Stefansen, C. (2005). SMAWL: a SMAII Workflow Language based on CCS. In CAiSE Short Paper Proceedings.
31. Sun, J., Liu, Y., & Dong, J. S. (2008). Model checking CSP revisited: introducing a Process Analysis Toolkit. In T. Margaria, & B. Steffen, (Eds.), ISoLA, volume 17 of Communications in Computer and Information Science, (pp. 307-322). Berlin Heidelberg: Springer.
32. van der Aalst, W. M. P., & ter Hofstede, A. H. M. (2005). YAWL: Yet Another Workflow Language. Inf. Syst., 30 (4): 245-275.
33. Wauters, P., & Colclough, G. (2006). On-line availability of public services: How is europe progressing? Web based survey on electronic public services report of the 6th measurement June 2006. Technical report, Prepared by Capgemini. European Commission Directorate General for Information Society and Media. Bruxelles.
34. White, S. A., & Miers, D. (2008). BPMN Modeling and Reference Guide Understanding and Using BPMN. Future Strategies Inc.
35. Wohed, P., van der Aalst, W.M.P., Dumas, M., & ter Hofstede, A.H.M. (2003). Analysis of web services composition languages: the case of BPEL4WS. In I.-Y. Song, S. W., Liddle, T. W., Ling & Scheuermann, P. (Eds.), ER, volume 2813 of Lecture Notes in Computer Science (pp. 200-215). Berlin Heidelberg: Springer. Computer Science (pp. 200-215). Berlin Heidelberg: Springer.
36. Wong, P. Y. H., & Gibbons, J. (2007). A process-algebraic approach to workflow specification and refinement. In M. Lumpe &W. Vanderperren, Proceedings of 6th International Symposium on Software Composition, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers, volume 4829 of LNCS. (pp. 51-65) Berlin Heidelberg: Springer Verlag.
37. Wong, P. Y., & Gibbons, J. (2008a). A Process Semantics for BPMN. In S. Liu, T. Maibaum, & K. Araki (Eds.), Proceedings of 10th International Conference on Formal Engineering Methods., volume 5256 of LNCS. (pp. 355-374) Berlin Heidelberg: Springer Verlag. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf
38. Wong, P. Y. H., & Gibbons, J. (2008b). Verifying business process compatibility (short paper). In QSIC '08: Proceedings of the 2008 The Eighth International Conference on Quality Software (pp. 126-131). Washington, DC, IEEE Computer Society.
39. Wynn, M., Verbeek, H., van der Aalst, W., ter Hofstede, A., & Edmond, D. (2009). Business process verification finally a reality! Business Process Management Journal, 15 (1): 74-92.
40. Ye, J., Sun, S., Song, W., & Wen, L. (2008). Formal semantics of BPMN process models using YAWL. In IITA '08: Proceedings of the 2008 Second International Symposium on Intelligent Information Technology Application. (pp. 70-74) Washington DC: IEEE Computer Society.
41. Zhao, L., Li, Q., Liu, X., & Du, N. (2009). A modeling method based on CCS for workflow. In ICUIMC '09: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication. (pp. 376-384) New York: ACM.
42. zur Muehlen, M., & Recker, J. (2008). How much language is enough? Theoretical and practical use of the business process modeling notation. In Z., Bellahsene, & M. Léonard, (Eds.), CAiSE, volume 5074 of Lecture Notes in Computer Science (pp. 465-479). Berlin Heidelberg: Springer.