Architecture analysis and design language