5
② 体系结构描述语言
用形式化的符号表示体系,进行建模和结构分析。抽象描
述结构的形式,便于掌握系统全局和特征,便于分析系统
的构成角色和特性,便于复用和继承已有结构,目标是体
系结构自动化。
研究进展:
描述系统结构交互机制
对体系结构特定风格的规范性描述
描述分布式可延展动态系统的结构
用于描述导航和控制体系结构
对体系结构描述中的动态行为建模并模拟运行
! 用形式化对体系结构不同层次的细节描述
"# 用公共接口协议连结构件,粘合生成系统
$ 用于并发系统建模,可对死锁等动态行为分析
第 4 页 / 共 63 页