【摘 要】
：
UML是一种工业界应用最为广泛的建模语言.自1997年OMG提出UML概念至今,UML得到迅速的扩充和发展,目前已经成为面向对象系统的规范语言标准.但是由于缺乏形式化的语义及其多视
论文部分内容阅读
UML是一种工业界应用最为广泛的建模语言.自1997年OMG提出UML概念至今,UML得到迅速的扩充和发展,目前已经成为面向对象系统的规范语言标准.但是由于缺乏形式化的语义及其多视角建模视图之间存在的不一致性,大大限制了UML向更广泛的应用领域的扩展.它因此也不能被称之为足够精确的规范语言.TCOZ是近年来新提出的形式化语言的一个分支.它是规范语言Object-Z 和Timed CSP的良好结合,继承了两者在规范描述方面的长处,同时避免了短处.TCOZ拥有强大的规范描述能力,支持特别复杂系统的规范描述,是一种严格的形式化规范语言.该文的主要工作如下:1.用TCOZ精确的形式化语法语义表述,对UML的主要视图(类图、协作图)进行形式化映射,主要包括对这些视图的语义进行形式化描述、提出两种语言描述单位之间的转换规则、根据转换规则应用到实例中,实现两种语言描述的转换.2.利用形式化模型进行系统级的性质分析,包括时间参数建模能力的增强、系统一致性比较等.
其他文献
Web商业化至今,搜索引擎始终是网络上被使用最多的服务项目.然而,随着网上内容的爆炸式增长和内容形式花样的不断翻新,传统的搜索引擎越来越不能满足人们的各种信息需求,主要
该文首先介绍了搜索引擎的整体发展情况,包括中文智能搜索引擎的现状和特点,然后对文本自动分类系统中所涉及的关键技术,包括向量空间模型,文本表示方法,分词方法,特征提取,
Sun的企业Java平台J2EE为实现多层体系结构提供了具体的技术规范.由于Java的跨平台性,J2EE具有工业强度的可扩展性,支持合理的集成和灵活的部署.该文在深入研究了多层体系结
智能化是计算机发展的必然趋势，无论是计算机控制，还是商用民用软件，都要求含有越来越高的智能因素，因此人工智能领域的研究越来越受到重视。近几年多智能体系统成为研究热点之一
该论文研究如何提高设备驱动程序的开发周期、安全性及可移植性等问题.论文首先对设备驱动程序所涉及到的各个方面作了简单介绍,总结了前人所作的相关工作,提出了一个解决设
在Internet/Intranet技术和应用发展的同时,面向对象技术也获得了长足的进展,并由此产生了分布对象计算技术,以及基于组件的多层体系结构技术架构.目前,基于组件的多层体系结
近些年来,随着计算机技术的快速发展和企业信息化程度的不断提高,企业数据量正呈现指数增长,这些数据蕴含着大量的信息财富,通过对其合理存储和管理,可以减少知识流失,为企业
该文在深刻分析了SMPP协议的基本功能、会话流程以及原语操作的基础上,从组件技术、JAVA加密技术和中文文本过滤技术等三个方面,提出了对实现SMPP协议的改进意见.采用组件技
在现代软件测试中,单元测试是一种重要的测试方法。它对软件中的最小单元即函数模块进行测试。任何函数模块都不是独立的,可能需要调用其他函数模块来完成目标功能。由于一个
该文阐述了数据仓库的基本概念和方法,探讨了数据仓库作为决策支持系统的一种有效和可行的体系化解决方案包括的三个方面的技术内容:数据仓库技术.联机分析处理技术(OLAP)和