Skip to main content
SpringerLink
Log in

Diagnosing Business Processes

  • Chapter
  • First Online:
Fault Diagnosis of Dynamic Systems

Abstract

Most of the organizations related to industrial manufacturing are process oriented. In order to facilitate their daily processes, enterprises use software, automating the execution order of their more frequent activities. Business Process Management Systems (BPMSs) have helped industry to orchestrate their tasks and recover every used information, combining knowledge from information technology area and management science to improve operational business processes (van der Aalst in Wiley encyclopedia of computer science and engineering. Wiley, New Jersey, 2008). Business Process Models (BPMs) are formed of tasks combined by means of a workflow that lets the achievement of a particular business goal (Weske in Business process management: concepts, languages, architectures. Springer-Verlag New York Inc., Secaucus, NJ, USA, 2007).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 139.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 179.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 179.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

References

  1. van der Aalst, W.: Formalization and verification of event-driven process chains. Inf. Softw. Technol. 41(10), 639–650 (1999). https://doi.org/10.1016/S0950-5849(99)00016-6

    Article  Google Scholar 

  2. van der Aalst, W.M.P.: Process-aware information systems: design, enactment, and analysis. Wiley Encyclopedia of Computer Science and Engineering. Wiley, New Jersey (2008)

    Google Scholar 

  3. Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 1–11. San Diego, California (1988)

    Google Scholar 

  4. de la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding all minimal unsatisfiable subsets. In: PPDP ’03: Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming, pp. 32–43. ACM Press (2003)

    Google Scholar 

  5. Borrego, D., Eshuis, R., Gómez-López, M.T.: Diagnosing correctness of semantic workflow models. Data Knowl. Eng. 87, 167–184 (2013). https://doi.org/10.1016/j.datak.2013.04.008

    Article  Google Scholar 

  6. Ceballos, R., Borrego, D., Gómez-López, M.T., Gasca, R.M.: Hybrid diagnosis applied to multiple instances in business processes. In: Enterprise, Business-Process and Information Systems Modeling - 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, 13–14 June 2016, Proceedings, pp. 212–227 (2016)

    Chapter  Google Scholar 

  7. Ceballos, R., Gasca, R.M., Valle, C.D., Toro, M.: Max-CSP approach for software diagnosis. In: IBERAMIA, pp. 172–181 (2002)

    Google Scholar 

  8. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13, 451–490 (1991)

    Article  Google Scholar 

  9. Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-33143-5

    Book  Google Scholar 

  10. Falcioni, D., Polini, A., Polzonetti, A., Re, B.: 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 (2012)

    Google Scholar 

  11. Gasca, R.M., Valle, C.D., Gómez-López, M.T., Ceballos, R.: Nmus: Structural analysis for improving the derivation of all muses in overconstrained numeric csps. In: CAEPIA, pp. 160–169 (2007)

    Google Scholar 

  12. Gómez-López, M.T., Borrego, D., Carmona, J., Gasca, R.M.: Computing alignments with constraint programming: The acyclic case. In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, 20–21 June 2016, pp. 96–110 (2016). http://ceur-ws.org/Vol-1592/paper07.pdf

  13. Gómez-López, M.T., Gasca, R.M., Pérez-Álvarez, J.M.: Compliance validation and diagnosis of business data constraints in business processes at runtime. Inf. Syst. 48, 26–43 (2015). https://doi.org/10.1016/j.is.2014.07.007

    Article  Google Scholar 

  14. Heravizadeh, M., Mendling, J., Rosemann, M.: Dimensions of business processes quality (QoBP). In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, 1–4 September 2008, pp. 80–91 (2008). https://doi.org/10.1007/978-3-642-00328-8_8

    Chapter  Google Scholar 

  15. Kalpic, B., Bernus, P.: Business process modelling in industry - the powerful tool in enterprise management. Comput. Ind. 47(3), 299–318 (2002). https://doi.org/10.1016/S0166-3615(01)00151-8

    Article  Google Scholar 

  16. OMG: Object Management Group, Business Process Model and Notation (BPMN) Version 2.0. OMG Standard (2011)

    Google Scholar 

  17. Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008). https://doi.org/10.1016/j.is.2007.07.001

    Article  Google Scholar 

  18. Sun, S.X., Zhao, J.L., Sheng, O.R.L.: Data flow modeling and verification in business process management. In: AMCIS Association for Information Systems (2004)

    Google Scholar 

  19. Sun, S.X., Zhao, J.L., Nunamaker, J.F., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Inf. Syst. Res. 17(4), 374–391 (2006)

    Article  Google Scholar 

  20. Wallace, R.J.: Directed arc consistency preprocessing. In: Constraint Processing. Selected Papers, pp. 121–137. Springer, London, UK (1995)

    Chapter  Google Scholar 

  21. Weske, M.: Business Process Management: Concepts, Languages. Architectures. Springer-Verlag New York Inc., Secaucus, NJ, USA (2007)

    Google Scholar 

Download references

Acknowledgements

This work has been partially funded by the Ministry of Science and Technology of Spain (TIN2015-63502-C3-2-R) and the European Regional Development Fund (ERDF /FEDER). We would like to thank SACU of the University of Seville for the valuable information that has contributed toward the development of the ideas in this chapter.

Author information

Authors and Affiliations

  1. Languages and Computer Systems Department, Universidad de Sevilla, Sevilla, Spain

    Diana Borrego & María Teresa Gómez-López

Authors
  1. Diana Borrego
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. María Teresa Gómez-López
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Diana Borrego .

Editor information

Editors and Affiliations

  1. Research Center for Supervision, Safety and Automatic Control (CS2AC), Universitat Politècnica de Catalunya (UPC), Terrassa, Spain

    Teresa Escobet

  2. Department of Computer Science, University of Valladolid, Segovia, Spain

    Anibal Bregon

  3. Department of Computer Science, University of Valladolid, Valladolid, Spain

    Belarmino Pulido

  4. Research Center for Supervision, Safety and Automatic Control (CS2AC), Universitat Politècnica de Catalunya (UPC), Terrassa, Spain

    Vicenç Puig

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Borrego, D., Gómez-López, M.T. (2019). Diagnosing Business Processes. In: Escobet, T., Bregon, A., Pulido, B., Puig, V. (eds) Fault Diagnosis of Dynamic Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-17728-7_16

Download citation

Publish with us

Policies and ethics

Search

Navigation