【摘 要】
：
UML是一种在工业界得到广泛应用的系统建模语言.然而由于缺乏形式化的语义而限制了它向更广泛的应用领域发展.形式化语言虽以其精确语义著称,却无法从现实世界中直接获取模型
论文部分内容阅读
UML是一种在工业界得到广泛应用的系统建模语言.然而由于缺乏形式化的语义而限制了它向更广泛的应用领域发展.形式化语言虽以其精确语义著称,却无法从现实世界中直接获取模型,因而在目前的软件开发实践中并未得到普遍应用.对UML语言进行形式化建模正好对两者起了互补作用.该文提出了一种UML视图的形式化建模和分析方法.基于形式化语言TCOZ,该文首先建立了UML的用例图、类图、协作图和状态图的公共语义模型.在此基础上,给出UML视图中各模型元素到TCOZ的转换规则.接着,将由UML各视图转换所得的TCOZ模型合成,得到系统的一个统一的形式化TCOZ模型,最后利用TCOZ的推理规则对系统模型的活性、安全性等性质进行分析验证.以一个任务分配系统为例,展示了所提出的UML视图的TCOZ建模及其验证方法的可行性.另外,我们开发了UT环境,初步实现了从UML视图到TCOZ模型的自动转换.
其他文献
近年来,中国主要的软件研发单位都开始意识到软件测试的重要性,同时随着J2EE应用的日渐广泛,迫切需要一套有效的软件测试支持工具,能对Servlet和EJB测试提供直接支持.该课题
语音合成的目标是合成的语音可懂、清晰、自然并富有表现力.目前汉语语音合成已经很好地解决了清晰度和可懂度的问题,但是合成语音的自然度一直不理想,表现力较差.无论是自然
基本输入/输出系统(Basic Input/Output System:BIOS)作为底层系统软件以固件的形式与其它硬件设备一同出现在计算机中,在机器加电后被首先执行,它检测并初始化系统部件,然后
伴随着Internet网络和通信规模的不断扩大,越来越多的Web应用程序涌现了出来,Web应用程序正变得越来越复杂,越来越重要.为了帮助管理这种复杂性,需要为Web应用程序建模.统一
随着计算机与网络的日益普及,数据库技术在各行各业广泛应用,同时也保存着大量数据信息,这些数据大多是面向应用的、低层次的,对于企业管理人员来说从中获取有帮助的知识是非
IP电话的本质特征在于语音分组交换技术,它将模拟语音进行模数转换、压缩编码、打包分组,然后基于分组交换网络进行传输,然后再通过解包解压缩处理恢复语音从而实现语音通信.
本文探讨了社保行业数据仓库建设的必要性和可行性，社会保险是我国信息化建设较为成熟的一个领域，经过十几年持续的建设，已基本形成了稳定的应用并积累了海量的数据，这就使建设以
随着软件系统愈来愈复杂,软件设计的核心已从"算法+数据结构"转向对系统总体结构的设计和规范,亦即软件体系结构这一层次上的设计.体系结构是软件系统的高层抽象,用于描述整
扩展标记语言(XML)是一种元标记语言。就像在广域网协会(World Wide Web Consoctium,W3C)的XML 1.0规范中所说明的，XML可以让用户定义自己的标记语言，从而可以在XML文档中描述
随着经济全球化和知识经济时代的到来,企业之间的竞争日益激烈,在这种情况下,企业如何提高自己的产品质量,降低质量成本,增加客户的满意度日益成为企业管理的重要内容.在质量