Analysing the behaviour of distributed software architectures: a case study