Most often, formal verification of model transformations is performed manually or the methods can be applied only for a certain transformation or for the ...

This description is based on the first-order logic, therefore, if deduction rules are provided, a reasoning system can use an assertion set to automatically.

In this paper, we propose deduction rules and present the verification of a model transformation of processing business process models.

Our approach consists of a reasoning system that works on the formal transformation description and deduction rules for the system. The reasoning system can ...

We will show how to check whether a particular transformation resulted in an output model that preserves the semantics of the input model with respect to a ...

This includes generating code from models, transforming design models into analysis models, or transforming a model between variants of a formalism (such as ...

In this paper, we present a metalevel and highly automated technique to formally verify by model checking that a model transformation from an arbitrary well- ...

Sep 16, 2019 · The article is devoted to the problem of automated formal verification of modeling artifacts during engineering of digital transformations.

This paper discusses an approach to verify this semantic equivalence for each transformation. We will show how to check whether a particular transformation ...

This paper introduces a systematic approach to development of model transformation specifications that are amenable to automated formal verification of its ...