Aims & Scope

FoMaC is concerned with the foundations for mastering change and variation during the whole systems lifecycle at various conceptual levels, in particular during

Meta Modeling

This can be regarded as a technology transfer issue, where methods are considered to systematically adapt solutions from one (application) domain for another domain. This comprises meta modeling, generation of and transformations between domain specific languages, as well as other issues of domain modeling and validation.

Modeling and Design

This is the main level at which ‘classical’ variability modeling operates. The methods considered here generalize classical modeling to specifically address variability issues, like where and how to change things, and technology to maintain structural and semantical properties within the range of modeled variability. Here methods like feature modeling, ‘150% modeling’, productline management, model to model transformations, constraint-based (requirement) specification, synthesis-based model completion, model checking, and feature interaction detection are considered.


At this level, FoMaC addresses methods beyond classical parametric and modular programming approaches, like aspect orientation, delta programming, program generation, generative programming, and program transformation, but also static and dynamic validation techniques, like program verification, symbolic execution, runtime verification, (model-based) testing, and test-based modeling,


This is the level of self-X technology, where methods are addressed that allow, steer, and control autonomous evolution of systems during runtime. These methods comprise techniques to achieve fault tolerance, runtime planning and synthesis, higher-order exchange of functionality, hot deployment and fail-over, and they should go hand in hand with the above mentioned dynamic validation techniques, like program verification, symbolic execution, runtime verification, (model-based) testing, test-based modeling, and monitoring.


This level is concerned with the long-term perspective of system evolution, i.e. the part where the bulk of costs is accumulated. Central issues here are the change of platform, the merging of systems of overlapping functionality, the maintenance of downward compatibility, and the support of a continuous (system) improvement process, as well as continuous quality assurance, comprising regression testing, monitoring, delta testing, and model-based diagnostic features.

FoMaC comprises Regular Papers and Special Sections. Both need to clearly focus on change. Special Sections, however, provide the unique opportunity to shed light on a wider thematic context while establishing appropriate (change-oriented) links between the subtopics.