TY  - CHAP
A1  - Schneid, Konrad
A1  - Usener, Claus A.
A1  - Thöne, Sebastian
A1  - Kuchen, Herbert
A1  - Tophinke, Christian
ED  - Hung, Chih-Cheng
ED  - Papadopoulos, George A.
T1  - Static Analysis of BPMN-Based Process-Driven Applications
T2  - Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
N2  - Process-Driven Applications (PDA) require less coding, for their business logic is defined by a business process model which can be executed by a process engine. However, inconsistencies between process model and dependent source code artifacts cause runtime errors and reduce development productivity. This paper targets at making the development of PDAs more efficient: It proposes a broader approach to statical analysis which also covers consistency constraints between model and code. When integrated into common analysis tools or a continuous integration pipeline, defects like broken code references or data-flow anomalies can be detected at an early stage without launching the entire application and its process interpretation engine. The approach is demonstrated by a prototype called viadee Process Application Validator (vPAV), which was developed for BPMN-based process models. The prototype has already been used in various BPM projects, attesting high benefit and potential.
KW  - BPM
KW  - BPMN
KW  - Business Process
KW  - Process-Driven Application
KW  - Static Analysis
Y1  - 2019
UR  - https://dl.acm.org/citation.cfm?doid=3297280.3297289
SN  - 978-1-4503-5933-7
U6  - http://dx.doi.org/10.1145/3297280.3297289
SP  - 66
EP  - 74
PB  - ACM
CY  - New York, NY, USA
ER  -