Collaborations within the SPP

Precise and meaningful descriptions of model changes are strongly required for almost any approach dealing with model evolution. Thus, technologies being developed in the MOCA-project lead to cross-cutting tool functions which can be integrated in other projects, e.g. to realize analysis techniques, incremental validation/verification procedures, etc.

Examples of these collaborations are:

  • With IMoTEP, we are working on consistent evolution of SPL artifacts.
  • Together with Ensure, we developed a generic framework for analyzing model co-evolution.
  • With SecVolution, we aim at the identification of meaningful evolution steps in SecVolutions's security maintenance model.
  • With DAPS, we aim at semi-automated delta extraction in the context of variability modeling.