Further Reading - Model-Driven and Software Product Line Engineering - page 238

feature model. Since the number of systems represented by a
featuremodelislarge,twoissuesarethescalabilityofmodeling
and the efficiency of verification. In [CLA 10] the authors
address these issues by defining the notion of the featured
transitionsystemandthenusingthemodel-checkingtechnique
to check properties on the model.
8.13. Summary
There are several topics focusing on software product
line engineering. The most relevant, from our point of view,
are Northop and Clements' topic and Pohl, Böckle and
Vander Linden's topic. There are also extensions of UML.
Gommaa's topic provides a practical and seamless approach
in this context. However, product line engineering needs
more sophisticated techniques and more advanced languages.
The AMPLE Book is a recent topic covering most of the
engineering processes and uses modern techniques such as
variabilitylanguages,MDE,AOP,naturalprocessinglanguage,
etc. Our current topic is focused on the use of model-driven
engineering for a product line. It covers the overall design, the
derivation tool chain, variability management with multiple
stages,and fine-grained variability.There are many topics only
overviewed here requiring more detail. Dynamic variability,
domain-specific languages, and decision models are some of
them. They will be more important in the future of MD-SPL
engineering.