Dynamic update of business process management

Requirements and domain assumptions of Business Process Management (BPM) need to be studied. Most times, they change during BPM life, unpredictably at design-time, leading to a BPM update. Updating a BPM must take current state into consideration. Update process may vary depending on it. To the best of our knowledge, there is a lack of techniques for updating BPM at run-time and only few of them build BPM from its requirements, which we believe that is the most natural way for designing them. As updating processes at runtime is a critical duty, there is a need of guaranteeing correct dynamic updates. Hence, we are interested in correct-by-construction approaches rather than construct-then-verify approaches in order to automatically provide guarantees of producing only expected BPM for given requirements. Requirements must be specify in an understandable declarative language, so as to easily design BPM by writing requirements in a convenient way. Moreover, we plan to issue efficient tools supporting the developed techniques and languages, and then, evaluate them by 1) modelling known case studies from the software engineering and BPM literature, and 2) solving real BPM problems from companies or any other institution.