ÆMPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures