Open AccessBehaviour Analysis for Validating Communication Patterns
Author(s) -
Torben Amtoft,
Hanne Riis Nielson,
Flemming Nielson
Publication year - 1997
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v26i527.7056
Subject(s) - computer science , benchmark (surveying) , process (computing) , process calculus , the internet , core (optical fiber) , fragment (logic) , theoretical computer science , programming language , distributed computing , world wide web , telecommunications , geodesy , geography
The communication patterns of concurrent programs can be expressed succinctly using behaviours; these can be viewed as a kind of causal constraints or as a kind of process algebra terms. We present a system which infers behaviours from a useful fragment of Concurrent ML programs; it is based on previously developed theoretical results and forms the core of a system available on the Internet. By means of a case study, used as a benchmark in the literature, we shall see that the system facilitates the validation of certain safety conditions for reactive systems.