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