MULTI 2015 MULTI-LEVEL MODELING WIKI

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)
c0a-neg1.png
 
 Test C0a-pos1: model should conform to constraint C0a (source, model)
 c0a-pos1.png 
 
 Test C0b-neg1: model should violate constraint C0b (source, model)
 c0b-neg1.png 
 
 Test C0b-pos1: model should conform to constraint C0b (source, model)
 c0b-pos1.png 
 
 Test C1-neg1: model should violate constraint C1 (source, model)
 c1-neg1.png 
 
 Test C1-pos1: model should conform to constraint C1 (source, model)
 c1-pos1.png 
 
 Test C1-pos2: model should conform to constraint C1 (source, model)
 c1-pos2.png 
 
 Test C2-neg1: model should violate constraint C2 (source, model)
 c2-neg1.png 
 
 Test C2-pos1: model should conform to constraint C2 (source, model)
 c2-pos1.png 
 
 Test C2b-neg1: model should violate constraint C2b (source, model)
 c2b-neg1.png 
 
 Test C2b-pos1: model should conform to constraint C2b (source, model)
 c2b-pos1.png 
 
 Test C2c-neg2: model should violate constraint C2c (source, model)
 c2c-neg2.png 
 
 Test C2c-neg1: model should violate constraint C2c (source, model)
 c2c-neg1.png 
 
 Test C2c-pos0: model should conform to constraint C2c (source, model)
 c2c-pos0.png 
 
 Test C2c-pos1-dimcolors: model should conform to constraint C2c (source, model)
 c2c-pos1-dimcolors.png 
 
 Test C2c-pos1: model should conform to constraint C2c (source, model)
 c2c-pos1.png 
 
 Test C3a-neg1: model should violate constraint C3a (source, model)
 c3a-neg1.png 
 
 Test C3a-neg2: model should violate constraint C3a (source, model)
 c3a-neg2.png 
 
 Test C3a-pos1: model should conform to constraint C3a (source, model)
 c3a-pos1.png 
 
 Test C3b-neg1: model should violate constraint C3b (source, model)
 c3b-neg1.png 
 
 Test C3c-neg1: model should violate constraint C3c (source, model)
 c3c-neg1.png 
 
 Test C4-pos1: model should conform to constraint C4 (source, model)
 c4-pos1.png 
 
 Test C4a-neg1: model should violate constraint C4a (source, model)
 c4a-neg1.png 
 
 Test C4b-neg3: model should violate constraint C4b (source, model)
 c4b-neg3.png 
 
 Test C4c-neg1: model should violate constraint C4c (source, model)
 c4c-neg1.png