Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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_31
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)
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)
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_6
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_19
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_22
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_16
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_11
Gagne, D., Trudel, A.: Time-BPMN. In: IEEE Conference on Commerce and Enterprise Computing, CEC 2009, pp. 361–367. IEEE (2009)
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)
Hunsberger, L., Posenato, R., Combi, C.: The dynamic controllability of conditional STNS with uncertainty. arXiv preprint arXiv:1212.2005 (2012)
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_4
Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requir. Eng. 19(2), 113–141 (2014)
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)
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_3
ObjectManagementGroup: Business Process Model and Notation (BPMN), Version 2.0 (2011). http://www.omg.org/spec/BPMN/2.0
OracleFusion: Adding delays, deadlines, and time based cycles to your process. http://docs.oracle.com/cd/E25178_01/doc.1111/e15176/timers_bpmpd.htm. Accessed 15 Apr 2017
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_29
van Der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Pichler, H., Eder, J., Ciglic, M. (2017). Modelling Processes with Time-Dependent Control Structures. In: Mayr, H., Guizzardi, G., Ma, H., Pastor, O. (eds) Conceptual Modeling. ER 2017. Lecture Notes in Computer Science(), vol 10650. Springer, Cham. https://doi.org/10.1007/978-3-319-69904-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-69904-2_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-69903-5
Online ISBN: 978-3-319-69904-2
eBook Packages: Computer ScienceComputer Science (R0)