MARTE顺序图到TTS4SD的转换

• 作者: 朱梅霞 武继刚
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 实时系统 顺序图 CCSL 形式化方法 模型转换
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 175-178
• 页数: 4页
• 分类号: TP301
• 字数: 5913字
• 语种: 中文

摘要

MARTE对UML的顺序图进行了扩充,使其适用于实时系统的建模阶段,但它不能直接用于正确性验证阶段.对象管理组织提出用模型转换的方法将依照MARTE构造的顺序图(记为A)转换成具有完备的验证方法和工具的形式化模型(记为B).用B表示A的语义可以保证B能够完整且准确地模拟A的行为.提出了形式化模型——TTS4SD,用来描述MARTE顺序图的形式语义,并在此基础上展开了验证.首先给出顺序图的形式定义,把时间变迁系统(TTS)扩充成TTS4SD;然后用TTS4SD描述顺序图的形式语义,并给出从顺序图到TTS4SD的转换算法；最后对TTS4SD展开分析.通过一个实例说明了从顺序图到TTS4SD的转化过程以及基于TTS4SD的验证方法.

作者信息

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