《一种基于模型驱动工程进行SYSML状态机图分析验证的方法.pdf》由会员分享,可在线阅读,更多相关《一种基于模型驱动工程进行SYSML状态机图分析验证的方法.pdf(14页珍藏版)》请在专利查询网上搜索。
基于模型驱动工程进行SysML状态机图分析验证的方法,包括步骤:步骤10:根据编辑器设计一个SysML状态机图;步骤11:设计状态机图的时钟;步骤12:新建一个ATL工程;步骤13:将用户设计的状态机图及我们提供的两个元模型和一个转换文件导入到工程中;步骤14:运行转换文件得到结果文件;步骤15:将结果文件用Uppaal打开,模拟分析及验证用户设计的SysML状态机图。本发明为可以验证半形式化的S。