时控自动机相关论文
本文介绍了一种通过确认的支持自动化QoS决策的体系结构。该体系结构的模型以及QoS决策功能由辅助组件完成,该辅助组件是由知识库......
以实时线性时态逻辑作为逻辑框架,以时控自动机作为计算模型,扩展了软件体 系结构环境Armani的行为规范说明与验证的能力。从而可以......