QQ客服 官方微博 反馈留言

	一种支持软件体系结构模型检查的可视化构件交互建模工具的设计与实现
	张磊 ; 周立 ; 孙艳春 ; 梅宏
	2007
关键词	软件体系结构 模型检查器 构件交互 可视化构件
英文摘要	随着软件技术的不断发展,软件系统的复杂性、多变性不断提高,为了满足软件体系结构的正确性要求,仅有系统静态结构信息的描述方法不足以满足这种需求,因此需要在软件体系结构层次对系统行为进行建模。另一方面,为了使用户能够方便地进行体系结构行为建模,同时通过模型检查方法支持自动的正确性分析与验证,需要从工具上加以支持。本文提出了体系结构层次描述系统行为及约束的构件交互模型,并基于UML顺序图给出了表示法及其语义;其次,本文设计并实现了对应的可视化工具,并集成了已有的模型检查器;最后,本文通过实例展示了该工具在软件体系结构设计与验证中的应用。; 0
语种	中文
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/281504]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	张磊,周立,孙艳春,等. 一种支持软件体系结构模型检查的可视化构件交互建模工具的设计与实现. 2007-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。