Business Processes Verification for e-Government Service Delivery

REFERENCES

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