Learn More
We present Clafer, a meta-modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of metaand feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component(More)
We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping(More)
Clafer is a lightweight yet expressive language for structural modeling: feature modeling and configuration, class and object modeling, and metamodeling. Clafer Tools is an integrated set of tools based on Clafer. In this paper, we describe some product-line variability modeling scenarios of Clafer Tools from the viewpoints of product-line owner,(More)
We present Clafer, a class modeling language with first-class support for feature modeling. We designed Clafer as a concise notation for class models, feature models, mixtures of class and feature models (such as components with options), and models that couple feature models and class models via constraints (such as mapping feature configurations to(More)
This paper presents Clafer, a class modeling language with first class support for feature modeling. In the work we identify key differences between class and feature models and show how to unify the two notations. Our language offers simple, yet powerful constraint notation to restrict models and define mappings between features and classes. In the paper,(More)
We propose Example-Driven Modeling (EDM), an approach that systematically uses explicit examples for eliciting, modeling, verifying, and validating complex business knowledge. It emphasizes the use of explicit examples together with abstractions, both for presenting information and when exchanging models. We formulate hypotheses as to why modeling should(More)
Example-driven modeling (EDM) is an approach to systematically using explicit examples for eliciting, modeling, verifying, and validating complex business knowledge. In EDM, examples and abstractions are equally important parts of the model, as both are needed for e ective knowledge transfer (model = examples + abstractions). We show how Clafer, a(More)
The traditional notion of instantiation in Object-Oriented Modeling (OOM) requires objects to be complete, i.e., be fully certain about their existence and attributes. This paper explores the notion of partial instantiation of class diagrams, which allows the modeler to omit some details of objects depending on modeler’s intention. Partial instantiation(More)
Clafer is a textual language for modeling and analysis of software product lines. The language is able to express a wide range of models: feature models, meta-models, and feature-based model templates. Reasoning about those models is required to verify their consistency, detect dead elements, or to guide the configuration process for end-users. Clafer uses(More)