（）支持对构件之间交互的形式化和分析。