PrDK: Protocol Programming with Automata

Sung-Shik Jongmans; Farhad Arbab

doi:10.1007/978-3-662-49674-9_33

PrDK: Protocol Programming with Automata

Sung-Shik Jongmans^*, Farhad Arbab

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

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

Abstract

We present Prdk: a development kit for programming protocols. Prdk is based on syntactic separation of process code, presumably written in an existing general-purpose language, and protocol code, written in a domain-specific language with explicit, high-level elements of syntax for programming protocols. Prdk supports two complementary syntaxes (one graphical, one textual) with a common automata-theoretic semantics. As a tool for construction of systems, Prdk consists of syntax editors, a translator, a parser, an interpreter, and a compiler into Java. Performance in the Nas Parallel Benchmarks is promising.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication	22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editors	Marsha Chechik, Jean-François Raskin
Place of Publication	Berlin
Publisher	Springer-Verlag Berlin Heidelberg
Chapter	33
Pages	547-552
Number of pages	6
ISBN (Electronic)	9783662496749
ISBN (Print)	9783662496732
DOIs	https://doi.org/10.1007/978-3-662-49674-9_33
Publication status	Published - 2016
Event	22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Eindhoven, Netherlands Duration: 2 Apr 2016 → 8 Apr 2016 Conference number: 22

Publication series

Series	Lecture Notes in Computer Science (LNCS) series
Volume	9636

Series	Theoretical Computer Science and General Issues (LNCS subseries)
Volume	9636

Conference

Conference	22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated title	TACAS 2016
Country/Territory	Netherlands
City	Eindhoven
Period	2/04/16 → 8/04/16

Access to Document

10.1007/978-3-662-49674-9_33

Cite this

Jongmans, S.-S., & Arbab, F. (2016). PrDK: Protocol Programming with Automata. In M. Chechik, & J.-F. Raskin (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (pp. 547-552). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-662-49674-9_33

Jongmans, Sung-Shik ; Arbab, Farhad. / PrDK: Protocol Programming with Automata. Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. editor / Marsha Chechik ; Jean-François Raskin. Berlin : Springer-Verlag Berlin Heidelberg, 2016. pp. 547-552 (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

@inproceedings{cd64052ca9e84627867b3f37ba540d38,

title = "PrDK: Protocol Programming with Automata",

abstract = "We present Prdk: a development kit for programming protocols. Prdk is based on syntactic separation of process code, presumably written in an existing general-purpose language, and protocol code, written in a domain-specific language with explicit, high-level elements of syntax for programming protocols. Prdk supports two complementary syntaxes (one graphical, one textual) with a common automata-theoretic semantics. As a tool for construction of systems, Prdk consists of syntax editors, a translator, a parser, an interpreter, and a compiler into Java. Performance in the Nas Parallel Benchmarks is promising.",

author = "Sung-Shik Jongmans and Farhad Arbab",

year = "2016",

doi = "10.1007/978-3-662-49674-9_33",

language = "English",

isbn = "9783662496732",

series = "Lecture Notes in Computer Science (LNCS) series",

publisher = "Springer-Verlag Berlin Heidelberg",

pages = "547--552",

editor = "Marsha Chechik and Raskin, {Jean-Fran{\c c}ois }",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

note = "22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016 ; Conference date: 02-04-2016 Through 08-04-2016",

}

Jongmans, S-S & Arbab, F 2016, PrDK: Protocol Programming with Automata. in M Chechik & J-F Raskin (eds), Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer-Verlag Berlin Heidelberg, Berlin, Lecture Notes in Computer Science (LNCS) series, vol. 9636, Theoretical Computer Science and General Issues (LNCS subseries), vol. 9636, pp. 547-552, 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, Netherlands, 2/04/16. https://doi.org/10.1007/978-3-662-49674-9_33

PrDK: Protocol Programming with Automata. / Jongmans, Sung-Shik; Arbab, Farhad.
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. ed. / Marsha Chechik; Jean-François Raskin. Berlin: Springer-Verlag Berlin Heidelberg, 2016. p. 547-552 (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

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

TY - GEN

T1 - PrDK: Protocol Programming with Automata

AU - Jongmans, Sung-Shik

AU - Arbab, Farhad

N1 - Conference code: 22

PY - 2016

Y1 - 2016

N2 - We present Prdk: a development kit for programming protocols. Prdk is based on syntactic separation of process code, presumably written in an existing general-purpose language, and protocol code, written in a domain-specific language with explicit, high-level elements of syntax for programming protocols. Prdk supports two complementary syntaxes (one graphical, one textual) with a common automata-theoretic semantics. As a tool for construction of systems, Prdk consists of syntax editors, a translator, a parser, an interpreter, and a compiler into Java. Performance in the Nas Parallel Benchmarks is promising.

AB - We present Prdk: a development kit for programming protocols. Prdk is based on syntactic separation of process code, presumably written in an existing general-purpose language, and protocol code, written in a domain-specific language with explicit, high-level elements of syntax for programming protocols. Prdk supports two complementary syntaxes (one graphical, one textual) with a common automata-theoretic semantics. As a tool for construction of systems, Prdk consists of syntax editors, a translator, a parser, an interpreter, and a compiler into Java. Performance in the Nas Parallel Benchmarks is promising.

U2 - 10.1007/978-3-662-49674-9_33

DO - 10.1007/978-3-662-49674-9_33

M3 - Conference Article in proceeding

SN - 9783662496732

T3 - Lecture Notes in Computer Science (LNCS) series

SP - 547

EP - 552

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Chechik, Marsha

A2 - Raskin, Jean-François

PB - Springer-Verlag Berlin Heidelberg

CY - Berlin

T2 - 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Y2 - 2 April 2016 through 8 April 2016

ER -

Jongmans SS, Arbab F. PrDK: Protocol Programming with Automata. In Chechik M, Raskin JF, editors, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Berlin: Springer-Verlag Berlin Heidelberg. 2016. p. 547-552. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636). doi: 10.1007/978-3-662-49674-9_33

PrDK: Protocol Programming with Automata

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this