Document Open Access Logo

Customizing BPMN Diagrams Using Timelines

Authors Carlo Combi, Barbara Oliboni, Pietro Sala

PDF
Thumbnail PDF

File

LIPIcs.TIME.2019.5.pdf
  • Filesize: 0.8 MB
  • 17 pages

Document Identifiers

Author Details

Carlo Combi
  • Department of Computer Science, University of Verona, Italy
Barbara Oliboni
  • Department of Computer Science, University of Verona, Italy
Pietro Sala
  • Department of Computer Science, University of Verona, Italy

Funding

  • Sala, Pietro: acknowledges the financial support from the Italian INdAM-GNCS project 2019 "Formal methods for combined verification".

Cite AsGet BibTex

Carlo Combi, Barbara Oliboni, and Pietro Sala. Customizing BPMN Diagrams Using Timelines. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 5:1-5:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.TIME.2019.5

Abstract

BPMN (Business Process Model and Notation) is widely used standard modeling technique for representing Business Processes by using diagrams, but lacks in some aspects. Representing execution-dependent and time-dependent decisions in BPMN Diagrams may be a daunting challenge [Carlo Combi et al., 2017]. In many cases such constraints are omitted in order to preserve the simplicity and the readability of the process model. However, for purposes such as compliance checking, process mining, and verification, formalizing such constraints could be very useful. In this paper, we propose a novel approach for annotating BPMN Diagrams with Temporal Synchronization Rules borrowed from the timeline-based planning field. We discuss the expressivity of the proposed approach and show that it is able to capture a lot of complex temporally-related constraints without affecting the structure of BPMN diagrams. Finally, we provide a mapping from annotated BPMN diagrams to timeline-based planning problems that allows one to take advantage of the last twenty years of theoretical and practical developments in the field.

Subject Classification

ACM Subject Classification
  • Applied computing → Business process modeling
  • Applied computing
Keywords
  • Business Processes
  • BPMN
  • Timelines
  • Temporal Constraints

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Related Versions

References

  1. James F. Allen. Maintaining Knowledge About Temporal Intervals. Commun. ACM, 26(11):832-843, November 1983. URL: https://doi.org/10.1145/182.358434.
  2. Javier Barreiro, Matthew Boyce, Minh Do, Jeremy Frank, Michael Iatauro, Tatiana Kichkaylo, Paul Morris, James Ong, Emilio Remolina, Tristan Smith, and David Smith. EUROPA: A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization. In ICKEPS 2012, 2012. Google Scholar
  3. Catriel Beeri, Anat Eyal, Tova Milo, and Alon Pilberg. Query-based monitoring of BPEL business processes. In Proceedings of the 2007 ACM SIGMOD international conference on Management of data, pages 1122-1124. ACM, 2007. Google Scholar
  4. Yuval Shahar Carlo Combi, Elpida Keravnou-Papailiou. Temporal Information Systems in Medicine. Springer Science & Business Media, 2010. Google Scholar
  5. Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, and Angelo Oddi. Developing an End-to-End Planning Application from a Timeline Representation Framework. In Twenty-First IAAI Conference, 2009. Google Scholar
  6. S. Chien, D. Tran, G. Rabideau, S.R. Schaffer, D. Mandl, and S. Frye. Timeline-Based Space Operations Scheduling with External Constraints. In Proc. of the 20superscriptth International Conference on Automated Planning and Scheduling, pages 34-41, 2010. Google Scholar
  7. Marta Cialdea Mayer, Andrea Orlandini, and Alessandro Umbrico. Planning and execution with flexible timelines: a formal account. Acta Informatica, 53(6):649-680, October 2016. URL: https://doi.org/10.1007/s00236-015-0252-z.
  8. Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, and Armando Tacchella. Nusmv 2: An opensource tool for symbolic model checking. In International Conference on Computer Aided Verification, pages 359-364. Springer, 2002. Google Scholar
  9. Carlo Combi, Barbara Oliboni, and Pietro Sala. Customizing BPMN Diagrams using Timelines (extended version). URL: http://profs.scienze.univr.it/~sala/BPMNTimelinesExtended.pdf.
  10. Carlo Combi, Barbara Oliboni, Mathias Weske, and Francesca Zerbato. Conceptual Modeling of Processes and Data: Connecting Different Perspectives. In ER 2018, volume 11157 of LNCS, pages 236-250, 2018. URL: https://doi.org/10.1007/978-3-030-00847-5_18.
  11. Carlo Combi, Pietro Sala, and Francesca Zerbato. Driving time-dependent paths in clinical BPMN processes. In Proceedings of SAC 2017, pages 743-750, 2017. URL: https://doi.org/10.1145/3019612.3019620.
  12. Carlo Combi, Pietro Sala, and Francesca Zerbato. A Logical Formalization of Time-Critical Processes with Resources. In BPM Forum 2018, volume 329 of LNBIP, pages 20-36. Springer, 2018. URL: https://doi.org/10.1007/978-3-319-98651-7_2.
  13. Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, and Marco Montali. Declarative process modeling in BPMN. In CAISE, pages 84-100. Springer, 2015. Google Scholar
  14. Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, and Sergio Tessaris. Add Data into Business Process Verification: Bridging the Gap between Theory and Practice. In Proc. of 31^st AAAI Conference on Artificial Intelligence, pages 1091-1099. AAAI Press, 2017. URL: http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14627.
  15. Marlon Dumas, Luciano García-Bañuelos, and Artem Polyvyanyy. Unraveling Unstructured Process Models. In Jan Mendling, Matthias Weidlich, and Mathias Weske, editors, Business Process Modeling Notation, pages 1-7, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg. Google Scholar
  16. Jan-Philipp Friedenstab, Christian Janiesch, Martin Matzner, and Oliver Muller. Extending BPMN for business activity monitoring. In 2012 45th Hawaii International Conference on System Sciences, pages 4158-4167. IEEE, 2012. Google Scholar
  17. Gerard J Holzmann. The SPIN model checker: Primer and reference manual, volume 1003. Addison-Wesley Reading, 2004. Google Scholar
  18. M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2004. Google Scholar
  19. Bartek Kiepuszewski, Arthur H. M. ter Hofstede, and Christoph Bussler. On Structured Workflow Modelling. In Benkt Wangler and Lars Bergman, editors, Advanced Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings, volume 1789 of Lecture Notes in Computer Science, pages 431-445. Springer, 2000. URL: https://doi.org/10.1007/3-540-45140-4_29.
  20. Andreas Lanz, Roberto Posenato, Carlo Combi, and Manfred Reichert. Controlling time-awareness in modularized processes. Enterprise, Business-Process and Information Systems Modeling, pages 157-172, 2016. Google Scholar
  21. Andreas Lanz, Manfred Reichert, and Barbara Weber. Process time patterns: A formal foundation. Information Systems, 57:38-68, 2016. URL: https://doi.org/10.1016/j.is.2015.10.002.
  22. Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, and Wil M. P. van der Aalst. Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In BPM 2011., volume 6896 of LNCS, pages 132-147. Springer, 2011. URL: https://doi.org/10.1007/978-3-642-23059-2_13.
  23. Leonard A Mermel, Barry M Farr, Robert J Sherertz, Issam I Raad, Naomi O'grady, JoAnn S Harris, and Donald E Craven. Guidelines for the management of intravascular catheter-related infections. Infection Control & Hospital Epidemiology, 22(4):222-242, 2001. Google Scholar
  24. Steven Mertens, Frederik Gailly, and Geert Poels. Enhancing Declarative Process Models with DMN Decision Logic. In Khaled Gaaloul, Rainer Schmidt, Selmin Nurcan, Sérgio Guerreiro, and Qin Ma, editors, Enterprise, Business-Process and Information Systems Modeling - 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings, volume 214 of Lecture Notes in Business Information Processing, pages 151-165. Springer, 2015. URL: https://doi.org/10.1007/978-3-319-19237-6_10.
  25. Angelo Montanari and Pietro Sala. Interval-based Synthesis. In Adriano Peron and Carla Piazza, editors, Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014., volume 161 of EPTCS, pages 102-115, 2014. URL: https://doi.org/10.4204/EPTCS.161.11.
  26. Richard Müller and Andreas Rogge-Solti. BPMN for healthcare processes. In Proceedings of the 3rd Central-European Workshop on Services and their Composition (ZEUS 2011), Karlsruhe, Germany, volume 1, 2011. Google Scholar
  27. Nicola Muscettola. HSTS: Integrating planning and scheduling. Technical report, Carnegie-Mellon Univ Pittsburgh PA Robotics Inst, 1993. Google Scholar
  28. OMG. Business Process Model and Notation (BPMN), Version 2.0, January 2011. URL: http://www.omg.org/spec/BPMN/2.0.
  29. Roberto Posenato, Francesca Zerbato, and Carlo Combi. Managing Decision Tasks and Events in Time-Aware Business Process Models. In BPM 2018, volume 11080 of LNCS, pages 102-118. Springer, 2018. URL: https://doi.org/10.1007/978-3-319-98648-7_7.
  30. Wolfgang Thomas. On the Synthesis of Strategies in Infinite Games. In STACS, pages 1-13, 1995. URL: https://doi.org/10.1007/3-540-59042-0_57.
  31. Petia Wohed, Wil MP van der Aalst, Marlon Dumas, Arthur HM ter Hofstede, and Nick Russell. On the suitability of BPMN for business process modelling. In International conference on business process management, pages 161-176. Springer, 2006. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact