【摘 要】
：
MARTE为实时嵌入式软件的构造提供了基础,为了克服MARTE缺乏精确的语义、无法有效地分析、验证软件系统模型的问题,结合Object-Z和PTA在形式化建模中的优点,提出一种集成的形
【基金项目】
：
江苏省普通高校研究生科研创新计划资助项目（CXLX12_0161）, 国家自然科学基金青年科学基金项目（No.61403223）
论文部分内容阅读
MARTE为实时嵌入式软件的构造提供了基础,为了克服MARTE缺乏精确的语义、无法有效地分析、验证软件系统模型的问题,结合Object-Z和PTA在形式化建模中的优点,提出一种集成的形式化方法,该集成模型PTA-OZ能够分别对软件系统的静态结构和动态语义进行验证和分析。在MDA架构下,基于XMI建立了MARTE模型和集成模型之间静态结构的转换框架。最后,通过实例分析了MARTE模型和PTA-OZ模型之间的转换。结果表明,该方法有利于实现图形化模型和形式化模型之间的转换,便于软件开发人员的使用。
其他文献
目的:探讨沈阳市交通相关的大气细颗粒物(PM2.5)对孕鼠呼吸道微生态平衡及胎鼠生长发育影响。方法:通过采集沈阳主干道实时产生的PM2.5,将其配置成混悬液,采用动态口鼻暴露系
课堂教学的目的是为了很好地完成预定的教学任务, 如今人们将美育教学引入到教学当中, 挖掘学科中的美, 增强学生的审美意识, 创造教学中的审美意识, 运用实践掌握知识中的美
英语是小学阶段的一门重要课程,教师在开展英语教学活动的过程中,应突出学生的主体地位,将教学内容具体化,为学生创设学习语言的情境,激发学生的学习兴趣,培养学生的自主学习
目的：探讨胆道再手术的原因及治疗方法。方法：回顾36例胆道再手术患者的临床资料,对再次手术的原因、处理方法及治疗效果等方面进行系统的分析比较。结果：胆道再手术病因以肝、
为了研究饲料中添加不同比例浒苔对大菱鲆幼鱼生长和非特异性免疫力的影响,选取初始体重为41.21±0.26g的大菱鲆幼鱼随机分为5组,分别用添加0%（对照组,D1）、5%（D2）、10%（D3）、1
与高度，刚硬和反穿性能， nanocrystalline 金属和他们的合金能在表面保护发现宽应用。然而，谷物边界的存在经常导致腐蚀微电池它加速腐蚀的过程。因此，让表面工程研究人员发现有
随着科学水平的迅猛发展,当下信息技术已普及至社会各个领域中,最突出的表现还要属多媒体课堂的演变。在小学低年级语文教学中,由于该阶段学生的年龄限制,很难对课本内容理解