MARTE顺序图到CCSL模型的转换-论文.pdf

《MARTE顺序图到CCSL模型的转换-论文.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、CN431258／TP计算机工程与科学第35卷第1O期2013年10月ISSN1007—130XComputerEngineering＆ScienceVol_35．NO．10，Oct．2013文章编号：1007—130X(2013)10—0172—09MARTE顺序图到CCSL模型的转换朱梅霞(天津工业大学计算机科学与软件学院，天津300387)摘要：CCSI定义的模型可对系统的时间属性进行建模，基于Observer技术，还可对CCSI模型的正确性进行分析。但与顺序图相比，CCSI模型不利于用户理解。利用形式化方法实现了顺序图到CCSI模型的转换并证

2、明了两者的互模拟关系。这在一定程度上扩大了MARTE在软件设计中的应用范围和效率：用顺序图对系统的动态行为进行建模，使用户和设计者对系统行为达成一致；将顺序图转换成CCSI模型进行分析，以保证模型的正确性。关键词：实时系统；模型转换；顺序图；CCSI中图分类号：TP301文献标志码：Adoi：IO．3969／j．issn．1007—130X．2013．10．024ApproachtotransformingMARTEsequencediagramtoCCSLmodelsZHUMei—xia(SchoolofComputerScienceandSoft

3、wareEngineering，TianjinPolytechnicUniversity，Tianjin300387，China)Abstract：Theclockconstraintspecificationlanguage(CCSI)isamodelinglanguagedefinedintheMARTE．ByObservertechnique，theverificationoftheCCSImodelscanberealized．However，comparedwithSD，CCSImodelscannotbeeasilyunderstoodb

4、ytheusers．(1)Basedonformalmethods，atransformingtechniqueisproposedtotransformSDtoCCSLmodels；(2)Thebi—simulationrelationbe—tweenSDandthecorrespondingCCSImodelsisalsoproved．Theproposedmethod，toacertainexlent，extendsMARTE’Srangeofapplication：inordertomaketheusersandthedesignerstor

5、eachaconsen—SUS，thesystem’SdynamicbehaviorismodeledbySDatfirst，then，theSDistransformedtoCCSImodelstocheckwhetherthesystemcanmeettherequirement．Anexampleisrunningthroughtoex—poundourmethod．Keywords：real—timesystems；modeltransformation；sequencediagram；CCSI限制了MARTE在软件设计过程中的应用范围和引言

6、效率。为此，在性能分析建模PAM(PerformanceAnalysismodeling)阶段，OMG[提出用模型转MARTE对UML定义的动态图⋯顺序图一⋯换方法将依照MARTE建模阶段设计的模型(记进行了扩充，使其对实时系统的时间属性和动态为A)转换成另一种具有完备的分析方法和工具行为进行建模。在需求建模阶段，设计者通常用的形式化模型(记为B)，然后对B进行分析和精顺序图描述系统的动态行为，但在分析阶段，并没化，间接完成A的分析和精化工作。迄今，对系有直接对顺序图进行分析的工具，这在一定程度上统的时间属性进行建模的工具大都是以下三类的收稿日期：2

7、Ol3O401；修回日期：2013-0801基金项目：国家自然科学基金资助项Et(61173032)；天津工业大学引进人才基金资助项目(2o120042)通讯地址：300387天津市宾水西道399号天津工业大学计算机科学与软件学院Address：SchoolofComputerScienceandSoftwareEngineering，TianjinPolytechnicUniversity，399BinshuiAvenueWest，Tianjin300387，P．R．China朱梅霞：MARTE顺序图到CCSL模型的转换173变形或扩充：时间Pet

8、ri网TPNl2](TimedPetri存在前驱只存在后继。若i是终结instant，则i只Net)、时间变