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