Results 1 - 4 of 4

M.: Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept

by L. M. Kristensen, M. Westergaard - FMICS 2010. LNCS , 2010
"... 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-Partitio ..."
Abstract - Cited by 5 (2 self) - Add to MetaCart
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
(Show Context)

Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets

by K. L. Espensen, M. K. Kjeldsen, L. M. Kristensen, M. Westergaard
"... 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 ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
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
(Show Context)

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

by Kent Inge , Fagerland Simonsen , Lars M Kristensen , Ekkart Kindler
"... Abstract. PetriCode is a tool that supports automated generation of protocol software from a restricted class of Coloured Petri Nets (CPNs) called Pragmatics Annotated Coloured Petri Nets (PA-CPNs). PetriCode and PA-CPNs have been designed with five main requirements in mind, which include the same ..."
Abstract - Add to MetaCart
Abstract. PetriCode is a tool that supports automated generation of protocol software from a restricted class of Coloured Petri Nets (CPNs) called Pragmatics Annotated Coloured Petri Nets (PA-CPNs). PetriCode and PA-CPNs have been designed with five main requirements in mind, which include the same model being used for verification and code generation. The PetriCode approach has been discussed and evaluated in earlier papers already. In this paper, we give a formal definition of PA-CPNs and demonstrate how the specific structure of PA-CPNs can be exploited for verification purposes.
(Show Context)

On the use of Pragmatics for Model-based Development of Protocol Software

by Kent Inge Fagerl
"... Abstract. Protocol software is important for much of the computer based infrastructure deployed today, and will remain so for the foreseeable future. With current modelling techniques for communication protocols, important properties are modelled and verified. However, most implementations are being ..."
Abstract - Add to MetaCart
Abstract. Protocol software is important for much of the computer based infrastructure deployed today, and will remain so for the foreseeable future. With current modelling techniques for communication protocols, important properties are modelled and verified. However, most implementations are being done by hand even if good formal models exist. This paper discusses some of the challenges in modelling and automatically generating software for protocols. The challenges are discussed using the Kao-Chow authentication protocol as a running example by outlining an approach for generating protocol software for different platforms based upon Coloured Petri Nets (CPN). The basic idea of the approach is to annotate the CPN models with pragmatics which can be used in a code generator when mapping the constructs of the CPN model onto the target platform. 1
(Show Context)