Dynamic Update of Business Process Management

LEANDRO NAHABEDIAN

Conferencia; Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International Conference on; 2017

Requirements and domain assumptions of BusinessProcess Management (BPM) need to be studied. Most times, theychange during BPM life, unpredictably at design-time, leadingto a BPM update. Updating a BPM must take current stateinto consideration. Update process may vary depending on it.To the best of our knowledge, there is a lack of techniques forupdating BPM at run-time and only few of them build BPMfrom its requirements, which we believe that is the most naturalway for designing them. As updating processes at runtime is acritical duty, there is a need of guaranteeing correct dynamicupdates. Hence, we are interested in correct-by-construction approachesrather than construct-then-verify approaches in orderto automatically provide guarantees of producing only expectedBPM for given requirements. Requirements must be specify inan understandable declarative language, so as to easily designBPM by writing requirements in a convenient way. Moreover, weplan to issue efficient tools supporting the developed techniquesand languages, and then, evaluate them by 1) modelling knowncase studies from the software engineering and BPM literature,and 2) solving real BPM problems from companies or any otherinstitution.