王振宇
- 作品数：2 被引量：8H指数：2
- 供职机构：武汉大学计算机学院软件工程国家重点实验室更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 可视化软件体系结构描述语言IOSADL被引量：3
- 2002年
- 软件体系结构将设计者的注意力从代码行上转移到大粒度的体系结构元素及其交互的设计上。软件体系结构描述语言(ADL)已经成为基于体系结构开发的建模符号系统。在文中,首先在研究ADL特性的基础上,提出一种可视化体系结构描述语言IOSADL(Icon-basedOpennessSoftwareArchitectureDescriptionLanguages),它使用组件、连接件和配置等概念来描述体系结构。
- 叶俊民王振宇赵恒曹瀚
- 关键词：体系结构描述语言编程语言
- 基于体系结构模型检查分布式控制系统被引量：5
- 2004年
- 分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务关键的系统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了该方法在提高分布式控制系统设计质量方面的效果.
- 汪洋魏峻魏峻
- 关键词：软件体系结构分布式控制系统
