QQ客服 官方微博 反馈留言

	A game perspective of refinement of component models
	Wang, Zizhen ; Wang, Hanpin ; Cao, Yongzhi ; Qu, Wanling ; Jin, Wei ; Zhu, Meixia
	2010
英文摘要	Previous works on formal development for component-based systems usually equate refinement relations as behaviors containment. This setting facilitates verifying safety properties, but can't capture the intuition that a refined component should more easily react to the environment and is not convenient from a point view of design. To address this issue, we argue in favor of defining refinement of component models in terms of alternating simulation, which is a relation on game models with a game-theoretical interpretation. We investigate the refinement relations of component models in the framework of rCOS, which is a formal development method for component systems. We propose the refinement relations of rCOS contract models and specification models respectively and further prove they are alternating simulations. Finally, we define the composition operator on specifications and show the alternating refinement is compositional with respect to this operator. ? 2010 IEEE.; EI; 0
语种	英语
DOI标识	10.1109/COMPSAC.2010.52
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/295463]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Wang, Zizhen,Wang, Hanpin,Cao, Yongzhi,et al. A game perspective of refinement of component models. 2010-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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