Towards an incremental bidirectional partial model synchronization between organizational and functional requirements models

Model-driven software development proposes model transformations as a key system design principle. However, devel-opment of model transformations can be considered as a complex task because of the semantic difference in involved models. In par-ticular, we are interested in the improvement of transformations between organizational and functional requirements models be-cause the current best approaches support only forward and semi-automatic derivation of the later from the former and do not ad-dress different workflow patterns, lack of traceability and tool support, besides not taking advantage of incremental and bidirec-tional approaches. Model synchronization techniques are pro-posed to address these challenges. In this paper, we present an analysis of the main model synchronization engines reported in the literature as well as their tool-support based on a defined set of problem-specific requirements. We present also an approach to achieve these requirements by defining a general mapping scheme and model synchronization rules to be used in the context of soft-ware development process. Initial results and further research steps on it are finally reported.