Nowadays Model Driven Engineering is more and more often used for designing complex systems. In this process several engineers can take part in editing the same model. There are two ways of collaboration: online and offline. In case of online collaboration, the model is edited on a common user interface at the same time, if the same part is modified, it results in a conflict. In offline collaboration the participants copy the whole model and publish its modified version after editing. A problem can occur while uploading it: if someone else has already modified the earlier version of the model, it causes a conflict.
Currently the conflict resolution is done manually by using adequate tools. It takes a lot of time when editing models that are used in the industry having several millions of elements, it is not efficient enough. The goal of project MONDO EU FP7 is the improvement of current collaboration tools. I wrote my thesis in cooperation with project MONDO.
The goal of my thesis is resolving modelconflicts by using Design Space Exploration (DSE). In model driven case, DSE is applied to find instance models that are reachable from an initial model with a sequence of transformation rules and also satisfy constraints.
In order to use DSE I designed a rulesystem, which needed the executed operations during modification. The operations are generated from a set of differences as a result of modelcomparison. I provided a general solution for storing of operations by creating an operation storage model.
The integration of rulesystem was accomplished by using VIATRA-DSE framework. It gave an opportunity to implement a tool which is capable of automated conflict resolution in collaborative modeling, so the engineers have to pick only the appropriate resolution in case of conflicts.