软件体系结构环境中的行为规范说明与验证

以实时线性时态逻辑作为逻辑框架，以时控自动机作为计算模型，扩展了软件体 系结构环境Armani的行为规范说明与验证的能力。从而可以在体系结构描述的基础上从结构 和行为两方面分析验证系统在体系结构层次上的重要性质，减少软件开发的风险；并且支持 非完全规范说明，具有半形式化验证与组合验证的灵活性。

一种用于无线系统的自适应QoS结构

本文介绍了一种通过确认的支持自动化QoS决策的体系结构。该体系结构的模型以及QoS决策功能由辅助组件完成,该辅助组件是由知识库和决策机构联合而成。这种管理体系在适应新形式的QoS请求和降低人为操作上有优势。