面向嵌入式软件的异构形式化方法的集成

• 作者: 王萍 许海洋
• 来源期刊: 青岛农业大学学报（自然科学版）
• 学科: 工学
• 关键词: 形式化模型 集成方法 元模型
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 工程技术
• 页码范围: 228-234
• 页数: 7页
• 分类号: TP311
• 字数: 3915字
• 语种: 中文
• DOI: 10.3969/J.ISSN.1674-148X.2015.03.014

摘要

MARTE为实时嵌入式软件的构造提供了基础,为了克服MARTE缺乏精确的语义、无法有效地分析、验证软件系统模型的问题,结合Object-Z和PTA在形式化建模中的优点,提出一种集成的形式化方法,该集成模型PTA-OZ能够分别对软件系统的静态结构和动态语义进行验证和分析.在MDA架构下,基于XMI建立了MARTE模型和集成模型之间静态结构的转换框架.最后,通过实例分析了MARTE模型和PTA-OZ模型之间的转换.结果表明,该方法有利于实现图形化模型和形式化模型之间的转换,便于软件开发人员的使用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许海洋	青岛农业大学理学与信息科学学院	22	46	4.0	6.0
2	王萍	青岛农业大学理学与信息科学学院	25	93	5.0	9.0