Publikation: Conditional Schedules for Processes wit...
Stammdaten
Titel: | Conditional Schedules for Processes with Temporal Constraints. |
Untertitel: | |
Kurzfassung: | 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. |
Schlagworte: | Process scheduling, Contingent durations , Controllability, Temporal constraints, Process modelling |
Publikationstyp: | Beitrag in Zeitschrift (Autorenschaft) |
Erscheinungsdatum: | 14.07.2020 (Online) |
Erschienen in: |
SN Computer Science
SN Computer Science
(
Springer Nature Switzerland AG;
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | Vol. 1 |
Heftnummer: | 4 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 1 - 18 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 14.07.2020 |
ISBN (e-book): | - |
eISSN: | 2662-995X |
DOI: | http://dx.doi.org/10.1007/s42979-020-00242-8 |
Homepage: | https://link.springer.com/journal/42979/volumes-and-issues/1-4 |
Open Access |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Zitationsindex |
Informationen zum Zitationsindex: Master Journal List
|
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |