2016-04-04
PrDK: Protocol programming with automata
Publication
Publication
Presented at the
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (April 2016), Eindhoven, The Netherlands
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.
| Additional Metadata | |
|---|---|
| doi.org/10.1007/978-3-662-49674-9_33 | |
| International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
| Organisation | Computer Security |
|
Jongmans, S., & Arbab, F. (2016). PrDK: Protocol programming with automata. doi:10.1007/978-3-662-49674-9_33 |
|
