QQ客服 官方微博 反馈留言

	The analysis of Sequence Diagram with time properties in qualitative and quantitative aspects by model transformation
	Zhu, Meixia ; Wang, Hanpin ; Cao, Yongzhi ; Wang, Zizhen ; Jin, Wei
	2010
英文摘要	The Sequence Diagram (SD) with time properties is frequently used in the preliminary developing phase of embedded real time system, however, it is not easy to verify due to its informal semantics. An extended time Petri net (TPN) with weak semantics-TLOPNforSD-is defined and proved to be decidable as far as reachability, boundedness and coverability are concerned. A method for progressively refining the SD is also offered in the transformation phase. The SD with time properties are made to be more reliable in two aspects: (1) an enabled transitions generating algorithm based on weak semantics is designed. Based on this algorithm, the verification of SD with time properties in qualitative aspect can be realized by dint of ROMEO; (2) using the state-class diagram obtained in qualitative analysis phase, a scheduling strategy satisfying all the time constraints specified in the SD is worked out. The strategy is used to get compelling time intervals which are more accurate than the static intervals predefined on the SD for every event. ? 2010 IEEE.; EI; 0
语种	英语
DOI标识	10.1109/APSEC.2010.23
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/329620]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Zhu, Meixia,Wang, Hanpin,Cao, Yongzhi,et al. The analysis of Sequence Diagram with time properties in qualitative and quantitative aspects by model transformation. 2010-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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