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

• 作者: 支小莉 陆鑫达
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件体系结构 行为规范 时控自动机
• 年，卷（期）: 2003,（11）
• 所属期刊栏目: 博士论文
• 页码范围: 8-10
• 页数: 3页
• 分类号: TP311.5
• 字数: 3359字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.11.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆鑫达	上海交通大学计算机系	60	406	9.0	18.0
2	支小莉	上海交通大学计算机系	5	25	2.0	5.0