Publikation: Controllability of business processes w...
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) |
Erscheinungsdatum: | 08.04.2019 (Print) |
Erschienen in: |
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
(
ACM - New York;
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 40 - 47 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.1145/3297280.3297286 |
Homepage: | - |
Open Access |
|
Erscheinungsdatum: | 08.04.2019 |
ISBN: |
|
ISSN: | - |
Homepage: | https://dl.acm.org/citation.cfm?id=3297286 |
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
Keine Partnerorganisation ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Publikation in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(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 |
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden