Communicating sequential processes
Communicating sequential processes
Technological foundations of electronic governance
Proceedings of the 1st international conference on Theory and practice of electronic governance
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
Formal Semantics of BPMN Process Models Using YAWL
IITA '08 Proceedings of the 2008 Second International Symposium on Intelligent Information Technology Application - Volume 02
A modeling method based on CCS for workflow
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
Business Processes Verification for e-Government Service Delivery
Information Systems Management
Hi-index | 0.00 |
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.