Automatic Code Generation: Model-Code Semantic Consistency.
Andrew J. Kornecki, Sona Johri · Software Engineering Research and Practice · 2006
Automatic translation or code generation of software models to code may help alleviate problems associated with manual coding effort. This paper emphasizes the importance of attaining a high level of assurance that the process of automatically translating model to code is correct. It illustrates modeling experiments performed using Statemate (iLogix) to establish a correspondence between model elements and code constructs. The research is a step towards achieving assurance of semantic consistency between model and generated code.