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.