Publikation: Computing History-Dependent Schedules f...
Stammdaten
Titel: | Computing History-Dependent Schedules for Processes with Temporal Constraints |
Untertitel: | |
Kurzfassung: | The importance of adequate management of temporal aspects of process aware information systems is beyond dispute. A particular problem for the management of temporal constraints is to check whether a process definition is correct, where correctness is defined by history-dependent controllability. This means to check whether a history-dependent schedule exists, which obeys all temporal constraints. A schedule defines temporal execution intervals for process steps, in a history-dependent schedule a step might have several execution intervals depending on the control decisions made before this process step is activated. We present a procedure for checking the history-dependent controllability of processes with temporal constraints which is both sound and complete and effectively computes history-dependent schedules for temporally constrained business processes. |
Schlagworte: | Business process management, Workflow, Temporal constraints, Controllability |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 20.11.2019 (Print) |
Erschienen in: |
Future Data and Security Engineering
Future Data and Security Engineering
(
Springer;
T. Dang, J. Küng, M. Takizawa, S. Bui
)
zur Publikation |
Titel der Serie: | LNCS |
Bandnummer: | 11814 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 145 - 164 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.1007/978-3-030-35653-8_11 |
Homepage: | - |
Open Access |
|
Erscheinungsdatum: | 20.11.2019 |
ISBN: |
|
ISSN: | - |
Homepage: | https://link.springer.com/chapter/10.1007%2F978-3-030-35653-8_11 |
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: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: |
|