PrDK: Protocol Programming with Automata

Sung-Shik Jongmans*, Farhad Arbab

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-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 languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication22nd 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
EditorsMarsha Chechik, Jean-François Raskin
Place of PublicationBerlin
PublisherSpringer-Verlag Berlin Heidelberg
Chapter33
Pages547-552
Number of pages6
ISBN (Electronic)9783662496749
ISBN (Print)9783662496732
DOIs
Publication statusPublished - 2016
Event22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Eindhoven, Netherlands
Duration: 2 Apr 20168 Apr 2016
Conference number: 22

Publication series

SeriesLecture Notes in Computer Science (LNCS) series
Volume9636
SeriesTheoretical Computer Science and General Issues (LNCS subseries)
Volume9636

Conference

Conference22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated titleTACAS 2016
CountryNetherlands
CityEindhoven
Period2/04/168/04/16

Fingerprint Dive into the research topics of 'PrDK: Protocol Programming with Automata'. Together they form a unique fingerprint.

Cite this