Skip to content

Research at St Andrews

Domain Specific Languages (DSLs) for Network Protocols (Position Paper)

Research output: Contribution to journalArticle



Next generation network architectures will benefit from the many years of practical experience that have been gained in designing, using and operating network protocols. Over time, the networking community has gradually improved its understanding of networked systems in terms of architecture, design, engineering and testing. However, as protocols and networked systems become more complex, it is our contention that it will be necessary for programming techniques to evolve similarly so that they better support the design, implementation and testing of both the functional and the non-functional requirements for the network protocols that will be used.

We therefore envisage new levels of programming language support that permit: (a) the design and implementation of new protocols with provably correct construction; (b) inline testing; and (c) the expression of protocol behaviour within the design. Based on our ongoing work with both network protocols and programming language design, we believe that exploiting the capabilities of recent work in Domain Specific Languages (DSLs) will allow us to meet such requirements, allowing straightforward and "correct-by-construction" design and implementation of next generation network protocols.



Original languageEnglish
Pages (from-to)208-213
Number of pages6
Publication statusPublished - 2009

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. End-to-end mobility for the internet using ILNP

    Phoomikiattisak, D. & Bhatti, S., 16 Apr 2019, In : Wireless Communications and Mobile Computing. 2019, 29 p., 7464179.

    Research output: Contribution to journalArticle

  2. Value-dependent session design in a dependently typed language

    de Muijnck-Hughes, J., Brady, E. C. & Vanderbauwhede, W., 2 Apr 2019, Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, Prague, Czech Republic, 7th April 2019. Martins, F. & Orchard, D. (eds.). Open Publishing Association, p. 47-59 (Electronic Proceedings in Theoretical Computer Science; vol. 291).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Subtype polymorphism à la carte via machine learning on dependent types

    Swan, J., Johnson, C. G. & Brady, E. C., 16 Jul 2018, Companion Proceedings for the ISSTA/ECOOP 2018 Workshops. New York, NY: Association for Computing Machinery, Inc, p. 14-16 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Type driven development of concurrent communicating systems

    Brady, E. C., 7 Jul 2017, In : Computer Science. 18, 3, 22 p., 1413.

    Research output: Contribution to journalArticle

  5. Impact of cell load on 5GHz IEEE 802.11 WLAN

    Abu-Tair, M. & Bhatti, S. N., 27 Mar 2017, 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA). Institute of Electrical and Electronics Engineers Inc.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 4509390