【摘 要】
：
该文在研究UML和形式方法的基础上,提出将UML和形式方法相结合,使它们各取所长.基本思想是：一方面用形式语言形式化UML.该文主要采用两种方法：1、用Object-Z形式化UML的无模型.
论文部分内容阅读
该文在研究UML和形式方法的基础上,提出将UML和形式方法相结合,使它们各取所长.基本思想是：一方面用形式语言形式化UML.该文主要采用两种方法：1、用Object-Z形式化UML的无模型.提供了UML元模型的形式规格说明从而克服目前UML语义的不精确和不可扩展的缺点.2、改进补充法,此方法用形式语言直接表示UML模型图的语义以及用UML较难直接表达的信息.通过将UML的模型图转化为对应的UOZSL规格说明,从而检测UML模型图的二义性.另一方面将OZSL规格说明转换为UML的模型图,这有助于人们对OZSL规格说明理解,这是对软件规格说明的确认（Validation）,同时也拓宽了OZSL规格说明的应用范围.基于上面所述,我们设计开发了OZRose,它以UML的建模环境Rose为基础,集成了UML到UOZSL的自动转换、OZSL规格说明到UML模型图的自动转换和为测试UML状态图生成对应的UOZSL规格说明以及测试序列的模块.为用户提供一个扩展后的UML建模环境,使之成为从面向对象分析、设计到精化的软件系统开发环境.
其他文献
本文在详细分析现有的矿井安全可视化研究现状的基础上，根据矿井的实际情况和需要，针对已有软件的不足，提出了开发矿井安全可视化交互系统的设想并加以实现。该系统采用组件化的
该论文跟踪了国外入侵检测研究的最新进展,针对现有的入侵检测系统在配置性、扩展性、灵活性上存在的缺陷,将来源于分布式人工智能领域的软件代理技术应用于入侵检测系统,从
目前,对象管理组织(ObjectManagementGroup,OMG)的公共对象请求代理结构(CommonObjectRequestBrokerArchitecture,CORBA)正在成为分布式对象技术的事实上的标准.为了推动CORA
该文的研究目标定位为:基于计算机支持协同工作的研究工作,结合新一代网络软件协作需求,研究相关的软件协作机制、软件协作系统的实现方法与机制,构造相关的原型系统,并应用
该文中作者们分别给出了这些处理的算法和流程及相庆的数据结构.针对研究过程中遇到的问题,作者们应用相关领域的研究成果基础上,提出了多个新的算法和判定规则:采用Chient/S
该文主要研究了如何根据给定的目标描述,进一步自动化、智能化地组合、集成和执行Web services以达到目标.该文采用的解决方案就是,让智能Agent自动地规划、集成和调用各种各
随着时代的发展和人们需求的不断提高,通信行业在过去的几十年里发生了翻天覆地的变化,尤其是移动通信的迅速发展,使用户彻底摆脱终端设备的束缚,实现了完整的个人移动性。进
该文介绍了网络搜索引擎的发展历史、目前现状,并对搜索引擎系统和检索系统的原理进行了研究和分析,并从查询处理和文献分类两个方面做了进一步的研究,提出了两种新的处理方
该文在分析已有关联规则挖掘算法的基础上,提出了应用于Web文本集的特征关联规则挖掘框架,详细地论述了该框架所涉及的主要技术和实现过程中涉及的诸多问题.据此,给出了该框
论文首先对电信业务支撑系统及企业应用集成做了简单介绍与分析.论文根据综合营业系统的建设目标,选择了三层体系结构来进行建设,并给出了综合营业系统的软件体系结构.统一客