Abstract
The goal of this research is to enable proactive time management for workflows with loops. We want to offer time constraint patterns that allow the formulation of time constraints on activities that are contained in loops.
Furthermore we design an algorithm for timed workflow graph computation considering loops and given time constraints. We use the time constraints to bind unbounded loops such that we iteratively expand the workflow, compute the timed workflow graph and check the satisfiability of the time constraints.
We also deal with a fast recomputation of a timed workflow graph at the runtime, which is needed to care for slack distribution, situation assessment and enactment of escalation strategies.
Supervisor: Johann Eder, Alpen-Adria-Universität Klagenfurt, johann.eder@aau.at
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Cimatti, A., Hunsberger, L., Micheli, A., Posenato, R., Roveri, M.: Sound and complete algorithms for checking the dynamic controllability of temporal networks with uncertainty, disjunction and observation. In: 21st International Symposium on Temporal Representation and Reasoning (TIME 2014), pp. 27–36. IEEE (2014)
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 Transactions on Systems, Man, and Cybernetics: Systems 44(9), 1182–1203 (2014)
Combi, C., Gozzi, M., Posenato, R., Pozzi, G.: Conceptual modeling of flexible temporal workflows. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7(2), 19 (2012)
Eder, J., Panagos, E., Rabinovich, M.I.: Time constraints in workflow systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286–300. Springer, Heidelberg (1999)
Eder, J., Panagos, E., Rabinovich, M.: Workflow time management revisited. In: Bubenko, J., et al. (eds.) Seminal Contributions to Information Systems Engineering, pp. 207–213. Springer, Heidelberg (2013)
Foyo, P.M.G.D., Silva, J.R.: Using time petri nets for modeling and verification of timed constrained workflow systems. ABCM Symposium Series in Mechatronics 3, 471–478 (2008)
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.) ODBASE 2013. LNCS, vol. 8185, pp. 39–56. Springer, Heidelberg (2013)
Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requirements Engineering 19(2), 113–141 (2014)
Lu, R., Sadiq, S.W., Padmanabhan, V., Governatori, G.: Using a temporal constraint network for business process execution. In: Dobbie, G., Bailey, J. (eds.) ADC 2006 Proceedings of the 17th Australasian Database Conference. CRPIT, vol. 49, pp. 157–166. Australian Computer Society (2006)
Marjanovic, O.: Dynamic verification of temporal constraints in production workflows. In: 11th Australasian Database Conference (ADC 2000), pp. 74–81. IEEE (2000)
Pichler, H.: Time management for workflow systems. A probabilistic approach for basic and advanced control flow structures. Ph.D. thesis, Alpen-Adria-Universitaet Klagenfurt (2006)
Son, J.H., Kim, J.S., Kim, M.H.: Extracting the workflow critical path from the extended well-formed workflow schema. Journal of Computer and System Sciences 70(1), 86–106 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Ciglic, M. (2015). Time Management in Workflows with Loops. In: Ciuciu, I., et al. On the Move to Meaningful Internet Systems: OTM 2015 Workshops. OTM 2015. Lecture Notes in Computer Science(), vol 9416. Springer, Cham. https://doi.org/10.1007/978-3-319-26138-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-26138-6_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26137-9
Online ISBN: 978-3-319-26138-6
eBook Packages: Computer ScienceComputer Science (R0)