【摘 要】
：
统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具.但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证.这一点上,形式化方法可与之互
【机 构】
：
重庆师范大学研究生处,重庆,401331
论文部分内容阅读
统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具.但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证.这一点上,形式化方法可与之互补.基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS—结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的.
其他文献
伴随当今社会经济的高速发展的趋势,信息技术也获得了持续进步,应用多媒体辅助教学,已成为当前一种广泛应用于教学实践当中的现代化教学方式.倘若在初中数学教学当中应用多媒
江北砾岩的砾组分析及其测年表明,重庆北碚西师附中剖面的江北砾岩在24.3 kaB.P.至10 kaB.P.期间,总体经历了细→粗→细两个沉积旋回。具体又可以细分为了7个小的粗→细的沉
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
在离散时间Geo/Geo/1多重工作休假排队模型的基础上,加入了负顾客和N策略.这是一个新的模型,改进了已有的相关结论.工作休假是指在休假期间,服务员不是完全停止服务,而是低速
在初中物理教学中,要提高课堂教学的有效性,应当首先关注学生学的如何,学生学习的有效性首先体现在学习是否积极主动地参与体验学习过程;教师教学的有效性首先体现在能否调动
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
在小学数学复习教学中,教师要全面地把握教材,全面地关注学生,有效地组织复习的全过程,引导学生自主建构知识网络,留给他们充分展示个性、独立思考的时间和空间,促进他们综合
化学学科的形成和发展离不开化学实验,《新课标》中明确的提出了化学课程改革的重心是:“提高学生的科学素养.”而实验则是提高学生探究能力、学科素养的重要途径之一.作为教