Modelling Processes with Time-Dependent Control Structures

  • Horst Pichler
  • Johann EderEmail author
  • Margareta Ciglic
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10650)


The modeling of processes with temporal constraints suffers from a mismatch between more procedural process models and more declarative formulations of temporal constraints. We propose the introduction of temporal conditions in the formulation of conditional constructs, in particular XOR-splits and loops to give process designers explicit control over the temporal behaviour of the processes they model. We define syntax and semantics of temporal splits and temporal loops and propose the notion of controllability for defining the (temporal) correctness of process definitions with temporal control structures.


  1. 1.
    Cardoso, J., Sheth, A., Miller, J.: Workflow quality of service. In: Kosanke, K., Jochem, R., Nell, J.G., Bas, A.O. (eds.) Enterprise Inter- and Intra-Organizational Integration. ITIFIP, vol. 108, pp. 303–311. Springer, Boston, MA (2003). doi: 10.1007/978-0-387-35621-1_31CrossRefGoogle Scholar
  2. 2.
    Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Toward a time-centric modeling of business processes in BPMN 2.0. In: Proceedings of International Conference on Information Integration and Web-Based Applications & Services, p. 154. ACM (2013)Google Scholar
  3. 3.
    Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. SOCA 9(1), 75–85 (2015)CrossRefGoogle Scholar
  4. 4.
    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). doi: 10.1007/978-3-642-03848-8_6CrossRefGoogle Scholar
  5. 5.
    Eder, J., Gruber, W., Pichler, H.: Transforming workflow graphs. In: Konstantas, D., Bourrières, J.P., Léonard, M., Boudjlida, N. (eds.) Interoperability of Enterprise Software and Applications, pp. 203–214. Springer, London (2006). doi: 10.1007/1-84628-152-0_19CrossRefGoogle Scholar
  6. 6.
    Eder, J., Panagos, E., Pozewaunig, H., Rabinovich, M.: Time management in workflow systems. In: Abramowicz, W., Orlowska, M.E. (eds.) BIS 1999, pp. 265–280. Springer, London (1999). doi: 10.1007/978-1-4471-0875-7_22CrossRefGoogle Scholar
  7. 7.
    Eder, J., Panagos, E., Rabinovich, M.: Workflow time management revisited. In: Bubenko, J., Krogstie, J., et al. (eds.) Seminal Contributions to Information Systems Engineering, pp. 207–213. Springer, Heidelberg (2013). doi: 10.1007/978-3-642-36926-1_16CrossRefGoogle Scholar
  8. 8.
    Eder, J., Tahamtan, A.: Temporal consistency of view based interorganizational workflows. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol. 5, pp. 96–107. Springer, Heidelberg (2008). doi: 10.1007/978-3-540-78942-0_11CrossRefGoogle Scholar
  9. 9.
    Gagne, D., Trudel, A.: Time-BPMN. In: IEEE Conference on Commerce and Enterprise Computing, CEC 2009, pp. 361–367. IEEE (2009)Google Scholar
  10. 10.
    Gillmann, M., Weikum, G., Wonner, W.: Workflow management with service quality guarantees. In: Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, pp. 228–239. ACM (2002)Google Scholar
  11. 11.
    Hunsberger, L., Posenato, R., Combi, C.: The dynamic controllability of conditional STNS with uncertainty. arXiv preprint arXiv:1212.2005 (2012)
  12. 12.
    Lanz, A., Posenato, R., Combi, C., Reichert, M.: Controllability of time-aware processes at run time. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.) OTM 2013. LNCS, vol. 8185, pp. 39–56. Springer, Heidelberg (2013). doi: 10.1007/978-3-642-41030-7_4CrossRefGoogle Scholar
  13. 13.
    Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requir. Eng. 19(2), 113–141 (2014)CrossRefGoogle Scholar
  14. 14.
    Mallek, S., Daclin, N., Chapurlat, V., Vallespir, B.: Enabling model checking for collaborative process analysis: from BPMN to ‘network of timed automata’. Enterp. Inf. Syst. 9(3), 279–299 (2015)CrossRefGoogle Scholar
  15. 15.
    Mendoza Morales, L.E., Monsalve, C., Villavicencio, M.: Application of formal methods to verify business processes. In: Ribeiro, L., Lecomte, T. (eds.) SBMF 2016. LNCS, vol. 10090, pp. 41–58. Springer, Cham (2016). doi: 10.1007/978-3-319-49815-7_3CrossRefGoogle Scholar
  16. 16.
    ObjectManagementGroup: Business Process Model and Notation (BPMN), Version 2.0 (2011).
  17. 17.
    OracleFusion: Adding delays, deadlines, and time based cycles to your process. Accessed 15 Apr 2017
  18. 18.
    Pichler, H., Wenger, M., Eder, J.: Composing time-aware web service orchestrations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 349–363. Springer, Heidelberg (2009). doi: 10.1007/978-3-642-02144-2_29CrossRefGoogle Scholar
  19. 19.
    van Der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Department of Informatics-SystemsAlpen-Adria Universität KlagenfurtKlagenfurtAustria

Personalised recommendations