Static Analysis of BPMN-Based Process-Driven Applications

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

Schlüsselwörter

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

Zitieren als

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

Publikationstyp
Forschungsartikel in Sammelband (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2019

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

Konferenzort
Limassol

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

Herausgeber
Hung, Chihcheng, Papadopoulos; George Angelos

Erste Seite
66

Letzte Seite
74

Verlag
ACM Press

Ort
Limassol Cyprus

Sprache
Englisch

ISBN
978-1-4503-5933-7

DOI
https://doi.org/10.1145/3297280.3297289