PetriCode: A Tool for Template-Based Code Generation from CPN Models

Kent Inge Simonsen

doi:10.1007/978-3-319-05032-4_12

PetriCode: A Tool for Template-Based Code Generation from CPN Models

Kent Inge Simonsen

Department of Applied Mathematics and Computer Science

Western Norway University of Applied Sciences

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs). The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different levels of abstraction. The elements of the models are annotated with code generation pragmatics enabling PetriCode to use a template-based approach to generate code while keeping the models uncluttered from implementation artefacts. PetriCode is the realization of our code generation approach which has been described in previous works.

Original language	English
Title of host publication	Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers
Editors	Steve Counsell, Manuel Núnez
Publisher	Springer
Publication date	2014
Pages	151-163
ISBN (Print)	978-3-319-05031-7
ISBN (Electronic)	978-3-319-05032-4
DOIs	https://doi.org/10.1007/978-3-319-05032-4_12
Publication status	Published - 2014
Event	11th International Conference on Software Engineering and Formal Methods (SEFM) 2013 - Madrid, Spain Duration: 25 Sept 2013 → 27 Sept 2013 http://antares.sip.ucm.es/sefm2013/

Conference

Conference	11th International Conference on Software Engineering and Formal Methods (SEFM) 2013
Country/Territory	Spain
City	Madrid
Period	25/09/2013 → 27/09/2013
Other	Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013
Internet address	http://antares.sip.ucm.es/sefm2013/

Series	Lecture Notes in Computer Science
Volume	8368
ISSN	0302-9743

Keywords

Model-driven development
Implementation of platforms and tools
Formal methods for software engineering
Coloured Petri Nets

Access to Document

10.1007/978-3-319-05032-4_12

OpenUrl availability

Full text

Cite this

@inproceedings{433e99103be34be797fa902e3beb4929,

title = "PetriCode: A Tool for Template-Based Code Generation from CPN Models",

abstract = "Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs). The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different levels of abstraction. The elements of the models are annotated with code generation pragmatics enabling PetriCode to use a template-based approach to generate code while keeping the models uncluttered from implementation artefacts. PetriCode is the realization of our code generation approach which has been described in previous works.",

keywords = "Model-driven development, Implementation of platforms and tools, Formal methods for software engineering, Coloured Petri Nets",

author = "Simonsen, {Kent Inge}",

year = "2014",

doi = "10.1007/978-3-319-05032-4_12",

language = "English",

isbn = "978-3-319-05031-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "151--163",

editor = "Counsell, {Steve } and Manuel N{\'u}nez",

booktitle = "Software Engineering and Formal Methods",

note = "11th International Conference on Software Engineering and Formal Methods (SEFM) 2013, SEFM 2013 ; Conference date: 25-09-2013 Through 27-09-2013",

url = "http://antares.sip.ucm.es/sefm2013/",

}

Simonsen, KI 2014, PetriCode: A Tool for Template-Based Code Generation from CPN Models. in S Counsell & M Núnez (eds), Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers. Springer, Lecture Notes in Computer Science, vol. 8368, pp. 151-163, 11th International Conference on Software Engineering and Formal Methods (SEFM) 2013, Madrid, Spain, 25/09/2013. https://doi.org/10.1007/978-3-319-05032-4_12

PetriCode: A Tool for Template-Based Code Generation from CPN Models. / Simonsen, Kent Inge.
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers. ed. / Steve Counsell; Manuel Núnez. Springer, 2014. p. 151-163 (Lecture Notes in Computer Science, Vol. 8368).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - PetriCode: A Tool for Template-Based Code Generation from CPN Models

AU - Simonsen, Kent Inge

PY - 2014

Y1 - 2014

N2 - Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs). The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different levels of abstraction. The elements of the models are annotated with code generation pragmatics enabling PetriCode to use a template-based approach to generate code while keeping the models uncluttered from implementation artefacts. PetriCode is the realization of our code generation approach which has been described in previous works.

AB - Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs). The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different levels of abstraction. The elements of the models are annotated with code generation pragmatics enabling PetriCode to use a template-based approach to generate code while keeping the models uncluttered from implementation artefacts. PetriCode is the realization of our code generation approach which has been described in previous works.

KW - Model-driven development

KW - Implementation of platforms and tools

KW - Formal methods for software engineering

KW - Coloured Petri Nets

U2 - 10.1007/978-3-319-05032-4_12

DO - 10.1007/978-3-319-05032-4_12

M3 - Article in proceedings

SN - 978-3-319-05031-7

T3 - Lecture Notes in Computer Science

SP - 151

EP - 163

BT - Software Engineering and Formal Methods

A2 - Counsell, Steve

A2 - Núnez, Manuel

PB - Springer

T2 - 11th International Conference on Software Engineering and Formal Methods (SEFM) 2013

Y2 - 25 September 2013 through 27 September 2013

ER -

Simonsen KI. PetriCode: A Tool for Template-Based Code Generation from CPN Models. In Counsell S, Núnez M, editors, Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers. Springer. 2014. p. 151-163. (Lecture Notes in Computer Science, Vol. 8368). doi: 10.1007/978-3-319-05032-4_12

PetriCode: A Tool for Template-Based Code Generation from CPN Models

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this