PetriCode: A Tool for Template-Based Code Generation from CPN Models.

SEFM Workshops(2013)

引用 14|浏览5
暂无评分
摘要
Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs). The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different levels of abstraction. The elements of the models are annotated with code generation pragmatics enabling PetriCode to use a template-based approach to generate code while keeping the models uncluttered from implementation artefacts. PetriCode is the realization of our code generation approach which has been described in previous works.
更多
查看译文
关键词
Model-driven development,Implementation of platforms and tools,Formal methods for software engineering,Coloured Petri Nets
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要