Static Analysis of BPMN-Based Process-Driven Applications
Schneid, Konrad; Usener, Claus A.; Thöne, Sebastian; Kuchen, Herbert; Tophinke, Christian
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Hung, Chihcheng, Papadopoulos; George Angelos
Buchtitel: SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Seitenbereich: 66-74
Verlag: ACM Press
Erscheinungsort: Limassol Cyprus
Status: Veröffentlicht
Veröffentlichungsjahr: 2019 (08.04.2019)
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Limassol, Zypern
ISBN: 978-1-4503-5933-7
Stichwörter: Process-Driven Application; Business Process; BPM; BPMN; Static Analysis; Verification;
Autor*innen der Universität Münster
| Kuchen, Herbert | |
| Schneid, Konrad |