University of Münster
CRIS@UM
DE | EN

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 reviewed

Details about the publication

Publisher: Hung, Chihcheng, Papadopoulos; George Angelos
Book title: SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Page range: 66-74
Publishing company: 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
DOI: 10.1145/3297280.3297289
Keywords: Process-Driven Application; Business Process; BPM; BPMN; Static Analysis; Verification;

Authors from the University of Münster

Kuchen, Herbert
Practical Computer Science Group (PI)
European Research Center for Information Systems (ERCIS)
Schneid, Konrad
Practical Computer Science Group (PI)