• A Generic Language and Tool for Variability Modeling 

      Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, Gøran Klepp; Svendsen, Andreas; Zhang, Xiaorui (Research report, 2009)
      This paper presents an approach to variability modeling where variability models are made in a separate, generic language CVL (Common Variability Language) that works with any other language defined by a metamodel. CVL ...
    • BVR - Better Variability Results 

      Haugen, Øystein; Øgård, Ommund (Journal article; Peer reviewed, 2014)
      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 ...
    • Comprehending Feature Models Expressed in CVL 

      Reinhartz-Berger, Iris; Figl, Kathrin; Haugen, Øystein (Journal article; Peer reviewed, 2014)
      Feature modeling is a common way to present and manage variability of software and systems. As a prerequisite for effective variability management is comprehensible representation, the main aim of this paper is to investigate ...
    • Evaluating Domain-Specific Modelling Solutions 

      Mohagheghi, Parastoo; Haugen, Øystein (Journal article; Peer reviewed, 2010)
    • Evolution of the UML Interactions Metamodel 

      Wendland, Marc-Florian; Schneider, Martin; Haugen, Øystein (Journal article; Peer reviewed, 2013)
      UML Interactions represent one of the three different behavior kinds of the UML. In general, they specify the exchange of messages among parts of a system. Although UML Interactions can reside on different level of ...
    • Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels 

      Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger (Research report, 2011)
      We present an approach for improving domain-specific modeling languages (DSML) by automatically revealing unintended models and subsequently introducing constraints to disallow these. One purpose with domain-specific ...
    • Optimizing Alloy Models 

      Svendsen, Andreas; Haugen, Øystein; Møller-Pedersen, Birger (Research report, 2011)
      This paper presents three possible optimizations of Alloy models, including how and when to implement these optimizations. Alloy is a formal light-weight language for performing incremental and automatic analysis. Analysis ...
    • Resolution of Interfering Product Fragments in Software Product Line Engineering 

      Vasilevskiy, Anatoly; Haugen, Øystein (Journal article; Peer reviewed, 2014)
      The Common Variability Language (CVL) allows deriving new products in a software product line by substituting fragments (placement) in the base model. Relations between elements of different placement fragments are an ...