Abstract
Dynamic controllability is currently regarded as the most adequate notion for checking the temporal correctness of business processes with temporal constraints when a process model includes uncontrollable activities whose duration is revealed at the time of activity completion. However, dynamic controllability cannot take advantage when an actual duration is revealed earlier, leading to unnecessary strict checks for temporal correctness. We propose a novel notion of agile controllability, which takes into account that uncontrollable durations are revealed earlier and that in a viable execution strategy, a time point may depend on time points whose value is known earlier. We formalize the notion of agile controllability and present an effective checking procedure evaluated by a software implementation within a publicly available modeling and checking software tool.
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
Similar content being viewed by others
References
Combi, C., Gambini, M., Migliorini, S., Posenato, R.: Representing business processes through a temporal data-centric workflow modeling language. IEEE Trans. Syst. Man Cybern. Syst. 44(9), 1182–1203 (2014). https://doi.org/10.1109/TSMC.2014.2300055
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). https://doi.org/10.1007/978-3-642-03848-8_6
Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1–3), 61–95 (1991)
Eder, J., Franceschetti, M., Köpke, J.: Controllability of business processes with temporal variables. In: ACM SAC 2019, pp. 40–47 (2019). https://doi.org/10.1145/3297280.3297286
Franceschetti, M., Posenato, R., Combi, C., Eder, J.: Dynamic controllability of parameterized CSTNUs. In: ACM SAC 2023, pp. 965–973 (2023). https://doi.org/10.1145/3555776.3577618
Hashmi, M., Governatori, G., Lam, H.P., Wynn, M.T.: Are we done with business process compliance: state of the art and challenges ahead. Knowl. Inf. Syst. 57(1), 79–133 (2018). https://doi.org/10.1007/s10115-017-1142-1
Hunsberger, L.: Efficient execution of dynamically controllable simple temporal networks with uncertainty. Acta Inform. 53, 89–147 (2016)
Hunsberger, L., Posenato, R.: A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form. Inf. Comput. 293, 105063 (2023). https://doi.org/10.1016/j.ic.2023.105063
Hunsberger, L., Posenato, R., Combi, C.: The dynamic controllability of conditional STNs with uncertainty. In: Workshop PlanEx@ICAPS-2012 (2012). http://arxiv.org/abs/1212.2005
Hunsberger, L., Posenato, R., Combi, C.: A sound-and-complete propagation-based algorithm for checking the dynamic consistency of conditional simple temporal networks. In: 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015) (2015). https://doi.org/10.1109/TIME.2015.26
Kagedan, D., Ahmed, M., Devitt, K., Wei, A.: Enhanced recovery after pancreatic surgery: a systematic review of the evidence. HPB 17, 11–16 (2015)
Lanz, A., Reichert, M., Weber, B.: Process time patterns: a formal foundation. Inf. Syst. 57, 38–68 (2016). https://doi.org/10.1016/J.IS.2015.10.002
Morris, P.H., Muscettola, N.: Temporal dynamic controllability revisited. In: 20th National Conference on Artificial Intelligence (AAAI-2005) (2005). https://cdn.aaai.org/AAAI/2005/AAAI05-189.pdf
Posenato, R.: CSTNU tool: a Java library for checking temporal networks. SoftwareX 17, 100905 (2022). https://doi.org/10.1016/j.softx.2021.100905
Posenato, R., Franceschetti, M., Combi, C., Eder, J.: Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties. Technical report 1/2023, Dip. Informatica-Univ. di Verona (2023). https://iris.univr.it/handle/11562/1116013
Posenato, R., Zerbato, F., Combi, C.: Managing decision tasks and events in time-aware business process models. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 102–118. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98648-7_7
Vidal, T., Fargier, H.: Handling contingency in temporal constraint networks: from consistency to controllabilities. J. Exp. Theor. Artif. Intell. 11(1), 23–45 (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Posenato, R., Franceschetti, M., Combi, C., Eder, J. (2024). Introducing Agile Controllability in Temporal Business Processes. In: van der Aa, H., Bork, D., Schmidt, R., Sturm, A. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2024 2024. Lecture Notes in Business Information Processing, vol 511. Springer, Cham. https://doi.org/10.1007/978-3-031-61007-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-031-61007-3_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-61006-6
Online ISBN: 978-3-031-61007-3
eBook Packages: Computer ScienceComputer Science (R0)