论文部分内容阅读
本文研究了ABC方法中体系结构风格建模和支持工具的设计与实现，主要工作包括：
(1)针对风格对于体系结构模型的指导作用，提出了一套基于风格的体系结构建模框架ABC/SAM，扩充了原有ABC/ADL中的构件语义和连接子语义，从结构、拓扑、行为和变化性等四个角度规约了风格的约束语义，并支持自动验证体系结构模型是否满足预期的风格约束；
(2)针对混合风格的特点，划分了三种基本的混合风格冲突类型，结合具体实例讨论了混合风格实际出现的场景，并提供了风格冲突自动验证的方法；
(3)为相关工作提供了支持工具的原型。