Generation Integrated Simulation Environments -- Semantics, Simulation, and Formal