Simulate the behavior specified in an SML specification for a concrete simulation instance within the Eclipse workbench.