首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
TASM2UPPAAL模型转换方法
摘要
本发明涉及一种模型转换方法,用于将TASM模型转换为UPPAAL模型,使用KM3描述目标语言UPPAAL的元模型;针对TASM模型的环境变量与抽象机,执行规则语法元素,使用环境变量的转换方法和主抽象机与执行规则的转换方法,将TASM模型转换为UPPAAL模型。
申请公布号
CN102609260A
申请公布日期
2012.07.25
申请号
CN201210027759.X
申请日期
2012.02.08
申请人
北京航空航天大学
发明人
胡凯;张腾;杨志斌;顾斌;蒋树;姜泮昌
分类号
G06F9/44(2006.01)I
主分类号
G06F9/44(2006.01)I
代理机构
代理人
主权项
一种模型转换方法,用于将TASM模型转换为UPPAAL模型,其特征在于:使用KM3描述目标语言UPPAAL的元模型;针对TASM模型的环境变量与抽象机,执行规则语法元素,使用环境变量的转换方法和主抽象机与执行规则的转换方法,将TASM模型转换为UPPAAL模型。
地址
100191 北京市海淀区学院路37号
您可能感兴趣的专利
多角度照明灯具
一种降低噪音的装置
两层升降停车装置
一种铌酸锂基1×2非对称电极Y分叉数字光开关
一种板坯连铸机结晶器倒锥度测量装置
抗菌磁性远红外芯片式卫生巾
基于磁力吸引原理的广告宣传产品
植绒机用落绒装置
接触式IC卡
冰箱用LED照明灯
地下土壤热传导特性现场测试装置
一种接地电阻器
试卷卷面手写体数字自动识别装置
一种高效库仑测硫仪
道路风障
可由伞尖顶端吸水并喷射出水流的两用伞
真空低温摩擦磨损试验仪
带伸缩镜的照镜系统
闪光灯辅助架
白瓜子热风烘干机