University of Leicester
Browse
main.pdf (676.13 kB)

Choreography-Based Analysis of Distributed Message Passing Programs

Download (676.13 kB)
conference contribution
posted on 2016-04-06, 08:45 authored by R. Taylor, E. Tuosto, Neil Walkinshaw, J. Derrick
Abstract: We report on the analysis of gen_server, a popular Erlang library to build client-server applications. Our analysis uses a tool based on choreographic models. We discuss how, once the library has been modelled in terms of communicating finite state machines, an automated analysis can be used to detect potential communication errors. The results of our analysis suggest how to properly use gen_server in order to guarantee the absence of communication errors.

History

Citation

Parallel, Distributed, and Network-Based Processing (PDP), 2016 24th Euromicro International Conference on

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016), 17-19th February 2016, Heraclion, Greece

Version

  • AM (Accepted Manuscript)

Published in

Parallel

eissn

2377-5750

isbn

978-1-4673-8775-0;978-1-4673-8776-7

Acceptance date

2015-12-03

Available date

2017-03-08

Publisher version

http://ieeexplore.ieee.org/abstract/document/7445383/

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC