Lecture Notes in Business Information Processing
This book consists of selected papers presented in the framework of the 17th International Conference on Perspectives in Business Informatics Research (BIR 2019), held in Katowice, Poland, September 23–25, 2019. The BIR conference
series was established 17 years ago as the initiative of some German and Swedish universities with the aim of supporting the global forum for researchers in business informatics for their collaboration and exchange of results.
The article is devoted to the problem of automated formal verification of modeling artifacts during engineering of digital transformations. Automation significantly increases the quality of model transformations since many manual errors are eliminated. However, the formal checking the correctness of such automation remains an open question. One more problem is the dependence of the procedure for checking the correctness of transformations on the modeling languages of the source and target models. In the article we represent the solution, based on the formalism of invariant checking, that allows modelers to formally test the correctness of model transformation regardless of a modeling language.