@inproceedings{SchneidUsenerThoeneetal.2019,
  author    = {Schneid, Konrad and Usener, Claus A. and Th{\"o}ne, Sebastian and Kuchen, Herbert and Tophinke, Christian},
  title     = {Static Analysis of BPMN-Based Process-Driven Applications},
  series = {Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing},
  booktitle = {Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing},
  editor    = {Hung, Chih-Cheng and Papadopoulos, George A.},
  publisher = {ACM},
  address   = {New York, NY, USA},
  isbn      = {978-1-4503-5933-7},
  doi       = {10.1145/3297280.3297289},
  pages     = {66 -- 74},
  year      = {2019},
  abstract  = {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.},
  language  = {en}
}