[Show abstract][Hide abstract] ABSTRACT: Abstract. Modeling variability in software architectures is a fundamental
part of software product line development. ∆-MontiArc allows describing
architectural variability in a modular way by a designated core
architecture and a set of architectural delta models modifying the core
architecture to realize other architecture variants. Delta models have to
satisfy a set of applicability conditions for the deﬁnedness of the architectural
variants. The applicability conditions can in principle be checked by
generating all possible architecture variants, which requires considering
the same intermediate architectures repeatedly. In order to reuse previously
computed architecture variants, we propose a family-based analysis
of the applicability conditions using the concept of inverse deltas.
[Show abstract][Hide abstract] ABSTRACT: Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduction of development costs and increases software quality. Integrating variability modeling concepts into architecture description languages (ADLs) is essential for the development of diverse software systems with high demands on software quality. In this paper, we present the integration of delta modeling into the existing ADL MontiArc. Delta modeling is a language-independent variability modeling approach supporting proactive, reactive and extractive product line development. We show how Δ-MontiArc, a language for explicit modeling of architectural variability based on delta modeling, is implemented as domain-specific language (DSL) using the DSL development framework MontiCore. We also demonstrate how MontiCore's language reuse mechanisms provide efficient means to derive an implementation of Δ-MontiArc tool implementation. We evaluate Δ-MontiArc by comparing it with annotative variability modeling.