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

Kent Inge Simonsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
Title of host publicationSoftware Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers
EditorsSteve Counsell, Manuel Núnez
PublisherSpringer
Publication date2014
Pages151-163
ISBN (Print)978-3-319-05031-7
ISBN (Electronic)978-3-319-05032-4
DOIs
Publication statusPublished - 2014
Event11th International Conference on Software Engineering and Formal Methods (SEFM) 2013 - Madrid, Spain
Duration: 25 Sep 201327 Sep 2013
http://antares.sip.ucm.es/sefm2013/

Conference

Conference11th International Conference on Software Engineering and Formal Methods (SEFM) 2013
Country/TerritorySpain
CityMadrid
Period25/09/201327/09/2013
OtherCollocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013
Internet address
SeriesLecture Notes in Computer Science
Volume8368
ISSN0302-9743

Keywords

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

Fingerprint

Dive into the research topics of 'PetriCode: A Tool for Template-Based Code Generation from CPN Models'. Together they form a unique fingerprint.

Cite this