QQ客服 官方微博 反馈留言

	基于模型转换的MARTE 顺序图的形式化分析
	朱梅霞 ; 王捍贫 ; 刘西奎
	2011
关键词	程序设计 语义定义 算法语言 TTS4SD模型
英文摘要	本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺序图的形式定义, 把时间变迁系统(TTS) 扩充成TTS4SD, 用TTS4SD描述顺序图的形式语义, 最后对TTS4SD展开分析工作，这在很大程度上提高了设计阶段模型的正确性。通过一个实例说明从顺序图到TTS4SD 的转化过程以及基于TTS4SD的验证过程。; 0
语种	中文
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/275424]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	朱梅霞,王捍贫,刘西奎. 基于模型转换的MARTE 顺序图的形式化分析. 2011-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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