MARTE顺序图到CCSL模型的转换

作     者：朱梅霞 ZHU Mei-xia

作者机构：天津工业大学计算机科学与软件学院天津300387 

基　　金：国家自然科学基金资助项目(61173032) 天津工业大学引进人才基金资助项目(20120042) 

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2013年第35卷第10期

页      码：172-180页

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

主 题 词：实时系统 模型转换 顺序图 CCSL 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1007-130X.2013.10.024

馆 藏 号：203427524...