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. © 2013 Springer-Verlag.
CITATION STYLE
Simonsen, K. I. F., Kristensen, L. M., & Kindler, E. (2013). Generating protocol software from CPN models annotated with pragmatics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8195 LNCS, pp. 227–242). https://doi.org/10.1007/978-3-642-41071-0_16
Mendeley helps you to discover research relevant for your work.