Model differencing is concerned with identifying differences among models and constitutes an important prerequisite to efficiently carry out development and change management tasks in model-driven engineering. While most of the existing model differencing approaches focus on identifying differences on the abstract syntax level, we propose to reason about differences on the semantics level. Thereby, we utilize the behavioral semantics specification of the used modeling language, which enables the execution of the compared models, to reason about semantic differences.

Further details about our approach, our implementation based on the semantics specification language xMOF, as well as examples can be found at

Sorry, the comment form is closed at this time.

© 2018 moliz - Suffusion theme by Sayontan Sinha