Generating Protocol Software from CPN Models Annotated with Pragmatics

Kent Inge Simonsen; Lars M. Kristensen; Ekkart Kindler

doi:10.1007/978-3-642-41071-0_16

Generating Protocol Software from CPN Models Annotated with Pragmatics

Kent Inge Simonsen, Lars M. Kristensen, Ekkart Kindler

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

Model-driven software engineering (MDSE) provides a foundation for automatically generating software based on models that focus on the problem domain while abstracting from the details of underlying implementation platforms. Coloured Petri Nets (CPNs) have been widely used to formally model and verify protocol software, but limited work exists on using CPN models of protocols as a basis for automated code generation. The contribution of this paper is a method for generating protocol software from a class of CPN models annotated with code generation pragmatics. Our code generation method consists of three main steps: automatically adding so-called derived pragmatics to the CPN model, computing an abstract template tree, which associates pragmatics with code templates, and applying the templates to generate code which can then be compiled. We illustrate our method using a unidirectional data framing protocol.

Original language	English
Title of host publication	Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Publisher	Springer
Publication date	2013
Pages	227-242
ISBN (Print)	978-3-642-41070-3
ISBN (Electronic)	978-3-642-41071-0
DOIs	https://doi.org/10.1007/978-3-642-41071-0_16
Publication status	Published - 2013
Event	16th Brazilian Symposium on Formal Methods (SBMF 2013) - Brasilia, Brazil Duration: 29 Sept 2013 → 4 Oct 2013 http://cbsoft2013.unb.br/en/sbmf-en

Conference

Conference	16th Brazilian Symposium on Formal Methods (SBMF 2013)
Country/Territory	Brazil
City	Brasilia
Period	29/09/2013 → 04/10/2013
Internet address	http://cbsoft2013.unb.br/en/sbmf-en

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

Access to Document

10.1007/978-3-642-41071-0_16

OpenUrl availability

Full text

Cite this

@inproceedings{ac991f4ab9584775a09448a8a0dc9aab,

title = "Generating Protocol Software from CPN Models Annotated with Pragmatics",

abstract = "Model-driven software engineering (MDSE) provides a foundation for automatically generating software based on models that focus on the problem domain while abstracting from the details of underlying implementation platforms. Coloured Petri Nets (CPNs) have been widely used to formally model and verify protocol software, but limited work exists on using CPN models of protocols as a basis for automated code generation. The contribution of this paper is a method for generating protocol software from a class of CPN models annotated with code generation pragmatics. Our code generation method consists of three main steps: automatically adding so-called derived pragmatics to the CPN model, computing an abstract template tree, which associates pragmatics with code templates, and applying the templates to generate code which can then be compiled. We illustrate our method using a unidirectional data framing protocol.",

author = "Simonsen, {Kent Inge} and Kristensen, {Lars M.} and Ekkart Kindler",

year = "2013",

doi = "10.1007/978-3-642-41071-0_16",

language = "English",

isbn = "978-3-642-41070-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "227--242",

booktitle = "Formal Methods: Foundations and Applications",

note = "16th Brazilian Symposium on Formal Methods (SBMF 2013) ; Conference date: 29-09-2013 Through 04-10-2013",

url = "http://cbsoft2013.unb.br/en/sbmf-en",

}

Simonsen, KI, Kristensen, LM & Kindler, E 2013, Generating Protocol Software from CPN Models Annotated with Pragmatics. in Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer, Lecture Notes in Computer Science, vol. 8195, pp. 227-242, 16th Brazilian Symposium on Formal Methods (SBMF 2013), Brasilia, Brazil, 29/09/2013. https://doi.org/10.1007/978-3-642-41071-0_16

Generating Protocol Software from CPN Models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars M.; Kindler, Ekkart.
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer, 2013. p. 227-242 (Lecture Notes in Computer Science, Vol. 8195).

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

TY - GEN

T1 - Generating Protocol Software from CPN Models Annotated with Pragmatics

AU - Simonsen, Kent Inge

AU - Kristensen, Lars M.

AU - Kindler, Ekkart

PY - 2013

Y1 - 2013

N2 - Model-driven software engineering (MDSE) provides a foundation for automatically generating software based on models that focus on the problem domain while abstracting from the details of underlying implementation platforms. Coloured Petri Nets (CPNs) have been widely used to formally model and verify protocol software, but limited work exists on using CPN models of protocols as a basis for automated code generation. The contribution of this paper is a method for generating protocol software from a class of CPN models annotated with code generation pragmatics. Our code generation method consists of three main steps: automatically adding so-called derived pragmatics to the CPN model, computing an abstract template tree, which associates pragmatics with code templates, and applying the templates to generate code which can then be compiled. We illustrate our method using a unidirectional data framing protocol.

AB - Model-driven software engineering (MDSE) provides a foundation for automatically generating software based on models that focus on the problem domain while abstracting from the details of underlying implementation platforms. Coloured Petri Nets (CPNs) have been widely used to formally model and verify protocol software, but limited work exists on using CPN models of protocols as a basis for automated code generation. The contribution of this paper is a method for generating protocol software from a class of CPN models annotated with code generation pragmatics. Our code generation method consists of three main steps: automatically adding so-called derived pragmatics to the CPN model, computing an abstract template tree, which associates pragmatics with code templates, and applying the templates to generate code which can then be compiled. We illustrate our method using a unidirectional data framing protocol.

U2 - 10.1007/978-3-642-41071-0_16

DO - 10.1007/978-3-642-41071-0_16

M3 - Article in proceedings

SN - 978-3-642-41070-3

T3 - Lecture Notes in Computer Science

SP - 227

EP - 242

BT - Formal Methods: Foundations and Applications

PB - Springer

T2 - 16th Brazilian Symposium on Formal Methods (SBMF 2013)

Y2 - 29 September 2013 through 4 October 2013

ER -

Simonsen KI, Kristensen LM, Kindler E. Generating Protocol Software from CPN Models Annotated with Pragmatics. In Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer. 2013. p. 227-242. (Lecture Notes in Computer Science, Vol. 8195). doi: 10.1007/978-3-642-41071-0_16

Generating Protocol Software from CPN Models Annotated with Pragmatics

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this