Parameterized Code Generation From Template Semantics

Computer Science;Model-driven development

Prout, Adam

University of Waterloo

关键词: Computer Science;    Model-driven development;   

Others  :  https://uwspace.uwaterloo.ca/bitstream/10012/1027/1/aprout2006.pdf

瑞士|英语

来源: UWSPACE Waterloo Institutional Repository

【 摘 要 】

We have developed a tool that can create a Java code generator for a behavioural modelling notation given only a description of thenotation;;s semantics as a set of parameters. This description is based on template semantics, which has previously been used to describe a wide variety of notations. As a result, we have atechnique for generating Java code for models written in any notation describable in template semantics. Since template semantics allows for models containing nondeterminism, weintroduce mechanisms for eliminating this nondeterminism when generating code. We describe Java implementations of several template-semantics composition operators that have no natural Java representations and give some techniques for optimizing the generated code withoutsacrificing correctness.The efficiency of our generated code is comparable to that of commercial notation-specific codegenerators.