![](bga.png)
consistent over all models and their derived fragments
during domain engineering, and thus, application en-
gineering (i.e., the derivation of products from the
product line) is a purely automated process.
Furthermore, we explained in detail how this ap-
proach provides a significant improvement in model-
driven software product line engineering (MDPLE):
Since we use a generic tool chain for MDPLE, con-
ceptual links between different models, e.g., an Ecore
model and a corresponding Java model containing
body implementations cannot be hard coded in the
tool. In order to provide consistency between these
types of models, the information stored in both of
them has to be integrated using the approach dis-
cussed in this paper.
REFERENCES
Batory, D. S. (2005). Feature models, grammars, and propo-
sitional formulas. In Obbink, J. H. and Pohl, K., ed-
itors, Proceedings of the 9th International Software
Product Line Conference (SPLC’05), volume 3714
of Lecture Notes in Computer Science, pages 7–20,
Rennes, France. Springer Verlag.
Bruneliere, H., Cabot, J., Jouault, F., and Madiot, F. (2010).
MoDisco: a generic and extensible framework for
model driven reverse engineering. In Proceedings
of the IEEE/ACM International Conference on Auto-
mated software engineering (ASE 2010), pages 173–
174, Antwerp, Belgium.
Buchmann, T. (2012). Valkyrie: A UML-Based Model-
Driven Environment for Model-Driven Software En-
gineering. In Proceedings of the 7th International
Conference on Software Paradigm Trends (ICSOFT
2012), pages 147–157, Rome, Italy. SciTePress.
Buchmann, T. and Schw
¨
agerl, F. (2012). Ensuring well-
formedness of configured domain models in model-
driven product lines based on negative variability.
In Proceedings of the 4th International Workshop
on Feature-Oriented Software Development, FOSD
2012, pages 37–44, New York, NY, USA. ACM.
Buchmann, T. and Schw
¨
agerl, F. (2015). On A-posteriori
Integration of Ecore Models and Hand-written Java
Code. In Pascal Lorenz, M. v. S. and Cardoso, J.,
editors, Proceedings of the 10th International Con-
ference on Software Paradigm Trends, pages 95–102.
SciTePress.
Clements, P. and Northrop, L. (2001). Software Prod-
uct Lines: Practices and Patterns. Addison-Wesley,
Boston, MA.
Czarnecki, K., Helsen, S., and Eisenecker, U. W. (2005).
Formalizing cardinality-based feature models and
their specialization. Software Process: Improvement
and Practice, 10(1):7–29.
Famelis, M., L
´
ucio, L., Selim, G., Di Sandro, A., Salay, R.,
Chechik, M., Cordy, J. R., Dingel, J., Vangheluwe, H.,
and Ramesh, S. (2015). Migrating automotive product
lines: a case study. In International Conference on
Theory and Practice of Model Transformations, pages
82–97. Springer.
Frankel, D. S. (2003). Model Driven Architecture: Apply-
ing MDA to Enterprise Computing. Wiley Publishing,
Indianapolis, IN.
Gamma, E., Helm, R., Johnson, R., and Vlissides, J.
(1994). Design Patterns - Elements of Reusable
Object-Oriented Software. Addison-Wesley, Upper
Saddle River, NJ.
Greiner, S., Schw
¨
agerl, F., and Westfechtel, B. (2017). Re-
alizing multi-variant model transformations on top of
reused ATL specifications. In Pires, L. F., Hammoudi,
S., and Selic, B., editors, Proceedings of the 5th In-
ternational Conference on Model-Driven Engineering
and Software Development (MODELSWARD 2017),
pages 362–373, Porto, Portugal. SCITEPRESS Sci-
ence and Technology Publications, Portugal.
Heidenreich, F. (2009). Towards systematic ensuring well-
formedness of software product lines. In Proceedings
of the 1st Workshop on Feature-Oriented Software De-
velopment, pages 69–74, Denver, CO, USA. ACM.
Jouault, F., Allilaire, F., B
´
ezivin, J., and Kurtev, I. (2008).
ATL: A model transformation tool. Science of Com-
puter Programming, 72:31–39. Special Issue on Ex-
perimental Software and Toolkits (EST).
Kang, K. C., Cohen, S. G., Hess, J. A., Novak, W. E.,
and Peterson, A. S. (1990). Feature-oriented do-
main analysis (FODA) feasibility study. Technical Re-
port CMU/SEI-90-TR-21, Carnegie-Mellon Univer-
sity, Software Engineering Institute.
Kang, K. C., Kim, S., Lee, J., Kim, K., Kim, G. J., and Shin,
E. (1998). Form: A feature-oriented reuse method
with domain-specific reference architectures. Annals
of Software Engineering, 5:143–168.
OMG (2015). Meta Object Facility (MOF) Version 2.5.
OMG, Needham, MA, formal/2015-06-05 edition.
Pohl, K., B
¨
ockle, G., and van der Linden, F. (2005). Soft-
ware Product Line Engineering: Foundations, Prin-
ciples and Techniques. Springer-Verlag, Berlin, Ger-
many.
Salay, R., Famelis, M., Rubin, J., Sandro, A. D., and
Chechik, M. (2014). Lifting model transformations
to product lines. In 36th International Conference on
Software Engineering, ICSE ’14, Hyderabad, India -
May 31 - June 07, 2014, pages 117–128.
Steinberg, D., Budinsky, F., Paternostro, M., and Merks,
E. (2009). EMF Eclipse Modeling Framework. The
Eclipse Series. Addison-Wesley, Boston, MA, 2nd
edition.
V
¨
olter, M., Stahl, T., Bettin, J., Haase, A., and Helsen, S.
(2006). Model-Driven Software Development: Tech-
nology, Engineering, Management. John Wiley &
Sons.
Winkler, W. E. (1990). String comparator metrics and en-
hanced decision rules in the fellegi-sunter model of
record linkage.
Managing Variability in Models and Derived Artefacts in Model-driven Software Product Lines
335