Test Models
The following models represent a subset of those that were used to validate the formalisation of MDM. For each model, you can
- click on the image to see it in full size (most are shown at full size already),
- access the textual model definition via the "source" link, or
- access the directly launchable model (.gel file) via the "model" link.
⇦ back to Models Library
|
Test C0a-neg1: model should violate constraint C0a (source, model) |
|
|
Test C0a-pos1: model should conform to constraint C0a (source, model) |
|
Test C0b-neg1: model should violate constraint C0b (source, model) |
|
Test C0b-pos1: model should conform to constraint C0b (source, model) |
|
Test C1-neg1: model should violate constraint C1 (source, model) |
|
Test C1-pos1: model should conform to constraint C1 (source, model) |
|
Test C1-pos2: model should conform to constraint C1 (source, model) |
|
Test C2-neg1: model should violate constraint C2 (source, model) |
|
Test C2-pos1: model should conform to constraint C2 (source, model) |
|
Test C2b-neg1: model should violate constraint C2b (source, model) |
|
Test C2b-pos1: model should conform to constraint C2b (source, model) |
|
Test C2c-neg2: model should violate constraint C2c (source, model) |
|
Test C2c-neg1: model should violate constraint C2c (source, model) |
|
Test C2c-pos0: model should conform to constraint C2c (source, model) |
|
Test C2c-pos1-dimcolors: model should conform to constraint C2c (source, model) |
|
Test C2c-pos1: model should conform to constraint C2c (source, model) |
|
Test C3a-neg1: model should violate constraint C3a (source, model) |
|
Test C3a-neg2: model should violate constraint C3a (source, model) |
|
Test C3a-pos1: model should conform to constraint C3a (source, model) |
|
Test C3b-neg1: model should violate constraint C3b (source, model) |
|
Test C3c-neg1: model should violate constraint C3c (source, model) |
|
Test C4-pos1: model should conform to constraint C4 (source, model) |
|
Test C4a-neg1: model should violate constraint C4a (source, model) |
|
Test C4b-neg3: model should violate constraint C4b (source, model) |
|
Test C4c-neg1: model should violate constraint C4c (source, model) |
|