Stammdaten

Titel: Controllability of business processes with temporal variables
Untertitel:
Kurzfassung:

Explicitly introducing temporal variables increases the expressiveness of temporal process models significantly while maintaining the ability to check dynamic controllability of process definitions. We formally define the semantics of process models with temporal constraints and temporal variables and present procedures for checking the correctness of temporal process models in form of dynamic controllability. We show how temporal variables can be used to cope with application relevant requirement patterns, which are not yet supported. On the other hand for general process definition languages like BPMN this work extends the set of process definitions which can effectively be checked for controllability.

Schlagworte:
Publikationstyp: Beitrag in Proceedings (Autorenschaft)
Art der Veröffentlichung Printversion
Erschienen in: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
zur Publikation
 ( ACM - New York; )
Erscheinungsdatum: 08.04.2019
Titel der Serie: -
Bandnummer: -
Erstveröffentlichung: Ja
Seite: S. 40 - 47

Identifikatoren

ISBN:
  • 978-1-4503-5933-7
ISSN: -
DOI: http://dx.doi.org/10.1145/3297280.3297286
AC-Nummer: -
Homepage: https://dl.acm.org/citation.cfm?id=3297286
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
  -993521
   julia.falkner@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