Static Analysis of BPMN-Based Process-Driven Applications

Schneid, Konrad; Usener, Claus A.; Thöne, Sebastian; Kuchen, Herbert; Tophinke, Christian


Keywords
Process-Driven Application; Business Process; BPM; BPMN; Static Analysis; Verification;



Publication type
Forschungsartikel in Sammelband (Konferenz)

Peer reviewed
Yes

Publication status
Published

Year
2019

Conference
34th ACM/SIGAPP Symposium on Applied Computing (SAC)

Venue
Limassol

Book title
SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Editor
Hung, Chihcheng, Papadopoulos; George Angelos

Start page
66

End page
74

Publisher
Association for Computing Machinery

Place
Limassol Cyprus

Language
English

ISBN
978-1-4503-5933-7

DOI