Abstract
The Public Administration domain is characterized by the dominance of inter-organizational Business Processes. These are a set of interrelated and sequential activities shared and executed by two or more Public Administration officies to achieve a business objective that is of value to citizens or companies in term of services. A Business Process results from the un-trivial integration of internal administration processes, so that structural problems such as livelock or deadlock may easily occur and in reality they are generally solved by involved civil servants. Nevertheless with the shift versus an electronic government this problem becomes particularly relevant. The paper presents a suitable approach for inter-organizational Business Process detection of livelock and deadlock situations. In particular, we introduce an approach to directly verify a Business Process modeled using the BPMN 2.0 semi-formal notation. The verification uses a state evaluation technique with an optimized unfolding algorithm considering specific BPMN 2.0 characteristics. A plug-in for the Eclipse platform has been also developed, which permits to have an integrated environment in which to design Business Process, using the Eclipse BPMN 2.0 Modeler, and to automatically verify it. The approach and the tool prototype have been successfully applied to real scenarios such as family reunion, grant citizenship and buoncer registration.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
European Commission: European Interoperability Framework (EIF) Towards Interoperability for European Public Services (2011)
Commission: 5th ministerial egovernment conference. Ministerial Declaration on eGovernment (2009)
Commission, E.: Communication from the commission to the european parliament, the council, the european economic and social committee of the region. a digital agenda for europe. Technical Report COM (2010) 245 final, European Union, Brussels (2010)
Niehaves, B., Plattfaut, R.: Collaborative business process management: status quo and quo vadis. Business Process Management Journal 17(3), 384–402 (2011)
Houy, C., Fettke, P., Loos, P., van der Aalst, W.M.P., Krogstie, J.: BPM-in-the-Large – Towards a Higher Level of Abstraction in Business Process Management. In: Janssen, M., Lamersdorf, W., Pries-Heje, J., Rosemann, M. (eds.) EGES/GISP 2010. IFIP AICT, vol. 334, pp. 233–244. Springer, Heidelberg (2010)
Lindsay, A., Downs, D., Lunn, K.: Business process – attempts to find a definition. Information and Software Technology 45, 1015–1019 (2003)
Roser, S., Bauer, B.: A categorization of collaborative business process modeling techniques. In: Seventh IEEE International Conference on E-Commerce Technology Workshops, pp. 43–51. IEEE, Los Alamitos (2005)
Object Management Group: Business Process Model And Notation (BPMN) Version 2.0 (2011)
Mendling, J.: Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness. Springer (2008)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)
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 (2007)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. Hardcover (2000)
Leroux, J.: Vector Addition System Reachability Problem: A Short Self-contained Proof. In: Dediu, A.-H., Inenaga, S., Martín-Vide, C. (eds.) LATA 2011. LNCS, vol. 6638, pp. 41–64. Springer, Heidelberg (2011)
McMillan, K.: Symbolic model checking: an approach to the state explosion problem. Technical report, DTIC Document (1992)
Hack, M.: Decidability questions for Petri nets. Garland Publishing, New York (1975)
Esparza, J., Heljanko, K.: Unfoldings: a partial-order approach to model checking. Springer, New York (2008)
Karp, R., Miller, R.: Parallel program schemata. Journal of Computer and System Sciences 3(2), 147–195 (1969)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Falcioni, D., Polini, A., Polzonetti, A., Re, B. (2012). Livelock and Deadlock Detection for PA Inter-organizational Business Processes. In: Kő, A., Leitner, C., Leitold, H., Prosser, A. (eds) Advancing Democracy, Government and Governance. EGOVIS/EDEM 2012. Lecture Notes in Computer Science, vol 7452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32701-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-32701-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32700-1
Online ISBN: 978-3-642-32701-8
eBook Packages: Computer ScienceComputer Science (R0)
