Skip to main content
Springer Nature Link
Log in

Managing Decision Tasks and Events in Time-Aware Business Process Models

  • Conference paper
  • First Online:
Business Process Management (BPM 2018)

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

Included in the following conference series:

  • 4196 Accesses

Abstract

Time-aware business process models capture processes where temporal properties and constraints have to be suitably managed to achieve proper completion. Temporal aspects also constrain how decisions are made in processes: while some constraints hold only along certain paths, decision outcomes may be restricted to satisfy temporal constraints. In this paper, we present time-aware BPMN processes and discuss how to: (i) add temporal features to process elements, by considering also the impact of events on temporal constraint management; (ii) characterize decisions based on when they are made and used within a process; (iii) specify and use two novel kinds of decisions based on how their outcomes are managed; (iv) deal with intertwined temporal and decision aspects of time-aware BPMN processes to ensure proper execution.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Batoulis, K., Weske, M.: Soundness of decision-aware business processes. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNBIP, vol. 297, pp. 106–124. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-65015-9_7

    Chapter  Google Scholar 

  2. Bruyère, O., et al.: An algorithm recommendation for the management of knee osteoarthritis in Europe and internationally. Semin. Arthritis Rheum. 44(3), 253–263 (2014). https://doi.org/10.1016/j.semarthrit.2014.05.014

    Article  Google Scholar 

  3. Cairo, M., et al.: Incorporating decision nodes into conditional simple temporal networks. In: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), pp. 9:1–9:18 (2017). https://doi.org/10.4230/LIPIcs.TIME.2017.9

  4. Cairo, M., Hunsberger, L., Posenato, R., Rizzi, R.: A streamlined model of conditional simple temporal networks. In: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), vol. 90, pp. 10:1–10:19 (2017). https://doi.org/10.4230/LIPIcs.TIME.2017.10

  5. Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Enhancing formal specification and verification of temporal constraints in business processes. In: IEEE International Conference on Services Computing (SCC 2014), pp. 701–708 (2014). https://doi.org/10.1109/SCC.2014.97

  6. Combi, C., Gambini, M., Migliorini, S., Posenato, R.: Representing business processes through a temporal data-centric workflow modeling language: an application to the management of clinical pathways. IEEE Trans. Syst. Man Cybern.: Syst. 44(9), 1182–1203 (2014). https://doi.org/10.1109/TSMC.2014.2300055

    Article  Google Scholar 

  7. Combi, C., Hunsberger, L., Posenato, R.: An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty - revisited. In: Filipe, J., Fred, A. (eds.) ICAART 2013. CCIS, vol. 449, pp. 314–331. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44440-5_19

    Chapter  Google Scholar 

  8. Combi, C., Oliboni, B., Zerbato, F.: Modeling and handling duration constraints in BPMN 2.0. In: 32nd ACM Symposium on Applied Computing (SAC 2017), pp. 727–734 (2017). https://doi.org/10.1145/3019612.3019618

  9. Combi, C., Posenato, R.: Controllability in temporal conceptual workflow schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 64–79. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03848-8_6

    Chapter  Google Scholar 

  10. Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1–3), 61–95 (1991). https://doi.org/10.1016/0004-3702(91)90006-6

    Article  MathSciNet  MATH  Google Scholar 

  11. Dumas, M., García-Bañuelos, L., Polyvyanyy, A.: Unraveling unstructured process models. In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol. 67, pp. 1–7. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16298-5_1

    Chapter  Google Scholar 

  12. Durán, F., Salaün, G.: Verifying timed BPMN processes using maude. In: Jacquet, J.-M., Massink, M. (eds.) COORDINATION 2017. LNCS, vol. 10319, pp. 219–236. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59746-1_12

    Chapter  Google Scholar 

  13. Eder, J., Panagos, E., Rabinovich, M.: Time constraints in workflow systems. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., Sølvberg, A. (eds.) Seminal Contributions to Information Systems Engineering: 25 Years CAiSE, pp. 191–205. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36926-1_15

    Chapter  Google Scholar 

  14. Hunsberger, L., Posenato, R., Combi, C.: A sound-and-complete propagation-based algorithm for checking the dynamic consistency of conditional simple temporal networks. In: 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015), pp. 4–18 (2015). https://doi.org/10.1109/TIME.2015.26

  15. Jurdziński, M., Trivedi, A.: Reachability-time games on timed automata. In: Arge, L., Cachin, C., Jurdziński, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol. 4596, pp. 838–849. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-73420-8_72

    Chapter  MATH  Google Scholar 

  16. Kon, E., et al.: Platelet-rich plasma intra-articular injection versus hyaluronic acid viscosupplementation as treatments for cartilage pathology. Arthrosc. Relat. Surg. 27(11), 1490–1501 (2011). https://doi.org/10.1016/j.arthro.2011.05.011

    Article  Google Scholar 

  17. Kumar, A., Barton, R.: Controlled violation of temporal process constraints-models, algorithms and results. Inf. Syst. 64, 410–424 (2017). https://doi.org/10.1016/j.is.2016.06.003

    Article  Google Scholar 

  18. Kumar, A., Sabbella, S.R., Barton, R.R.: Managing controlled violation of temporal process constraints. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 280–296. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23063-4_20

    Chapter  Google Scholar 

  19. Künzle, V., Reichert, M.: PHILharmonicFlows: towards a framework for object-aware process management. J. Softw.: Evol. Process 23(4), 205–244 (2011)

    Google Scholar 

  20. Lanz, A., Reichert, M., Weber, B.: Process time patterns: a formal foundation. Inf. Syst. 57, 38–68 (2016). https://doi.org/10.1016/j.is.2015.10.002

    Article  Google Scholar 

  21. Morris, P.H., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 494–502 (2001)

    Google Scholar 

  22. Object Management Group: Business Process Model and Notation (BPMN) Version 2.0 (2011). http://www.omg.org/spec/BPMN/2.0. Accessed 07 June 2018

  23. Pichler, H., Eder, J., Ciglic, M.: Modelling processes with time-dependent control structures. In: Mayr, H.C., Guizzardi, G., Ma, H., Pastor, O. (eds.) ER 2017. LNCS, vol. 10650, pp. 50–58. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-69904-2_4

    Chapter  Google Scholar 

  24. Posenato, R., Lanz, A., Combi, C., Reichert, M.: Managing time-awareness in modularized processes. Softw. Syst. Model. (2018). https://doi.org/10.1007/s10270-017-0643-4

    Article  Google Scholar 

  25. Watahiki, K., Ishikawa, F., Hiraishi, K.: Formal verification of business processes with temporal and resource constraints. In: IEEE International Conference on Systems, Man, and Cybernetics, pp. 1173–1180 (2011). https://doi.org/10.1109/ICSMC.2011.6083857

  26. Zavatteri, M.: Conditional simple temporal networks with uncertainty and decisions. In: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), pp. 23:1–23:17 (2017). https://doi.org/10.4230/LIPIcs.TIME.2017.23

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università degli Studi di Verona, Verona, Italy

    Roberto Posenato, Francesca Zerbato & Carlo Combi

Authors
  1. Roberto Posenato
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesca Zerbato
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carlo Combi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roberto Posenato .

Editor information

Editors and Affiliations

  1. Hasso-Plattner-Institute, University of Potsdam, Potsdam, Germany

    Mathias Weske

  2. Free University of Bozen Bolzano, Bolzano, Italy

    Marco Montali

  3. Data61, CSIRO, Eveleigh, NSW, Australia

    Ingo Weber

  4. University of Liechtenstein, Vaduz, Liechtenstein

    Jan vom Brocke

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Posenato, R., Zerbato, F., Combi, C. (2018). Managing Decision Tasks and Events in Time-Aware Business Process Models. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds) Business Process Management. BPM 2018. Lecture Notes in Computer Science(), vol 11080. Springer, Cham. https://doi.org/10.1007/978-3-319-98648-7_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-98648-7_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-98647-0

  • Online ISBN: 978-3-319-98648-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics