DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation.