Static Analysis of BPMN-Based Process-Driven Applications
Schneid, Konrad; Usener, Claus A.; Thöne, Sebastian; Kuchen, Herbert; Tophinke, Christian
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Hung, Chihcheng, Papadopoulos; George Angelos
Book title: SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Page range: 66-74
Publisher: ACM Press
Place of publication: Limassol Cyprus
Status: Published
Release year: 2019 (08/04/2019)
Language in which the publication is written: English
Conference: 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Limassol, Cyprus
ISBN: 978-1-4503-5933-7
Keywords: Process-Driven Application; Business Process; BPM; BPMN; Static Analysis; Verification;
Authors from the University of Münster
| Kuchen, Herbert | |
| Schneid, Konrad |