DMCA
Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets
| Citations: | 2 - 0 self |
BibTeX
@MISC{Espensen_towardsautomatic,
author = {K. L. Espensen and M. K. Kjeldsen and L. M. Kristensen and M. Westergaard},
title = {Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Constructing an abstract description in the form of a model can give useful insight into a given system, e.g., to investigate important properties of the system either through simulation or state space analysis, and to use the model as inspiration for subsequent manual implementa-tion. The problem is that a manual implementation may introduce errors in the code not present in the model. Automatic code generation from the model saves resources spent on writing code, and eliminates errors introduced during implementation. This is difficult for coloured Petri nets models as their rich structure translates badly to common program-ming languages. Approaches either severely restrict the input accepted or generate code that is difficult to extend and modify. In this paper we introduce process-partitioned coloured Petri nets, which is an attempt to restrict the input accepted as little as possible while still allowing au-tomatic inference of the control structure of the model to generate code that can be manually modified afterwards. We illustrate our approach using a simple example and demonstrate the viability of the approach by demonstrating that it can be applied to a model of a real-life system, the Dynamic MANET On-demand (DYMO) routing protocol. 1
Keyphrases
process-partitioned coloured petri net towards automatic code-generation state space analysis au-tomatic inference manual implementation common program-ming language real-life system coloured petri net model simple example important property rich structure abstract description subsequent manual implementa-tion useful insight control structure dynamic manet on-demand automatic code generation
