Model generation in SLX using CMSD and XML stylesheet transformations

This article introduces a novel methodology for automatic simulation model generation. The methodology is based on the usage of XML stylesheet transformations for generating the actual source code of the target simulation system. It is therefore especially well-suited for all language-based simulation systems. The prerequisite for using the methodology is an appropriate representation of the system under investigation in the Core Manufacturing Simulation Data (CSMD) format. The applicability of our methodology is demonstrated for the simulation language SLX as well as for the visualization system Proof Animation.