Conference article

A Modelica language extension for structural nonmonotonic model variation is presented. It enables selective model extension: the well-defined refinement of models by deselecting components and connections not of interest or inappropriate for a new design. The need for such variations is explained by the example of Modelica Synchronous, whose adaptation is suffering from crosscutting synchronous decompositions that cannot be anticipated when continuous models are designed; instead, contradicting model structure has to be removed when an actual sampling is desired. Besides synchronous, further applications for selective model extension are investigated using our prototype implementation in Dymola.

Modelica, model variation, synchronous