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)
Art der Veröffentlichung Printversion
Erschienen in: Future Data and Security Engineering
Future Data and Security Engineering
zur Publikation
 ( Springer; T. Dang, J. Küng, M. Takizawa, S. Bui )
Erscheinungsdatum: 20.11.2019
Titel der Serie: LNCS
Bandnummer: 11814
Erstveröffentlichung: Ja
Seite: S. 145 - 164

Identifikatoren

ISBN:
  • 978-3-030-35652-1
  • 978-3-030-35653-8
ISSN: -
DOI: http://dx.doi.org/10.1007/978-3-030-35653-8_11
AC-Nummer: -
Homepage: https://link.springer.com/chapter/10.1007%2F978-3-030-35653-8_11
Open Access
  • Online verfügbar (nicht Open Access)

Zuordnung

Organisation Adresse
Fakultät für Technische Wissenschaften
 
Institut für Informatik-Systeme
Universitätsstr. 65-67
A-9020  Klagenfurt
Österreich
  -993502
   katja.unterkoefler@aau.at
https://www.aau.at/isys/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung

Sachgebiete
  • 102 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen
  • Information and Communication Systems

Kooperationen

Keine Kooperationspartner ausgewählt

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden