Abstract
Temporal workflows are becoming increasingly important in many real-world applications. In such workflows, activity durations and times are specified and it is necessary to ensure both at design time and run time that temporal constraints are not violated. However, in real-time workflows, such as in a medical process or emergency situations, some violations are unavoidable. Hence, a more nuanced view of violations should be taken. Here we introduce the notion of controlled violations as the ability to monitor a running process and develop an approach based on constraint satisfaction to determine the best schedule for its completion in a way so as to minimize the total penalty from the violations. The violations are evaluated in terms of metrics like number of violations, delay in process completion, and penalty of weighted violations. We also relate our work to the concept of controllability in literature and show how it can be checked using our method. Finally, the expressive power of our approach is discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence 23(2), 123–154 (1984)
Bettini, C., Wang, X.S., Jajodia, S.: Temporal reasoning in workflow systems. Distrib. Para. Dat. 11(3), 269–306 (2002)
Chen, J., Yang, Y.: Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems. ACM Trans. on Soft Eng. and Methodol. 20(3), 9:1–9:23 (2011)
Combi, C., Gozzi, M., Posenato, R., Pozzi, G.: Conceptual modeling of flexible temporal workflows. TAAS 7(2), 19:1–19:29 (2012)
CPLEX, Reference manual. IBM corporation (2009)
Eder, J., Euthimios, P., Pozewaunig, H., Rabinovich, M.: Time management in workflow systems. In: Proc. BIS 1999, pp. 265–280 (1999)
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)
Hunsberger, L., Posenato, R., Combi, C.: The dynamic controllability of conditional STNs with uncertainty. In: Proc. PlanEx 2012 (2012)
Kumar, A., Yao, W., Chu, C.: Flexible Business Process Compliance with Semantic Constraints using Mixed-Integer Programming. INFORMS Journal on Computing 25(3) (Summer 2013)
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)
Lanz, A., Reichert, M., Weber, B.: A formal semantics of time patterns for process aware information systems. Tech. Rep. UIB-2013-02, University of Ulm (2013)
Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Req. Eng. 19(2), 113–141 (2014)
Lanz, A., Reichert, M.: Dealing with changes of time-aware processes. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 217–233. Springer, Heidelberg (2014)
Marjanovic, O., Orlowska, M.E.: On modeling and verification of temporal constraints in production workflows. Knowl. and Inf. Syst. 1(2), 157–192 (1999)
Morris, P.H., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: Nebel, B. (ed.) The Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 494–502. Morgan Kaufmann (2001)
Reichert, M., Weber, B.: Enabling Flexibility in Process-aware Information Systems: Challenges, Methods, Technologies. Springer (2012)
Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems: A survey. Data & Knowl. Eng. 50(1), 9–34 (2004)
Sadiq, S.W., Marjanovic, O., Orlowska, M.E.: Managing change and time in dynamic workflow processes. Int’l J. Coop. Inf. Syst. 9(1–2), 93–116 (2000)
Shu, J., Barton, R.: Managing supply chain execution: monitoring timeliness and correctness via individualized trace data. Prod. and Ops. Mgmt. 21, 715–729 (2012)
Tsamardinos, I., Vidal, T., Pollack, M.: CTP: A new constraint-based formalism for conditional, temporal planning. Constraints 8(4), 365–388 (2003)
Wolf, A.: Constraint-based modeling and scheduling of clinical pathways. In: Larrosa, J., O’Sullivan, B. (eds.) CSCLP 2009. LNCS, vol. 6384, pp. 122–138. Springer, Heidelberg (2011)
Zhao, J., Stohr, E.: Temporal workflow management in a claim handling system. In: Proceedings of Work Activities Coordination and Collaboration (WACC 1999), San Francisco, CA, USA, pp. 187– 195 (1999)
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
Kumar, A., Sabbella, S.R., Barton, R.R. (2015). Managing Controlled Violation of Temporal Process Constraints. In: Motahari-Nezhad, H., Recker, J., Weidlich, M. (eds) Business Process Management. BPM 2016. Lecture Notes in Computer Science(), vol 9253. Springer, Cham. https://doi.org/10.1007/978-3-319-23063-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-23063-4_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23062-7
Online ISBN: 978-3-319-23063-4
eBook Packages: Computer ScienceComputer Science (R0)