Skip to main content
SpringerLink
Log in

Refactoring of Multi-instance BPMN Processes with Time and Resources

  • Conference paper
  • First Online:
Software Engineering and Formal Methods (SEFM 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14323))

Included in the following conference series:

  • 211 Accesses

Abstract

Business process optimisation is a strategic activity in organisations because of its potential to increase profit margins and reduce operational costs. In this paper, we focus on a specific technique used for process optimisation known as process refactoring. In this work, a process is described using BPMN extended with quantitative aspects for modelling execution times and resources associated with tasks. A process is not executed once but multiple times, and multiple concurrent executions of a process compete for using the shared resources. In this context, we propose a refactoring approach whose goal is to reduce the total execution time of the process and optimise the usage of the shared resources. To do so, we first analyse the given process in terms of task dependency and resource usage, and then rely on these results to restructure the process and return an optimal version of it. This process refactoring technique is fully automated by a tool that we implemented and applied on several examples for validation purposes.

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

References

  1. Bazhenova, E., Zerbato, F., Oliboni, B., Weske, M.: From BPMN process models to DMN decision models. Inf. Syst. 83, 69–88 (2019)

    Article  Google Scholar 

  2. Dijkman, R.M., Gfeller, B., Küster, J.M., Völzer, H.: Identifying refactoring opportunities in process model repositories. Inf. Softw. Technol. 53(9), 937–948 (2011)

    Article  Google Scholar 

  3. Durán, F., Falcone, Y., Rocha, C., Salaün, G., Zuo, A.: From static to dynamic analysis and allocation of resources for BPMN processes. In: Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, 2–3 April 2022, Revised Selected Papers, pp. 3–21. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-12441-9_1

  4. Durán, F., Rocha, C., Salaün, G.: Computing the parallelism degree of timed BPMN processes. In: Mazzara, M., Ober, I., Salaün, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 320–335. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-04771-9_24

  5. Durán, F., Rocha, C., Salaün, G.: Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT. In: Rusu, V. (ed.) WRLA 2018. LNCS, vol. 11152, pp. 76–97. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99840-4_5

  6. Durán, F., Rocha, C., Salaün, G.: A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. 183 (2019)

    Google Scholar 

  7. Durán, F., Rocha, C., Salaün, G.: A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. 183 (2019)

    Google Scholar 

  8. Durán, F., Rocha, C., Salaün, G.: Resource provisioning strategies for BPMN processes: specification and analysis using maude. J. Log. Algebraic Methods Program. 123, 100711 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  9. Durán, F., Salaün, G.: Optimization of BPMN processes via automated refactoring. In: Troya, J., Medjahed, B., Piattini, M., Yao, L., Fernández, P., Ruiz-Cortés, A. (eds.) Service-Oriented Computing: 20th International Conference, ICSOC 2022, Seville, 29 November– 2 December 2022, Proceedings, pp. 3–18. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-20984-0_1

  10. Eshuis, R., Gorp, P.V.: Synthesizing data-centric models from business process models. Computing 98(4), 345–373 (2016)

    Article  MathSciNet  Google Scholar 

  11. Falcone, Y., Salaün, G., Zuo, A.: Semi-automated modelling of optimized BPMN processes. In: Proceedings of SCC’21, pp. 425–430. IEEE (2021)

    Google Scholar 

  12. Falcone, Y., Salaün, G., Zuo, A.: Probabilistic model checking of BPMN processes at runtime. In: ter Beek, M.H., Monahan, R. (eds.) Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, 7–10 June 2022, Proceedings, pp. 191–208. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-07727-2_11

  13. Fernández-Ropero, M., Pérez-Castillo, R., Piattini, M.: Graph-based business process model refactoring. In: Proceedings of the 3rd Intenational Symposium on Data-Driven Process Discovery and Analysis, vol. 1027 of CEUR Workshop Proceedings, pp. 16–30 (2013)

    Google Scholar 

  14. Ivanchikj, A., Serbout, S., Pautasso, C.: From text to visual BPMN process models: design and evaluation. In: Proceedings of MoDELS’20, pp. 229–239. ACM (2020)

    Google Scholar 

  15. Kumar, A., Liu, R.: Business workflow optimization through process model redesign. In: Proceedings of TEM’22, LNCS, pp. 3068–3084. Springer, Cham (2022)

    Google Scholar 

  16. Nivon, Q.: Automated Tool for Multi-Instance BPMN Processes Optimisation (2023). https://github.com/KyriuDev/MultiInstancesRefactoring

  17. Nivon, Q., Salaün, G.: Debugging of BPMN processes using coloring techniques. In: Tapia Tarifa, S.L., Proença, J. (eds.) Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, 10–11 November 2022, Proceedings, pp. 90–109. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-20872-0_6

  18. Pérez-Castillo, R., Fernández-Ropero, M., Piattini, M.: Business process model refactoring applying IBUPROFEN: an industrial evaluation. J. Syst. Softw. 147, 86–103 (2019)

    Article  Google Scholar 

  19. Salaün, G.: Quantifying the similarity of BPMN processes. In: Proceedings of APSEC’22, pp. 1–10 (2022)

    Google Scholar 

  20. Silingas, D., Mileviciene, E.: Refactoring BPMN models: from ‘Bad Smells’ to best practices and patterns. In: BPMN 2.0 Handbook, pp. 125–134 (2012)

    Google Scholar 

  21. Valderas, P., Torres, V., Serral, E.: Modelling and executing IoT-enhanced business processes through BPMN and microservices. J. Syst. Softw. 184, 111139 (2022)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, F-38000, Grenoble, France

    Quentin Nivon & Gwen Salaün

Authors
  1. Quentin Nivon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gwen Salaün
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Quentin Nivon .

Editor information

Editors and Affiliations

  1. NOVA University Lisbon, Caparica, Portugal

    Carla Ferreira

  2. Eindhoven University of Technology, Eindhoven, The Netherlands

    Tim A. C. Willemse

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Nivon, Q., Salaün, G. (2023). Refactoring of Multi-instance BPMN Processes with Time and Resources. In: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, vol 14323. Springer, Cham. https://doi.org/10.1007/978-3-031-47115-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-47115-5_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-47114-8

  • Online ISBN: 978-3-031-47115-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation