Browsing SINTEF Open by Author "Møller-Pedersen, Birger"

Now showing items 1-4 of 4

    • 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 ...

    • DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation 

      Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar; Stølen, Ketil (SINTEF Rapport;, Research report, 2012)
      Information systems are ever more connected to the Internet, which gives wide opportunities for interacting with other actors, systems and resources and for exploiting the open and vast marked. This pushes the limits for ...

    • 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 ...