【摘 要】
：
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语义解释,并给出各种操作符的算法,用
其他文献
阅读理解是中学英语教学的重点,在课文教学中采用＂提问—阅读—思考—复述—巩固＂五步法培养学生的阅读兴趣,提高学生的阅读能力;帮助学生找到良好的阅读方法,培养良好的阅读习
老年病人因各种病痛折磨，极易出现心理异常，不利于配合治疗和疾病的康复。因此，护理工作者要善于掌握老年病人的心理特点，根据其文化、职业、经历、病症和心理需要的不同，有的放矢
2009年6月17日至28日，“和平天使-2009”中国与加蓬人道主义医疗救援联合行动在加蓬共和国奥果韦·伊温多省举行。此次联合行动本着友谊、和平、合作、发展的宗旨，以“救死
现代社会,各式各样的产品影响着我们的生活,有好的也有不好的。好的的产品应该让人感觉不到设计的存在,真正融入生活,不仅仅让人们的生活更充满乐趣,还要更少的烦恼来打扰生
对十堰汽车产业技术创新的现状进行了分析，对比了国内外汽车产业技术创新的现状及趋势，提出了十堰地方汽车产业技术创新发展的相应对策。
目的 探讨右美托咪啶对大鼠肝脏缺血再灌注后肺损伤的影响及可能作用机制。方法 45只SD大鼠随机均分为3组,假手术组、对照组和右美托咪定干预组。肝脏缺血再灌注后4h后,检测
落实《卫生条例》四字歌谢世祥卫生条例颁布执行基本法规行动准绳条例总则意义讲明重大举措势在必行基本任务防病治病改善环境牢记心中增进健康预防先行面向部队服务官兵中西
针对非圆齿轮在无级变速方面的应用,论述了国内外非圆齿轮无级变速研究的现状,分析了非圆齿轮无级变速传动的数学原理,并介绍了一种新型非圆齿轮无级变速传动装置的设计要点
主要讨论线性模型下控制点的选取方法。基本原理建立在对超定方程组系数矩阵的讨论上。理论推导和图像实验表明本讨论结果是有效的,具有一定的实用价值。
介绍了一种基于模拟退火策略的最大-最小蚂蚁系统.根据模拟退火策略来决定使用迭代最优信息素更新规则或是至今最优信息素更新规则.设计出一种随机扰动策略,有效地避免了算法