一种基于SysML模型的软件建模方法

本发明提供一种基于SysML模型的软件建模方法，涉及软件工程技术领域。该种基于SysML模型的软件建模方法，包括以下具体步骤：S101、基于EMF技术，构建SysML活动图和Uppaa l的元模型；S102、基于SysML活动图元素和Uppaa l模型元素的对应关系，借助元模型，实现SysML活动图到Uppaa l时间自动机模型的转换。通过填补了目前基于模型的软件开发领域缺乏可用的形式化验证工具的问题，显著提高了软件的可靠性与安全性，降低了软件的测试成本，同时，提出了基于LTL、CTL和TCTL的形式化规范性质模板，降低对使用者专业性的要求，可以显著提高形式化性质规范的编写速度。