Publication: Scheduling Processes Without Sudden Ter...
Master data
Title: | Scheduling Processes Without Sudden Termination |
Subtitle: | |
Abstract: | Dynamic controllability is the most general criterion to guarantee that a process can be executed without time failures. However,it admits schedules with an undesirable property: starting an activitywithout knowing its deadline. We analyze the specific constellations oftemporal constraints causing such a sudden termination. Consequently, we introduce the somewhat stricter notion of semi-dynamic controllability, and present necessary and sufficient conditions to guarantee that aprocess can be executed without time failures and without sudden termination. A sound and complete algorithm for checking whether a processis semi-dynamically controllable complements the approach. |
Keywords: | Process scheduling, Contingent durations,Sudden termination, Controllability |
Publication type: | Article in Proceedings (Authorship) |
Publication date: | 2020 (Print) |
Published by: |
Enterprise, Business-Process and Information Systems Modeling
Enterprise, Business-Process and Information Systems Modeling
(
Springer Nature Switzerland AG;
S. Nurcan, P. Soffer, I. Reinhartz-Berger, J. Zdravkovic
)
to publication |
Title of the series: | - |
Volume number: | 387 |
First publication: | Yes |
Version: | - |
Page: | pp. 117 - 132 |
Versionen
Keine Version vorhanden |
Publication date: | |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.1007/978-3-030-49418-6_8 |
Homepage: | - |
Open access |
|
Publication date: | 2020 |
ISBN: |
|
ISSN: | - |
Homepage: | https://link.springer.com/chapter/10.1007%2F978-3-030-49418-6_8 |
Assignment
Organisation | Address | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Categorisation
Subject areas | |
Research Cluster | No research Research Cluster selected |
Peer reviewed |
|
Publication focus |
Classification raster of the assigned organisational units:
|
working groups |
|
Cooperations
Research activities
Projects: | No related projects |
Publications: | No related publications |
Events: | No related events |
Lectures: |
|