Skip to main content
SpringerLink
Log in
Book cover

International Conference on System Analysis and Modeling

SAM 2014: System Analysis and Modeling: Models and Reusability pp 1–15Cite as

BVR – Better Variability Results

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8769))

Abstract

We present BVR (Base Variability Resolution models), a language developed to fulfill the industrial needs in the safety domain for variability modeling. We show how the industrial needs are in fact quite general and that general mechanisms can be used to satisfy them. BVR is built on the OMG Revised Submission of CVL (Common Variability Language), but is simplified and enhanced relative to that language.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Haugen, O., Møller-Pedersen, B., Oldevik, J., Olsen, G.K., Svendsen, A.: Adding Standardized Variability to Domain Specific Languages. In: Geppert, B., Pohl, K. (eds.) SPLC 2008, vol. 1, pp. 139–148. IEEE Computer Society, Limerick (2008)

    Google Scholar 

  2. Haugen, O., Wasowski, A., Czarnecki, K.: CVL: common variability language. In: Proceedings of the 17th International Software Product Line Conference, pp. 277–277. ACM, Tokyo (2013)

    Chapter  Google Scholar 

  3. Object Management Group: Common Variability Language (CVL). Revised Submission, OMG (2012)

    Google Scholar 

  4. Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering. Springer (2005)

    Google Scholar 

  5. Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Software Engineering Institute, Carnegie Mellon University (1990)

    Google Scholar 

  6. Johansen, M.F., Haugen, Ø., Fleurey, F.: An algorithm for generating t-wise covering arrays from large feature models. In: SPLC 2012 Proceedings of the 16th International Software Product Line Conference, vol. 1, pp. 46–55. Association for Computing Machinery (ACM) (2012)

    Google Scholar 

  7. Johansen, M.F., Haugen, Ø., Fleurey, F., Eldegard, A.G., Syversen, T.: Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 269–284. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  8. Johansen, M.F.: Testing Product Lines of Industrial Size: Advancements in Combinatorial Interaction Testing. Ph.D. thesis, Department of Informatics, University of Oslo, Oslo (2013)

    Google Scholar 

  9. Berger, T., Stanciulescu, S., Ogaard, O., Haugen, O., Larsen, B., Wasowski, A.: To Connect or Not to Connect: Experiences from Modeling Topological Variability. In: SPLC 2014. ACM (to appear, 2014)

    Google Scholar 

  10. Reinhartz-Berger, I., Figl, K., Haugen, Ø.: Comprehending Feature Models Expressed in CVL. In: Dingel, J., van de Stadt, R. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 501–517. Springer, Heidelberg (2014)

    Google Scholar 

  11. Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Using Feature Models. Software Process Improvement and Practice 10(2), 143–169 (2005)

    Article  Google Scholar 

  13. Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specifications. Software Process Improvement and Practice 10(1), 7–29 (2005)

    Article  Google Scholar 

  14. Haugen, O.: Domain-specific Languages and Standardization: Friends or Foes? In: Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S., Bettin, J. (eds.) Domain Engineering, pp. 159–186. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  15. Bąk, K., Czarnecki, K., Wąsowski, A.: Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 102–122. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  16. Birtwistle, G.M., Dahl, O.-J., Myhrhaug, B., Nygaard, K.: SIMULA BEGIN. Petrocelli/Charter, New York (1975)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SINTEF, P.O. Box 124, Blindern, NO-0314, Oslo, Norway

    Øystein Haugen

  2. Autronica Fire & Security, P.O. Box 5620, NO-7483, Trondheim, Norway

    Ommund Øgård

Authors
  1. Øystein Haugen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ommund Øgård
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Electrical Engineering and Computer Sience, University of Ottawa, 800 King Edward St., K1N 6N5, Ottawa, ON, Canada

    Daniel Amyot

  2. Department of Statistics and Operations Research, Universitat Politècnica de Catalunya - Barcelona Tech, North Campus - C5218 Room, 08034, Barcelona, Spain

    Pau Fonseca i Casas

  3. Department of Electrical and Computer Engineering, McGill University, 3480 University Street, H3A 0E9, Montreal, QC, Canada

    Gunter Mussbacher

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Haugen, Ø., Øgård, O. (2014). BVR – Better Variability Results. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds) System Analysis and Modeling: Models and Reusability. SAM 2014. Lecture Notes in Computer Science, vol 8769. Springer, Cham. https://doi.org/10.1007/978-3-319-11743-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11743-0_1

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11742-3

  • Online ISBN: 978-3-319-11743-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation