Find file
Fetching contributors…
Cannot retrieve contributors at this time
29 lines (19 sloc) 1.83 KB
Clafer is a general-purpose lightweight structural modeling language developed by GSD Lab, University of Waterloo, and MODELS group at IT University of Copenhagen. Clafer can be used for modeling of static hierarchical structures but has no support for modeling the change of the structures over time (behavior). The main goal of Clafer is to make modeling more accessible to a wider range of users and domains.
There are many possible applications of Clafer; however, three are prominent:
Product-Line Modeling - aims at representing and managing commonality and variability of assets in product lines and creating and verifying product configurations. Clafer naturally supports multi-staged configuration.
Multi-Objective Product Optimization - aims at finding a set of products in a given product line that are optimal with respect to a set of objectives. Clafer multi-objective optimizer generates a Pareto front of optimal product configurations.
Domain Modeling - aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. This is also known as Concept Modeling or Ontology Modeling.
Kacper Bak, Original developer.
Jimmy Liang, Main developer.
Michał Antkiewicz, Requirements, development, architecture, testing, technology transfer.
Ed Zulkoski, Python IR Generator.
Luke Michael Brown, co-op student May-Aug 2013. Many improvements.
Rafael Olaechea, Multi-Objective Optimization extensions.
The grammar in a broad sense fetched on 16 October 2014 by Vadim Zaytsev,