Examples

We maintain a large collection of different kinds of large and small models on the Clafer Model Wiki.

Here are a few tiny examples:

Feature Model

Feature models express a multitude of products in Software Product Lines (SPLs). They conviniently model commonalities and variabilities among products.

Clafer model Visualization (CVL notation)
telematicsSystem
    xor channel
        single
        dual

    extraDisplay ?

    xor size
        small
        large

Meta-Model

Meta-models are models of models.

Clafer model Visualization (UML notation)
abstract comp
    version -> integer = 1 + 2

abstract ECU : comp

abstract display : comp
    server -> ECU
    [this.version >= server.version]

Class and Object Diagrams

Class diagrams are structural models composed of classes, attributes, and relationships. Object diagrams represent instances of class diagrams.

Clafer model Visualization (UML notation)
abstract plaECU : ECU
    `display 1..2
        [server = parent]

ECU1 : plaECU

ECU2 : plaECU ?
    master -> ECU1

Constraints

[dual
 extraDisplay
 telematicsSystem.size.large]

More Examples