收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

UML Statecharts的切片模型检验方法

董威  王戟  齐治昌  
【摘要】:统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题.

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 阮道源;;分析卡—钠双晶的光学现象[J];中南大学学报(自然科学版);1981年03期
2 王学东;王成;李艳萍;;光弹性全场斜射技术及在三维问题中的应用[J];武汉理工大学学报(交通科学与工程版);1981年04期
3 张宏民;孙珏;王显跃;;轮辐式传感器三向光弹性试验研究[J];计量技术;1982年01期
4 黄文德;何兴荣;;硅太阳电池成本的降低与廉价Si材料生产工艺的发展[J];内蒙古大学学报(自然科学版);1982年01期
5 樊廷玉;崔同昌;郭士宜;张克诚;徐桃霞;;牦牛毛的电镜观察[J];电子显微学报;1984年03期
6 汪宝珍;张德添;;口腔脱落细胞电镜样品制备方法[J];电子显微学报;1984年03期
7 肖居国;;生物显微投影仪在电教课中的应用[J];师范教育;1985年09期
8 林美英;D.H.梯比特;;电镜术的一种平板包埋法[J];电子显微学报;1987年02期
9 张训彪;朱金凤;高文华;;用透射电子显微镜分析光栅沟漕形状的方法[J];电子显微学报;1987年02期
10 郭一松;吴登肃;;选能电子显微镜的简介及其观察生物样品的性能[J];电子显微学报;1988年02期
中国重要会议论文全文数据库 前3条
1 林启训;谢雯君;王则金;童金华;;双孢菇片气调干制工艺优化研究[A];福建省农业工程学会2005年学术年会论文汇编[C];2005年
2 沈梅;白坤海;白晗;;板坯连铸二冷配水模型的研究[A];第十一届全国自动化应用技术学术交流会论文集[C];2006年
3 王汉飞;;中国太阳能光伏产业现状及技术发展趋势[A];可再生能源规模化发展国际研讨会暨第三届泛长三角能源科技论坛论文集[C];2006年
中国硕士学位论文全文数据库 前2条
1 曲梅;计算机图像处理在纺织上的应用[D];新疆大学;2006年
2 丁小峰;饲料色素对黄颡鱼生长、生理机能及体色的影响[D];苏州大学;2006年
中国重要报纸全文数据库 前7条
1 山溪;“蜀中第一菜” 回锅肉[N];中国旅游报;2000年
2 记者 黄丽;美达股份——年产4.5万吨尼龙切片项目投产[N];证券时报;2000年
3 施红娟;需求弱 涤丝价位坐滑梯 产能增 供过于求齐压价[N];中国纺织报;2001年
4 冯世则;来自法国的中国档案[N];科学时报;2001年
5 李剑 李丽萍 彭程;全国首例“医”“患”联手保险诈骗案审结[N];工人日报;2002年
6 李建新 李丽萍 彭程;无病化疗“治癌” 骗保美梦终破碎[N];健康报;2002年
7 ;聚酯切片与涤纶短纤市场分析[N];中国石油报;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978