论文部分内容阅读
分析了当前体系结构精化的研究工作，基于体系结构形式化描述语言πADL，提出了体系结构交互动作精化的概念，定义了交互动作精化的规约方法，给出了交互动作精化遵循的法则，有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题．开发了体系结构交互动作精化的推导算法，确保精化。过程中高层体系结构的行为特性得到保持，并自动生成低层体系结构．实例研究表明了该方法的可行性。