【摘 要】
：
UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图（modal sequence diagram,简称MSD）是对UML 2.0顺序图的模态扩展,区分了强制场景（用universa
【机 构】
：
河海大学计算机及信息工程学院,南京晓庄学院数学与信息技术学院,武汉大学软件工程国家重点实验室
【基金项目】
：
国家高技术研究发展计划（863）（2007AA01Z178）, 中央高校基本科研业务费专项资金（2009B04314）, 武汉大学软件工程国家重点实验室开放基金（2010-08-01）
论文部分内容阅读
UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图（modal sequence diagram,简称MSD）是对UML 2.0顺序图的模态扩展,区分了强制场景（用universal MSD表示,简称uMSD）和可能场景（用existential MSD表示,简称eMSD）.其中,uMSD具有较强的表达能力,能够用于表示并发系统的时态性质,故主要工作围绕uMSD展开.为了使uMSD用于形式化分析、验证和监控,给出基于自动机的uMSD语义解释,并给出各种操作符的算法,用
其他文献
阅读理解是中学英语教学的重点,在课文教学中采用＂提问—阅读—思考—复述—巩固＂五步法培养学生的阅读兴趣,提高学生的阅读能力;帮助学生找到良好的阅读方法,培养良好的阅读习
现代社会,各式各样的产品影响着我们的生活,有好的也有不好的。好的的产品应该让人感觉不到设计的存在,真正融入生活,不仅仅让人们的生活更充满乐趣,还要更少的烦恼来打扰生
对十堰汽车产业技术创新的现状进行了分析，对比了国内外汽车产业技术创新的现状及趋势，提出了十堰地方汽车产业技术创新发展的相应对策。
针对非圆齿轮在无级变速方面的应用,论述了国内外非圆齿轮无级变速研究的现状,分析了非圆齿轮无级变速传动的数学原理,并介绍了一种新型非圆齿轮无级变速传动装置的设计要点
主要讨论线性模型下控制点的选取方法。基本原理建立在对超定方程组系数矩阵的讨论上。理论推导和图像实验表明本讨论结果是有效的,具有一定的实用价值。
介绍了一种基于模拟退火策略的最大-最小蚂蚁系统.根据模拟退火策略来决定使用迭代最优信息素更新规则或是至今最优信息素更新规则.设计出一种随机扰动策略,有效地避免了算法