Conference paper
Generating Protocol Software from CPN Models Annotated with Pragmatics
Model-driven software engineering (MDSE) provides a foundation for automatically generating software based on models that focus on the problem domain while abstracting from the details of underlying implementation platforms. Coloured Petri Nets (CPNs) have been widely used to formally model and verify protocol software, but limited work exists on using CPN models of protocols as a basis for automated code generation.
The contribution of this paper is a method for generating protocol software from a class of CPN models annotated with code generation pragmatics. Our code generation method consists of three main steps: automatically adding so-called derived pragmatics to the CPN model, computing an abstract template tree, which associates pragmatics with code templates, and applying the templates to generate code which can then be compiled.
We illustrate our method using a unidirectional data framing protocol.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2013 |
Pages: | 227-242 |
Proceedings: | 16th Brazilian Symposium on Formal Methods (SBMF 2013) |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | 16th Brazilian Symposium, Sbmf 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings |
ISBN: | 3642410707 , 3642410715 , 9783642410703 and 9783642410710 |
ISSN: | 03029743 |
Types: | Conference paper |
DOI: | 10.1007/978-3-642-41071-0_16 |
ORCIDs: | Kindler, Ekkart |