Abstract
The definition or redesign of Public Administration (PA) procedures is particularly challenging. This is, for example, due to the requirement of cooperation of different organizational units and actors, different laws and procedures for the production of several artifacts, and maintaining traceability while integrating processes with new laws.
We are interested in business process modeling and re-engineering (BPR) for PA, where ICT can play a pivotal role by, e.g., improving communication among law-makers and process analysts. With regard to this previously we developed a tool called VLPM. The tool is designed to provide assistance in BPR for PA, which allows traceability between laws and processes. In this paper, we discuss the extension of the tool and of its methodology to support an integrated environment that can be used for better law and process re-design by performing formal analysis on the processes. We discuss its system components and provide a working example taken from the Italian Immigration law, as a proof of concept.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
David, G., Wastell, P., White, P.: A Methodology for Business Process Redesign: Experiences and Issues. Journal of Strategic Information Systems 3, 23–40 (1994)
Alpar, P., Olbrich, S.: Legal Requirements and Modelling of Processes in e-Government. Electronic Journal of e-Government 3 (2005)
Xenakis, A., Macintosh, A.: Using Business Process Re-engineering (BPR) for the Effective Administration of Electronic Voting. The Electronic Journal of e-Government 3(2) (2005)
U.S.A. National Performance Review. Executive Summary — Creating a Government that Works Better and Costs Less (1993)
Willcocks, L., Currie, W., Jackson, S.: Radical Re-Engineering and Information Systems: Evidence from UK Public Services. In: Fifth European Conference in Information Systems, Cork (1997)
Thaens, M., Bekkers, V., van Duivenboden, H.: Business Process Redesign and Public Administration: a Perfect Match? In: Taylor, J.A., Snellen, I.T.M., Zuurmond, A. (eds.) Beyond BPR in Public Administration: An Institutional Transformation in an Information Age, pp. 15–36. IOS Press, Amsterdam (1997)
Greco, G., Guzzo, A., Pontieri, L.: Mining Hierarchies of Models: From Abstract Views to Concrete Specifications. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 32–47. Springer, Heidelberg (2005)
Lenz, R., Reichert, M.: IT Support for Healthcare Processes. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 354–363. Springer, Heidelberg (2005)
Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wohed, P.: On the Suitability of UML 2.0 Activity Diagrams for Business Process Modelling. In: Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2006), vol. 53 (2006)
Eshuis, R.: Symbolic Model Checking of UML Activity Diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1–38 (2006)
Ciaghi, A., Villafiorita, A., Mattioli, A.: VLPM: A Tool to Support BPR in Public Administration. In: ICDS, pp. 289–293. IEEE Computer Society, Los Alamitos (2009)
Object Managment Group. The Unified Modeling Language (UML2.0) Superstructure Specification. Technical report (2004)
Object Managment Group. Business Process Modeling Notation (BPMN). Technical report (2009)
Weldemariam, K., Villafiorita, A.: Formal Procedural Security Modeling and Analysis. In: CRiSIS 2008: Third International Conference on Risks and Security of Internet and Systems, Washington, DC, USA, pp. 249–254. IEEE, Los Alamitos (2008)
Lupo, C.: NormeinRete: a Federative Approach to On-line Legislation Access. In: International Conference Parliaments’ Information Management in Africa: Challenges and Opportunities of ICTs to Strengthen Democracy and Parliamentary Governance, Nairobi, Kenya (2005)
Lupo, C.: Formato per la rappresentazione elettronica dei provvedimenti normativi tramite il linguaggio di marcatura XML. Allegato tecnico alla Circolare 22 aprile 2002, n. AIPA/CR/40 (2002)
Reisig, W.: Petri Nets and Algebraic Specifications. Theor. Comput. Sci. 80(1), 1–34 (1991)
Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: NuSMV 2: An Open Source Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 359. Springer, Heidelberg (2002)
de Oliveira Lima, J.A., Palmirani, M., Vitali, F.: ‘HTTP” or ‘urn’ URIs for legal resources? How about both? In: Jurix 2007 Workshop on Legislative XML (2007)
Agnoloni, T., Francesconi, E., Spinosa, P.: XMLegesEditor: an OpenSource Visual XML Editor for supporting Legal National Standards. In: V Legislative XML Workshop, pp. 239–251 (2007)
Hsueha, N.-L., Shen, W.-H., Yanga, Z.-W., Yanga, D.-L.: Applying UML and software simulation for process definition, verification, and validation. Information and Software Technology 50, 897–911 (2008)
Hlupic, V.: Business Process Modelling Using Discrete Event Simulation: Potential Benefits And Obstacles For Wider Use. International Journal of Simulation: Systems, Science and Technology 4, 62–67 (2003)
Olbrich, S., Simon, C.: Process Modelling towards e-Government – Visualisation and Semantic Modelling of Legal Regulations as Executable Process Sets. Electronic Journal of e-Government 6 (2008)
Davies, J., Janowski, T., Ojo, A.K., Shukla, A.: Technological foundations of electronic governance. In: ICEGOV, pp. 5–11 (2007)
Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wohed, P.: On the Suitability of UML 2.0 Activity Diagrams for Business Process Modelling. In: Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2006), vol. 53 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Ciaghi, A., Villafiorita, A., Weldemariam, K., Mattioli, A., Phan, QS. (2010). Supporting Public Administration with an Integrated BPR Environment. In: Villafiorita, A., Saint-Paul, R., Zorer, A. (eds) E-Infrastructures and E-Services on Developing Countries. AFRICOMM 2009. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 38. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12701-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-12701-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12700-7
Online ISBN: 978-3-642-12701-4
eBook Packages: Computer ScienceComputer Science (R0)