Publikation: Towards Checking Dynamic Controllabilit...
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) |
Erscheinungsdatum: | 15.10.2019 (Online) |
Erschienen in: |
Joint Proceedings of the ER Forum and Poster & Demos Session 2019
Joint Proceedings of the ER Forum and Poster & Demos Session 2019
(
CEUR Workshop Proceedings (CEUR-WS.org);
J. Panach, R. Guizzardi, D. Barreiro Claro
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | 2469 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 1 - 14 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 15.10.2019 |
ISBN (e-book): | - |
eISSN: | 1613-0073 |
DOI: | - |
Homepage: | http://ceur-ws.org/Vol-2469/ |
Open Access |
|
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: | Keine verknüpften Vorträge vorhanden |