MARTE顺序图到CCSL模型的转换

• 作者: 朱梅霞
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 实时系统 模型转换 顺序图 CCSL
• 年，卷（期）: 2013,（10）
• 所属期刊栏目: 软件工程
• 页码范围: 172-180
• 页数: 9页
• 分类号: TP301
• 字数: 9328字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.10.024

摘要

CCSL定义的模型可对系统的时间属性进行建模,基于Observer技术,还可对CCSL模型的正确性进行分析.但与顺序图相比,CCSL模型不利于用户理解.利用形式化方法实现了顺序图到CCSL模型的转换并证明了两者的互模拟关系.这在一定程度上扩大了MARTE在软件设计中的应用范围和效率:用顺序图对系统的动态行为进行建模,使用户和设计者对系统行为达成一致;将顺序图转换成CCSL模型进行分析,以保证模型的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱梅霞	天津工业大学计算机科学与软件学院	7	6	2.0	2.0