Implementation of Estelle specification using Erlang

摘要

Formal description techniques, like Estelle, are being used for the specifications of telecommunication protocols. While many telecommunication software manufacturers are still using programming languages that were developed in the late 60s or 70s, Ericson's Computer Science Laboratory in Sweden has developed a new declarative programming language, called Erlang, which supports concurrency, distribution, error handling and code updating. This paper describes how Estelle specifications can be implemented using Erlang.