Static Analysis of BPMN-Based Process-Driven Applications
Keywords
Process-Driven Application; Business Process; BPM; BPMN; Static Analysis; Verification;
Cite as
Schneid, K., Usener, C. A., Thöne, S., Kuchen, H., & Tophinke, C. (2019). Static Analysis of BPMN-Based Process-Driven Applications. In Hung, C., Papadopoulos, , & George, A. (Eds.), SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (pp. 66–74). Limassol Cyprus: ACM Press.Details
Publication type
Research article in proceedings (conference)
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
ACM Press
Place
Limassol Cyprus
Language
English
ISBN
978-1-4503-5933-7
DOI