Publikation: Semi-contingent Task Durations: Charact...
Stammdaten
Titel: | Semi-contingent Task Durations: Characterization and Controllability |
Untertitel: | |
Kurzfassung: | Abstract. Traditionally, process designers distinguish between two categories of task durations: contingent and non-contingent. The duration of contingent tasks can only be observed by the controlling agent, the process manager, but not controlled. The duration of non-contingent tasks, instead, is fully under the control of the controlling agent - from the start of the task, until it terminates. In many applications we found, nevertheless, a third category, which we call semi-contingent. A semi-contingent task duration is controllable by the agent, but only until the task starts. We characterize and formally define this additional category of duration. We propose a novel procedure based on constraint propagation to check the dynamic controllability of processes featuring contingent, noncontingent and semi-contingent durations. We formally prove that this procedure is sound and complete, and experimentally show its feasibility. |
Schlagworte: | Process scheduling; Task durations; Dynamic controllability |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 07.2021 (Print) |
Erschienen in: |
Advanced Information Systems Engineering
Advanced Information Systems Engineering
(
Springer Nature Switzerland AG;
M. La Rosa, S. Sadiq, E. Teniente
)
zur Publikation |
Titel der Serie: | Lecture Notes in Computer Science |
Bandnummer: | 12751 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 246 - 261 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.1007/978-3-030-79382-1_15 |
Homepage: | - |
Open Access |
|
Erscheinungsdatum: | 07.2021 |
ISBN: |
|
ISSN: | - |
Homepage: | - |
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 |
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: |
|
Vorträge: |
|