Specification and analysis of software architectures : modeling of software architectures - Tianjun, Shi