TASM2UPPAAL模型转换方法专利登记公告
专利名称：TASM2UPPAAL模型转换方法
摘要：本发明涉及一种模型转换方法，用于将TASM模型转换为UPPAAL模型，使用KM3描述目标语言UPPAAL的元模型；针对TASM模型的环境变量与抽象机，执行规则语法元素，使用环境变量的转换方法和主抽象机与执行规则的转换方法，将TASM模型转换为UPPAAL模型。
专利类型：发明专利
专利号：CN201210027759.X
专利申请（专利权）人：北京航空航天大学
专利发明（设计）人：胡凯;张腾;杨志斌;顾斌;蒋树;姜泮昌
主权项：一种模型转换方法，用于将TASM模型转换为UPPAAL模型，其特征在于：使用KM3描述目标语言UPPAAL的元模型；针对TASM模型的环境变量与抽象机，执行规则语法元素，使用环境变量的转换方法和主抽象机与执行规则的转换方法，将TASM模型转换为UPPAAL模型。
专利地区：北京
关于上述专利公告申明 : 上述专利公告转载自国家知识产权局网站专利公告栏目，不代表该专利由我公司代理取得，上述专利权利属于专利权人，未经（专利权人）许可，擅自商用是侵权行为。如您希望使用该专利，请搜索专利权人联系方式，获得专利权人的授权许可。