找到2项技术成果数据。
找技术>-
一种基于模型驱动工程进行SysML状态机图分析验证的方法
成熟度：正在研发
技术类型：发明
应用行业：制造业
技术简介
基于模型驱动工程进行SysML状态机图分析验证的方法，包括步骤：步骤10：根据编辑器设计一个SysML状态机图；步骤11：设计状态机图的时钟；步骤12：新建一个ATL工程；步骤13：将用户设计的状态机图及我们提供的两个元模型和一个转换文件导入到工程中；步骤14：运行转换文件得到结果文件；步骤15：将结果文件用Uppaal打开，模拟分析及验证用户设计的SysML状态机图。本发明为可以验证半形式化的SysML状态机图，自动化程度高，基于模型驱动工程理念而非传统方法，有效利用现有验证工具等。
-
一种带并发的状态机图转换到自动机的方法
成熟度：正在研发
技术类型：发明
应用行业：制造业
技术简介
一种带并发的状态机图转换到自动机的方法，包括步骤如下：步骤10：输入一个UML状态机图；步骤11：生成一个名字为go的自动机（自动机的名字可根据自己习惯定义），该自动机可以产生一个go信号量；步骤12：对状态机图的每个状态声明一个整型全局变量；步骤13：对状态机图的每个迁移声明一个自动机；步骤14：每个自动机添加两个location（自动机中的节点）和三个transition（自动机中的迁移）；步骤15：根据UML状态图的迁移，完善所添加的location和transition；步骤16：所有产生的自动机，构成转换结果。该方法主要特点为可以将带并发的UML状态机图转化为自动机，方便各个领域应用。