Conditional Schedules for Processes with Temporal Constraints

被引：0

作者：

Eder J. ^{[1
]}

Franceschetti M. ^{[1
]}

Lubas J. ^{[1
]}

机构：

[1] Department of Informatics-Systems, Alpen-Adria Universität Klagenfurt, Klagenfurt

来源：

SN Computer Science | 2020年 / 1卷 / 4期

关键词：

Contingent durations; Controllability; Process modelling; Process scheduling; Temporal constraints;

D O I：

10.1007/s42979-020-00242-8

中图分类号：

学科分类号：

摘要：

Temporal aspects are among the most important quality criteria for executing business processes. It is mandatory to check process definitions at design time for temporal properties to avoid that structural properties of process models cause time failures at run-time. Here, we propose to check process models for conditional controllability and to compute conditional schedules for their execution without time failures. Schedules have to be conditional, since it is a characteristics of business processes, that control flow decisions are based on conditions, which can only be evaluated in the course of process execution at run-time and not before the process starts. We present a procedure for checking the conditional controllability of processes with temporal constraints, which is both sound and complete and effectively and efficiently computes conditional schedules for temporally constrained business processes. © 2020, The Author(s).

引用

共 37 条

[1]

Bettini C., Wang X.S., Jajodia S., Temporal reasoning in workflow systems, Distrib Parallel Databases, 11, 3, pp. 269-306, (2002)

[2]

Dynamic controllability made simple, Lipics-Leibniz International Proceedings in Informatics, Vol 90. Schloss Dagstuhl-Leibniz-Zentrum Fuer Informatik, (2017)

[3]

Cairo M., Rizzi R., Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution, Theor Comput Sci, 797, pp. 2-16, (2019)

[4]

Cardoso J., Sheth A., Miller J., Arnold J., Kochut K., Quality of service for workflows and web service processes, J Web Semant, 1, 3, pp. 281-308, (2004)

[5]

Cheikhrouhou S., Kallel S., Guermouche N., Jmaiel M., The temporal perspective in business process modeling: a survey and research challenges, Serv Oriented Comput Appl, 9, 1, pp. 75-85, (2015)

[6]

Cimatti A., Hunsberger L., Micheli A., Posenato R., Roveri M., Dynamic controllability via timed game automata, Acta Inform, 53, pp. 681-722, (2016)

[7]

Combi C., Gozzi M., Posenato R., Pozzi G., Conceptual modeling of flexible temporal workflows, ACM Trans Auton Adapt Syst (TAAS), 7, 2, pp. 1-29, (2012)

[8]

Combi C., Hunsberger L., Posenato R., An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty—revisited, Agents and Artificial Intelligence. Springer, (2014)

[9]

Combi C., Posenato R., Controllability in temporal conceptual workflow schemata, Business Process Management, (2009)

[10]

Combi C., Posenato R., Towards temporal controllabilities for workflow schemata, 2010 17Th International Symposium on Temporal Representation and Reasoning. IEEE, pp. 129-136, (2010)

← 1 2 3 4 →