构件交互自动机（Component-Interaction Automata，Co-IA）是扩展了构件之间交互描述的自动机。体系结构分析设计语言（Architecture Anal......