Publikation: GSM+T: A Timed Artifact-Centric Process...
Stammdaten
Titel: | GSM+T: A Timed Artifact-Centric Process Model |
Untertitel: | |
Kurzfassung: | We introduce an extension to the declarative and artifact-centric Guard Stage Milestone (GSM) process modeling language to represent temporal aspects (duration, deadlines, lower- and upper-bound constraints), define the correctness of executions of GSM processes with respect to temporal constraints, check controllability of processes, compute execution plans respecting temporal constraints, and provide a translation method allowing to execute controllable GSM+T processes on standard GSM Engines. |
Schlagworte: | Guard Stage Milestone, GSM, Time Constraints, Controllability, Case Handling, Business Process Modeling |
Publikationstyp: | Beitrag in Proceedings (Autorenschaft) |
Erscheinungsdatum: | 26.09.2018 (Print) |
Erschienen in: |
25th International Symposium on Temporal Representation and Reasoning (TIME 2018)
25th International Symposium on Temporal Representation and Reasoning (TIME 2018)
(
Schloss Dagstuhl - Leibniz-Zentrum für Informatik;
N. Alechina, K. Norvag, W. Penczek
)
zur Publikation |
Titel der Serie: | LIPIcs |
Bandnummer: | 120 |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 1 - 15 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.4230/LIPIcs.TIME.2018.18 |
Homepage: | - |
Open Access |
|
Erscheinungsdatum: | 26.09.2018 |
ISBN: |
|
ISSN: | 1868-8969 |
Homepage: | http://drops.dagstuhl.de/opus/volltexte/2018/9783 |
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
Organisation | Adresse | ||
---|---|---|---|
UC Santa Barbara
|
US
Santa Barbara |
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: |
|
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden