Behavioural and performance analysis is a fundamental problem in the develo
pment of parallel (and distributed) programs. To address this problem, mode
ls and supporting environments are required to enable designers to build an
d analyse their programs. The model we put forward in this paper combines g
raphical and textual representations of the program structure and uses disc
rete-event simulation for performance and behaviour predictions. A graphica
l environment supports our model, providing, amongst other features, a grap
hical editor, a simulation engine and a performance and behaviour visualisa
tion tool. A number of case studies using this environment are also provide
d for illustration and validation of our model. Prediction errors observed
in comparisons of real execution and simulation of case studies have accura
cy to within 10%. Copyright (C) 1999 John Wiley & Sons, Ltd.