References: [1] Bettini, C., Wang, X., and Jajodia, S. (2002). Temporal reasoning in workflow systems. Distributed and Parallel Databases, 11 (3) 269–306, 2002. [2] Breu, R., Dustdar, S., et al. (2013). Towards living inter-organizational processes. In: 2013 IEEE 15th Conference on Business Informatics, p. 363–366. IEEE, 2013. [3] Cardoso, J., Sheth, A., Miller, J. (2003). Workflow quality of service. In Enterprise Inter-and Intra-Organizational Integration, p. 303–311. Springer, 2003. [4] Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K. (2004). Quality of service for workflows and web service processes. Journal of Web Semantics, 1 (3) 281–308, 2004. [5] Cheikhrouhou, S,. Kallel, S., Guermouche, N., Jmaiel. M. (2015). The temporal perspective in business process modeling: a survey and research challenges. Service Oriented Computing and Applications, 9 (1) 75–85, 2015. [6] Combi, C., Hunsberger, L., Posenato, R. (2014). An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty - revisited. In Agents and Artificial Intelligence, p. 314–331. Springer Berlin Heidelberg, 2014. [7] Combi, C., Posenato, R. (2009). Controllability in temporal conceptual workflow schemata. In: Business Process Management, p. 64–79. Springer, 2009. [8] Eder, J., Franceschetti, M., opke, J. K. (2018). Controllability of orchestrations with temporal SLA: Encoding temporal XOR in CSTNUD. In Int. Conf. on Information Integration and Web-based Applications & Services, p. 234–242. ACM, 2018. [9] Eder, J., Gruber, W., and Panagos. E. (2000). Temporal modeling of workflows with conditional execution paths. In Database and Expert Systems Applications, p. 243–253. Springer, 2000. [10] Eder, J., Gruber, W., Pichler. H. (2006). Transforming workflow graphs. In: Interoper ability of Enterprise Software and Applica tions, p. 203–214. Springer, 2006. [11] Eder, J., Panagos, E., Rabinovich. M. (1999). Time constraints in workflow systems. In: Advanced information systems engineering, p. 286–300. Springer, 1999. [12] Eder, J., Panagos, E., Rabinovich, M. (2013). Workflow time management revisited. In: J. Bubenko, J. Krogstie, O. Pastor, B. Pernici, C. Rolland, and A. Sølvberg, editors, Seminal Contributions to Information Systems Engineering, p. 207– 213. Springer Berlin Heidelberg, 2013. [13] Gagne, D., Trudel, A. (2009). Time-bpmn. In Commerce and Enterprise Computing, 2009. CEC’09. IEEE Conference on, p. 361–367. IEEE, 2009. [14] Gillmann, M., Weikum, G., Wonner, W. (2002). Workflow management with service quality guarantees. In: Proceedings of the 2002 ACM SIGMOD international conference on Management of data, pages 228–239. ACM, 2002. [15] Guermouche, N., Godart, C. (2009). Timed model checking based approach for web services analysis. In ICWS, p. 213–221. IEEE, 2009. [16] Hunsberger, L., Posenato, R., Combi, C. (2012). The dynamic controllability of conditional stns with uncertainty. arXiv preprint arXiv:1212.2005, 2012. [17] Lanz, A., Posenato, R., Combi, C., Reichert, M. (2013). Controllability of time-aware processes at run time. In On the Move to Meaningful Internet Systems: OTM 2013 Conferences, p. 39–56. Springer, 2013. [18] Lanz, A., Reichert, M., Weber, B. (2016). Process time patterns: A formal foundation. Information Systems, 57:38–68, 2016. [19] Lanz, A., Weber, B., Reichert, M. (2010). Workflow time patterns for process-aware information systems. In Enterprise, Business-Process and Information Systems Modeling, pages 94–107. Springer, 2010. [20] Lanz, A., Weber, B., Reichert, M. (2014). Time patterns for process-aware information systems. Requir. Eng., 19(2):113–141, 2014. [21] Marjanovic, O., Orlowska, M. (1999). On modeling and verification of temporal constraints in production workflows. Knowledge and Information Systems, 1(2):157– 192, 1999. [22] Object ManagementGroup. (2011). Business Process Model and Notation (BPMN), Version 2.0. http://www.omg.org/spec/ BPMN/2.0, 2011. [23] OracleFusion. (2019). Adding delays, deadlines, and time based cycles to your process. https://docs.oracle.com/middleware/ 1221/bpm/bpm-develop/GUID- 1684501B-AA69-4982-B3BC-9B05E33B4EB3.htm#BPMPD579, 2019. Accessed: 2019-08-08. [24] Pichler, H., Eder, J., Ciglic, M. (2017). Modelling processes with time-dependent control structures. In Int. Conf. on Conceptual Modeling, p. 50–58. Springer, 2017. [25] Pichler, H., Wenger, M., Eder, J. (2009). Composing time-aware web service orchestrations. In Advanced Information Systems Engineering, p. 349–363. Springer, 2009. [26] van der Aalst, W., Schonenberg, M., Song, M. (2011). Time prediction based on process mining. Information Systems, 36 (2)450–475, 2011. [27] van Der Aalst, W., Ter Hofstede, A. H., Kiepuszewski, B., Barros. A. P. (2003). Workflow patterns. Distributed and parallel databases, 14 (1) 5–51, 2003. [28] Zavatteri, M. (2017). Conditional simple temporal networks with uncertainty and decisions. In LIPIcs-Leibniz International Proceedings in Informatics, volume 90.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017. [29] Zavatteri, M. (2018). Temporal and Resource Controllability of Workflows Under Uncertainty. PhD thesis, Universita degli Studi di Verona, 2018. |