摘要
本申请提供一种基于需求矩阵的状态机模型自动生成方法及装置,方法包括:步骤1:根据所述需求信息构建需求矩阵,并在需求矩阵中进行公式化描述;需求矩阵包括接口信息列表、状态行为列表、状态迁移条件矩阵和优先级矩阵;步骤2:生成空白模型文件,然后提取需求矩阵中的接口信息,并将接口信息转换为状态机模型接口框架并自动注入空白模型文件;步骤3:提取状态行为列表中的状态信息,根据每个状态的类型和状态行为,为每个状态按照预先设定的建模标准注入模型元素并写入相应的内容;步骤4:提取状态迁移条件矩阵中的迁移信息和优先级矩阵中的每个状态迁移的优先级信息,按照预先设定的建模标准,为每个状态迁移和迁移条件注入模型元素。
技术关键词
状态机模型
矩阵
自动生成方法
元素
列表
接口
生成装置
功能模块
节点
框架
场景
端口
系统为您推荐了相关专利信息
电网网架结构
拓扑识别方法
断路器
轮盘赌算法
隔离刀闸
光强
单像素探测器
主成分分析降维
矩阵构建方法
数据采集器
通信信道分配方法
顶点
全双工
着色
蜂窝网络系统
图像融合方法
融合策略
拉普拉斯金字塔
非线性
剪切波