|
基本信息Personal Information
教授
曾获荣誉 : 浙江师范大学中青年骨干教师，金华市321人才，浙江省教学优秀案例二等奖等
性别 : 女
毕业院校 : 华东师范大学
学历 : 博士研究生毕业
学位 : 博士学位
在职信息 : 在岗
所在单位 : 计算机科学与技术学院
入职时间 : 2001年08月01日
办公地点 : 21-325
联系方式 : Email：chenlina@zjnu.cn 个人主页： http://mypage.zjnu.edu.cn/CLN/zh_CN/index.htm
Email :
扫描关注
一种新的Statechart模型验证方法
点击量 ：
第一作者 ： 陈丽娜
发表时间 ： 2011-01-01
发表刊物 ： 计算机科学
所属单位 ： 数理与信息工程学院
文献类型 ： 期刊
期号 ： 第2期
页面范围 ： 144-147，165
ISSN ： 1002-137X
关键字 ： 状态图；模型检查；模型验证；时序逻辑；状态爆炸问题；形式化语义；反应系统
摘要 ： 在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言———属性状态图,并利用属性状态图中存在的先后关系和并发关系,把各个属性状态图有机地结合成一个树结构———属性树。属性树涵盖了目标系统要求验证的属性空间,因此可自上而下的验证整棵属性树。在验证过程中系统Statechart模型对应状态空间是逐步展开的,每验证部分属性就展开
是否译文 ： 否