DMCA
M.: Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept (2010)
| Venue: | FMICS 2010. LNCS |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Kristensen10m.:automatic,
author = {L. M. Kristensen and M. Westergaard},
title = {M.: Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept},
booktitle = {FMICS 2010. LNCS},
year = {2010},
pages = {215--230},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Automatic code generation based on Coloured Petri Net (CPN) models is challenging because CPNs allow for the construction of abstract models that intermix control flow and data processing, making translation into conventional programming constructs difficult. We intro-duce Process-Partitioned CPNs (PP-CPNs) which is a subclass of CPNs equipped with an explicit separation of process control flow, message passing, and access to shared and local data. We show how PP-CPNs caters for a four phase structure-based automatic code generation process directed by the control flow of processes. The viability of our approach is demonstrated by applying it to automatically generate an Erlang imple-mentation of the Dynamic MANET On-demand (DYMO) routing pro-tocol specified by the Internet Engineering Task Force (IETF). 1
Keyphrases
coloured petri net automatic structure-based code generation intermix control flow process-partitioned cpns process control flow pp-cpns caters automatic code generation explicit separation erlang imple-mentation local data internet engineering task force conventional programming construct control flow data processing dynamic manet on-demand cpns allow abstract model message passing
