计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2013年
10期
172-180
,共9页
实时系统%模型转换%顺序图%CCSL
實時繫統%模型轉換%順序圖%CCSL
실시계통%모형전환%순서도%CCSL
real-time systems%model transformation%sequence diagram%CCSL
CCSL定义的模型可对系统的时间属性进行建模,基于Observer技术,还可对CCSL模型的正确性进行分析.但与顺序图相比,CCSL模型不利于用户理解.利用形式化方法实现了顺序图到CCSL模型的转换并证明了两者的互模拟关系.这在一定程度上扩大了MARTE在软件设计中的应用范围和效率:用顺序图对系统的动态行为进行建模,使用户和设计者对系统行为达成一致;将顺序图转换成CCSL模型进行分析,以保证模型的正确性.
CCSL定義的模型可對繫統的時間屬性進行建模,基于Observer技術,還可對CCSL模型的正確性進行分析.但與順序圖相比,CCSL模型不利于用戶理解.利用形式化方法實現瞭順序圖到CCSL模型的轉換併證明瞭兩者的互模擬關繫.這在一定程度上擴大瞭MARTE在軟件設計中的應用範圍和效率:用順序圖對繫統的動態行為進行建模,使用戶和設計者對繫統行為達成一緻;將順序圖轉換成CCSL模型進行分析,以保證模型的正確性.
CCSL정의적모형가대계통적시간속성진행건모,기우Observer기술,환가대CCSL모형적정학성진행분석.단여순서도상비,CCSL모형불리우용호리해.이용형식화방법실현료순서도도CCSL모형적전환병증명료량자적호모의관계.저재일정정도상확대료MARTE재연건설계중적응용범위화효솔:용순서도대계통적동태행위진행건모,사용호화설계자대계통행위체성일치;장순서도전환성CCSL모형진행분석,이보증모형적정학성.
