Stammdaten

Titel: Towards Checking Dynamic Controllability of Processes with Temporal Loops
Untertitel:
Kurzfassung:

We propose a technique for checking the dynamic controllability of processes with temporally constrained loops. The temporal control structures t-split and t-loop are adequate concepts for modelling the behaviour of processes dependent on the speed of execution of a process instance. While the run-time semantics of these constructs is straightforward, the assessment of the temporal properties of processes with temporal control structures is complex. Here we propose a procedure for checking the dynamic controllability of processes with temporal loops by mapping them to processes without t-loops, which then can be mapped to CSTNUDs, simple temporal networks with uncertainty and decisions. For CSTNUDs procedures for checking dynamic controllability are available.

Schlagworte:
Publikationstyp: Beitrag in Proceedings (Autorenschaft)
Art der Veröffentlichung Online Publikation
Erschienen in: Joint Proceedings of the ER Forum and Poster & Demos Session 2019
Joint Proceedings of the ER Forum and Poster & Demos Session 2019
zur Publikation
 ( CEUR Workshop Proceedings (CEUR-WS.org); J. Panach, R. Guizzardi, D. Barreiro Claro )
Erscheinungsdatum: 15.10.2019
Titel der Serie: -
Bandnummer: 2469
Erstveröffentlichung: Ja
Version: -
Seite: S. 1 - 14

Identifikatoren

ISBN: -
ISSN: 1613-0073
DOI: -
AC-Nummer: -
Homepage: http://ceur-ws.org/Vol-2469/
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: III)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen
  • Information and Communication Systems

Kooperationen

Keine Kooperationspartner ausgewählt

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden