Introducing Variability Rules in ATL for Managing Variability in MDE-based Product Lines

Model Transformation with ATL 2010.

工业技术;计算机科学

Marten Sijtema

Others  :  http://ceur-ws.org/Vol-711/paper5.pdf
PID  :  41808

来源: CEUR

【 摘 要 】

Various approaches show that software product lines can be implemented using the Model-Driven Engineering concept of successive model renements. An important aspect of Product-Line Engineering (PLE) is the management of variability. In this paper we propose a strategy to let the model transformation language ATL handle the vari- ability. We consider a transformation sequence that can generate a family of products. Furthermore, we model the variability separately in a feature diagram. In our case, the features from this diagram will have corresponding feature realization artefacts whose blueprints are dened as meta classes residing in meta models throughout the transforma- tion sequence. We use model-to-model transformations written in ATL to instantiate these feature realization artefacts from the meta models, guided by the feature model's feature selection. This paper shows that the conventional language constructs of ATL (ie. rules) are ineective in managing variability this way. We therefore extend the concrete syntax of ATL with the concept of variability rules. This yields a rst-class language construct for variability management. Variability rules are declarative, use implicit scheduling and are a true modular extension; they inherit from the normal rule class in the ATL meta model. This means that they have the same quality properties as normal rules. The execution semantics of variability rulesexecute i the corresponding variant in the feature model is selected { is implemented in a higher-order transformation, which compiles an extended ATL model back to a normal ATL model, therefore no new ATL plugin needs