Skip to main content

Livelock and Deadlock Detection for PA Inter-organizational Business Processes

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNISA,volume 7452)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. European Commission: European Interoperability Framework (EIF) Towards Interoperability for European Public Services (2011)

    Google Scholar 

  2. Commission: 5th ministerial egovernment conference. Ministerial Declaration on eGovernment (2009)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. Niehaves, B., Plattfaut, R.: Collaborative business process management: status quo and quo vadis. Business Process Management Journal 17(3), 384–402 (2011)

    CrossRef  Google Scholar 

  5. 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)

    CrossRef  Google Scholar 

  6. Lindsay, A., Downs, D., Lunn, K.: Business process – attempts to find a definition. Information and Software Technology 45, 1015–1019 (2003)

    CrossRef  Google Scholar 

  7. 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)

    CrossRef  Google Scholar 

  8. Object Management Group: Business Process Model And Notation (BPMN) Version 2.0 (2011)

    Google Scholar 

  9. Mendling, J.: Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness. Springer (2008)

    Google Scholar 

  10. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)

    CrossRef  Google Scholar 

  11. 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)

    Google Scholar 

  12. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. Hardcover (2000)

    Google Scholar 

  13. 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)

    CrossRef  Google Scholar 

  14. McMillan, K.: Symbolic model checking: an approach to the state explosion problem. Technical report, DTIC Document (1992)

    Google Scholar 

  15. Hack, M.: Decidability questions for Petri nets. Garland Publishing, New York (1975)

    Google Scholar 

  16. Esparza, J., Heljanko, K.: Unfoldings: a partial-order approach to model checking. Springer, New York (2008)

    MATH  Google Scholar 

  17. Karp, R., Miller, R.: Parallel program schemata. Journal of Computer and System Sciences 3(2), 147–195 (1969)

    CrossRef  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)