【摘 要】
：
统一建模语言(UML)己经成为软件建模事实上的标准,但是它也存在不少问题。尽管UML大部分的语法已经定义,并给出了静态语义,但是动态语义大部分只是用自然语言描述,经常产生模
论文部分内容阅读
统一建模语言(UML)己经成为软件建模事实上的标准,但是它也存在不少问题。尽管UML大部分的语法已经定义,并给出了静态语义,但是动态语义大部分只是用自然语言描述,经常产生模糊或歧义,或者干脆没有给出语义。因此,对UML进行形式语义研究,对增进该语言的准确性、一致性和可扩展性是十分有帮助的,为模型的正确性证明、转换以及支持UML建模工具的一致性检查提供了有力的理论工具。 本文首先介绍了形式化方法和Z语言,然后引入了一种面向对象的形式化规格说明语言OOZS,借助于该语言对UML的类图、用例图、状态图和顺序图进行形式化描述,给出了这四种图的所有模型元素的语法描述和操作语义,从而建立了一种从图形加文字的非形式化模型到具有数学基础的形式化模型的映射,在此基础之上,可以进一步地进行模型一致性检测、代码半自动生成、测试用例自动产生、程序正确性验证等工作。
其他文献
专利制度本身存在着功利性和垄断性，这就在一定程度上为专利权的滥用提供了可能；而知识经济大背景下科学技术在经济竞争的巨大作用、世界贸易组织框架下关税壁垒日渐削弱的现实
使用.Net和J2EE等开发平台及各种Web开发框架来开发Web应用系统,可降低开发的费用和复杂性,降低系统部署与维护的开销,提高系统的开发速度和质量,但难以有效地复用系统设计的
传媒业是当今最具活力的产业之一。20世纪60年代以来，西方传媒业采用经济界盛行的企业集团(Conglomerate)发展理念和发展模式，出现了一批传媒企业集团。美国在线—时代华纳、迪
<正>GE和斯奈克玛(赛峰集团)最新研发的LEAP发动机将按计划于2014年取得适航证。该产品在保持目前发动机的维护成本和可靠性的同时,其燃油效率将得到15%的提高,同时噪音及排
成都市应急联动指挥信息系统是一个集话音、数据、图像为一体,以信息网络为基础、各系统有机互动为特点的城市信息化基础设施。通过集成的信息网络和通信系统,应急联动指挥信
本文以蛹虫草菌[Cordyceps Militarism（L.Fr）Link]为实验材料,系统而深入地研究了蛹虫草液体发酵的培养基及培养条件的优化,并在所得的优化培养基及培养条件下进行扩大培养。然
在企业中，重视组织个体绩效而忽略团队绩效的情况极为普遍，这大大降低了绩效管理的有效性。如何强化团队绩效的管理，从而有效实现企业战略和组织目标?这是许多企业面临的、迫切
体育教学对于小学生的身心健康发展具有重要意义,国内外许多教育专家都推崇在小学体育教育中培养学生的抗挫能力,但实际上,由于受到各种主客观综合因素的影响,部分小学体育教
现在的市场竞争非常激烈，企业生存发展的根本条件是有稳定的顾客群。所以许多公司在不断的追求高度满意的顾客。如何探索出顾客期望是很多公司想知道的问题，并由此分析出真正能