PrDK: Protocol Programming with Automata [chapter]

Sung-Shik T. Q. Jongmans, Farhad Arbab
2016 Lecture Notes in Computer Science  
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
more » ... ator, a parser, an interpreter, and a compiler into Java. Performance in the Nas Parallel Benchmarks is promising.
doi:10.1007/978-3-662-49674-9_33 fatcat:grxq4yj2ubfd3kr2jxotd2ykey