Expressiveness of Temporal Constraints for Process Models

  • Johann EderEmail author
  • Marco Franceschetti
  • Julius Köpke
  • Anja Oberrauner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11158)


Temporal constraints are an important aspect for the modeling of processes. We analyze the expressiveness of different features for the representation of temporally constrained processes. In particular we are able to show that the provision of non-contingency for activities and of references to start events of activities are redundant. We provide transformations for mapping process models employing the richer sets of features to process models using a reduced set of features. We show the equivalence of these process models and discuss the advantages of reducing redundancies in the representation of temporal constraints.


  1. 1.
    Bettini, C., Wang, X., Jajodia, S.: Temporal reasoning in workflow systems. Distrib. Parallel Databases 11(3), 269–306 (2002)CrossRefGoogle Scholar
  2. 2.
    Cairo, M., Rizzi, R.: Dynamic controllability made simple. In: 24th International Symposium on Temporal Representation and Reasoning (2017)Google Scholar
  3. 3.
    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 and Services, p. 154. ACM (2013)Google Scholar
  4. 4.
    Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. Serv. Oriented Comput. Appl. 9(1), 75–85 (2015)CrossRefGoogle Scholar
  5. 5.
    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). Scholar
  6. 6.
    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). Scholar
  7. 7.
    Combi, C., Posenato, R.: Towards temporal controllabilities for workflow schemata. In: 2010 17th International Symposium on Temporal Representation and Reasoning (TIME), pp. 129–136. IEEE (2010)Google Scholar
  8. 8.
    Combi, C., Pozzi, G.: Temporal conceptual modelling of workflows. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 59–76. Springer, Heidelberg (2003). Scholar
  9. 9.
    Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1–3), 61–95 (1991)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Eder, J., Gruber, W., Panagos, E.: Temporal modeling of workflows with conditional execution paths. In: Ibrahim, M., Küng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol. 1873, pp. 243–253. Springer, Heidelberg (2000). Scholar
  11. 11.
    Eder, J., Panagos, E., Rabinovich, M.: Time constraints in workflow systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286–300. Springer, Heidelberg (1999). Scholar
  12. 12.
    Eder, J., Panagos, E., Rabinovich, M.: Workflow time management revisited. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., Søvberg, A. (eds.) Seminal Contributions to Information Systems Engineering, pp. 207–213. Springer, Heidelberg (2013). Scholar
  13. 13.
    Eder, J., Pichler, H., Tahamtan, A.: Probabilistic time management of choreographies. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17, pp. 443–454. Springer, Heidelberg (2009). Scholar
  14. 14.
    Lanz, A., Posenato, R., Combi, C., Reichert, M.: Controlling time-awareness in modularized processes. In: Schmidt, R., Guédria, W., Bider, I., Guerreiro, S. (eds.) BPMDS/EMMSAD -2016. LNBIP, vol. 248, pp. 157–172. Springer, Cham (2016). Scholar
  15. 15.
    Lanz, A., Reichert, M., Weber, B.: Process time patterns: a formal foundation. Inf. Syst. 57, 38–68 (2016)CrossRefGoogle Scholar
  16. 16.
    Lanz, A., Weber, B., Reichert, M.: Workflow time patterns for process-aware information systems. In: Bider, I., et al. (eds.) BPMDS/EMMSAD -2010. LNBIP, vol. 50, pp. 94–107. Springer, Heidelberg (2010). Scholar
  17. 17.
    Marjanovic, O., Orlowska, M.: On modeling and verification of temporal constraints in production workflows. Knowl. Inf. Syst. 1(2), 157–192 (1999)CrossRefGoogle Scholar
  18. 18.
    Oberrauner, A.: Expressiveness of temporal constraints in process models. Master’s thesis, Alpen-Adria-Universitaet Klagenfurt, Austria (2018)Google Scholar
  19. 19.
    van der Aalst, W.M.P., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  20. 20.
    Vidal, T.: Handling contingency in temporal constraint networks: from consistency to controllabilities. J. Exp. Theor. Artif. Intell. 11(1), 23–45 (1999)CrossRefGoogle Scholar
  21. 21.
    Vidal, T., Ghallab, M.: Dealing with uncertain durations in temporal constraint networks dedicated to planning. In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 1996), pp. 48–54. PITMAN (1996)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Johann Eder
    • 1
    Email author
  • Marco Franceschetti
    • 1
  • Julius Köpke
    • 1
  • Anja Oberrauner
    • 1
  1. 1.Department of Informatics-SystemsAlpen-Adria-Universität KlagenfurtKlagenfurtAustria

Personalised recommendations