【摘 要】
：
统一建模语言UML已经成为面向对象建模语言的标准，正在得到越来越广泛的应用。形式化软件方法能产生严密、精确的规格说明，为软件开发提供严格的数学基础。为了使UML更加精确，同
论文部分内容阅读
统一建模语言UML已经成为面向对象建模语言的标准，正在得到越来越广泛的应用。形式化软件方法能产生严密、精确的规格说明，为软件开发提供严格的数学基础。为了使UML更加精确，同时发挥形式化方法的优势，增加形式化方法在软件开发中的实际作用，我们提出了形式化方法与统一建模语言中Use Case图相结合的方法。 本文使用Z语言给出UML中Use Case图的形式化描述，为UML提供形式化的基础。在本文中，我们采用分而治之的原则，分别对Use Case图中的三种组成成分角色、Use Case和系统进行形式化，然后将这三种成分的形式化描述组合起来，就得到我们所需要的Use Case图的形式化描述。
其他文献
数字水印技术是多媒体通信和多媒体信号处理领域近年来的新的研究方向，作为多媒体作品知识产权保护的有效手段，得到非常广泛的研究和应用。三维运动作为一种新的多媒体数据内容
无线Mesh网络(Wireless Mesh Networks, WMNs)是近年来出现的一种新兴技术,具有快速部署、低成本投入等特点,因此,得到了广泛应用。但WMNs在抗震救灾、地质勘探等一些特殊领
该文主要研究了移动IPv6环境下TCP的性能问题,并针对移动切换问题给出了较完整的解决方案.我们首先分析移动IPv6中的移动检测技术,并在此基础上提出移动IP层的软切换方案.接
由于IPv4地址的紧张,或是由于安全因素的考虑,在现在的Internet中,NAT设备的使用是相当普遍的事.但是NAT设备的使用也带来了许多的问题,它对于VoIP语音通信的影响就是其中的
随着以TCP／IP为核心的计算机信息网络的发展与普及，产生了对网络管理的巨大需求。尤其是异构的复杂网络环境，给网络管理带来了新的挑战，其中安全性尤为重要。如何实施高效安全的
图论（Graph Theory）是数学的一个分支，它与数学的其他分支有密切的关系。这些分支包括群论、矩阵论、数值分析、概率论、拓扑学和组合论等。事实上，图论为任何一个包含二元关系的
随着国民经济的不断增长、人民生活水平的逐步提高以及国际间交往的日益频繁，出门旅行已经成为人们日常生活中的重要组成部分。交通状况的改进，一方面给人们出行带来了更多的方
该文旨在利用计算机网络技术发展的最新成果——虚拟组织(VirtualOrganization)和计算机协同工作(Computer Support Cooperative Work),针对软件外包过程,包括发包方关注的软
无线传感器网络是一种信息获取和处理的综合性新兴学科，它包含了传感器、嵌入式计算机、网络和无线通信等技术，广泛应用于灾难救助、环境监测、紧急搜索、军事、医疗、以及工业
视频会议技术的出现和发展,逐渐改变了人类的社会活动方式.随着宽带网络技术的发展和市场的需求日趋强烈,视频会议系统也开始逐渐由专网走向公网.现有的视频会议系统目前尚未