Special section on program analysis tools

International Journal on Software Tools for Technology Transfer

, Volume 2, Issue 1, pp 13-28

First online:

Behavior analysis for validating communication patterns

  • Torben AmtoftAffiliated withDAIMI, Aarhus University; Ny Munkegade, DK-8000 Aarhus C, Denmark; E-mail: {tamtoft,hrn,fn}@daimi.aau.dk
  • , Hanne Riis NielsonAffiliated withDAIMI, Aarhus University; Ny Munkegade, DK-8000 Aarhus C, Denmark; E-mail: {tamtoft,hrn,fn}@daimi.aau.dk
  • , Flemming NielsonAffiliated withDAIMI, Aarhus University; Ny Munkegade, DK-8000 Aarhus C, Denmark; E-mail: {tamtoft,hrn,fn}@daimi.aau.dk

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

behaviors

; these can be viewed as a kind of causal constraints or as a kind of process algebra terms. We present a system that infers behaviors 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 programs.

Key words: Process algebras – Concurrent ML – Type and effect systems – Validation of safety conditions