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;
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
Association for Computing Machinery
Ort
Limassol Cyprus
Sprache
Englisch
ISBN
978-1-4503-5933-7
DOI