Towards Evolution of Generic Variability Models

  • Andreas Svendsen
  • Xiaorui Zhang
  • Øystein Haugen
  • Birger Møller-Pedersen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7167)


We present an approach for evolving separate variability models when the associated base model is altered. The Common Variability Language (CVL) is a generic language for modeling variability in base models. The base models are oblivious to the associated variability models, causing additional challenges to this association when the base models are maintained. Assuming that a base model has been changed, we suggest using CVL to record this change. Further analysis of this CVL model reveals the impact of the change, an may in some cases result in automatic evolution of the variability model corresponding to the changed base model. We illustrate and discuss the approach using an example from the train domain.


Variability modeling variability model evolution coupled evolution Common Variability Language 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Chivers, H., Paige, R.: Xround: Bidirectional Transformations and Unifications Via a Reversible Template Language. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 205–219. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Deng, G., Lenz, G., Schmidt, D.C.: Addressing Domain Evolution Challenges in Software Product Lines. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 247–261. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    EMF, Emf Compare Project,
  5. 5.
    Endresen, J., Carlson, E., Moen, T., Alme, K.-J., Haugen, Ø., Olsen, G.K., Svendsen, A.: Train Control Language - Teaching Computers Interlocking. In: Computers in Railways XI (COMPRAIL 2008), Toledo, Spain (2008)Google Scholar
  6. 6.
    Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency Handling in Multiperspective Specifications. IEEE Trans. Softw. Eng. 20, 569–578 (1994)CrossRefGoogle Scholar
  7. 7.
    Fleurey, F., Haugen, Ø., Møller-Pedersen, B., Olsen, G.K., Svendsen, A., Zhang, X.: A Generic Language and Tool for Variability Modeling. SINTEF, Oslo (2009)Google Scholar
  8. 8.
    Fleurey, F., Haugen, Ø., Møller-Pedersen, B., Svendsen, A., Zhang, X.: Standardizing Variability – Challenges and Solutions. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 233–246. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Gruschko, B.: Towards Synchronizing Models with Evolving Metamodels. In: Int. Workshop on Model-Driven Software Evolution held with the ECSMR (2007)Google Scholar
  10. 10.
    Haugen, Ø., Møller-Pedersen, B., Oldevik, J., Olsen, G., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: Proceedings of the 2008 12th International Software Product Line Conference. IEEE Computer Society (2008)Google Scholar
  11. 11.
    Herrmannsdoerfer, M.: COPE – A Workbench for the Coupled Evolution of Metamodels and Models. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 286–295. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  12. 12.
    Herrmannsdoerfer, M., Benz, S., Juergens, E.: Automatability of Coupled Evolution of Metamodels and Models in Practice. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 645–659. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  13. 13.
    Mu, S.-C., Hu, Z., Takeichi, M.: An Algebraic Approach to Bi-directional Updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 2–20. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. 14.
    Soy, S.K.: The Case Study as a Research Method. University of Texas, Austin (1997)Google Scholar
  15. 15.
    Stevens, P.: A Landscape of Bidirectional Model Transformations. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol. 5235, pp. 408–424. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  16. 16.
    Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E.J., Alme, K.-J., Haugen, Ø.: The Future of Train Signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 128–142. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  17. 17.
    Svendsen, A., Zhang, X., Lind-Tviberg, R., Fleurey, F., Haugen, Ø., Møller-Pedersen, B., Olsen, G.K.: Developing a Software Product Line for Train Control: A Case Study of CVL. In: Bosch, J., Lee, J. (eds.) SPLC 2010. LNCS, vol. 6287, pp. 106–120. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  18. 18.
    Zhang, X., Haugen, Ø., Møller-Pedersen, B.: Model Comparison to Synthesize a Model-Driven Software Product Line. In: 15th International Software Product Line Conference, Munich, Germany (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Andreas Svendsen
    • 1
    • 2
  • Xiaorui Zhang
    • 1
    • 2
  • Øystein Haugen
    • 1
  • Birger Møller-Pedersen
    • 2
  1. 1.SINTEFOsloNorway
  2. 2.Department of InformaticsUniversity of OsloOsloNorway

Personalised recommendations