面向对象的形式化规约语言GOOZ

在总结和评价现有Z语言面向对象扩充的基础上,设计了一种新的扩充语言 GOOZ,该语言克服了Z++、Object_Z等语言的一些缺点,其书写规约具有简洁、明确、接口定义清晰、模块完整、结构良好、易于验证的特点。

一个面向对象的形式化描述语言研究

本文针对信息系统建设的关键阶段——需求分析阶段的问题,对信息系统中需求分析作了深入地研究。结合现代信息系统建设的特点,提出了一套简单有效的面向对象需求分析方法以及相应的信息系统需求分析语言ISRSL。

基于消息序列的形式化面向对象软件测试技术

本文分析了UML交互图和状态图中的消息提取机制,构造了使用形式化描述语言RAISE对UML图中提取的消息进行描述、规约和精华,最终生成测试用例的测试流程,提出了基于消息序列的面向对象软件自动测试方法,并且在此基础上提出了检测OO系统容错能力的测试用例构造方法。

形式化面向对象方法与并发系统的建模

将统一建模语言 (UML )的面向对象可视化设计与代数规范语言 Cafe OBJ的形式描述相结合 ,对冗余磁盘阵列 (RAID)系统中的并发特性进行建模、分析和规范 .提供了 RAID系统的清晰结构 ,以此来弥补形式化规范语言的不足 ,规范软件设计过程 ,保证程序的正确性 .

面向对象的标准建模语言UML

面向对象的标准建模语言 UML ,是当今软件工程领域中最具有意义的成果之一 ,它定义的统一语义和符号表示可以规范面向对象技术市场 ,使项目源于一个成熟的标准建模语言 ,从而拓宽了所研制与开发的软件系统的适用范围 ,并提高其灵活程度。本文就 UML中的一些特征与技术作了一个总体概述。

一种面向对象的形式化设计方法──从COOZ需求规格说明到设计

本文介绍了一种基于形式化规格说明语言ＣＯＯＺ的面向对象设计方法并给出实例。该方法用ＣＯＯＺ描述类的设计规格说明，实现了从形式化需求描述到形式化设计的平滑过渡。文中重点讨论了与设计方法有关的一些面向对象概念：对象类型和类的分开、子类型和继承的分开、灵活的消息传递和参数转换机制、主动对象和被动对象、根类的定义等。

面向对象的软件工程与统一建模语言UML

通过评述软件工程的两个发展阶段 ,重点介绍了面向对象的开发方法。统一建模语言 UML是一种基于面向对象方法学的规范可视化建模语言 ,论文对其组成、特征和建模过程进行了描述。

关于面向对象的类的形式化研究

在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类及其继承性是面向对象程序设计语言区别传统程序设计语言的本质特性。本文将讨论类及其继承性的形式化描述及其数学属性。

面向对象结合形式化技术的框架式开发方法

随着软件开发规模的迅速扩大,目前流行的软件开发方法(包括当前的软件工程法)已难以满足开发实践的要求,实践要求在软件开发方法学上能有新的进展。鉴于此,在面向对象及形式化方法的基础上,系统地提出了一种严格的软件开发方法,力图使开发者的创造性及开发环境的自动化能力都得到充分发挥。

一种以面向对象及形式化技术为基础的严格的软件开发方法

随着软件开发规模的迅速扩大，目前流行的软件开发方法（包括当前的软件工程法）已难以满足开发实践的要求，实践要求在软件开发方法学上能有新的进展。鉴于此，本文在面向对象及开式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥。

一个基于Ada的面向对象建模语言(英文)

给出了一个基于Ada的建模语言AML .AML以Ada95为基础 ,吸取了Ada95的基本原理和思想 ,利用支持建模的设施对其进行扩充 ,以便适用于软件建模的各个阶段 .AML沿用了Ada95中的程序包概念 ,并将程序包作为它的核心成份 ,同时 ,沿用了Ada95的任务单元和保护单元等设施 ,以精确描述了软件系统中主动控制成份和资源保护成份的各种特性 ;AML吸取了图形化面向对象建模语言与建模方法所采用的多视点模型思想 ,将实体不同侧面的特征分开描述 ;AML利用一种新的并发模型和限制设施 ,有效地解决了系统的并发特性和不确定性等非功能特性的描述问题 ;AML有较强的可扩充性 ,能应用于各种应用领域 .总之 ,AML是一个既面向用户 ,面向开发者 ,又面向系统的通用建模语言 。

面向对象的统一建模语言UML

统一建模语言UML是一种基于面向对象方法学的规范可视化建模语言 ,本文就UML组成。

面向对象软件体系结构的形式化模型

软件体系结构设计中的形式化方法 ,一直是软件工程领域中的研究热点 .而在面向对象环境中如何对体系结构进行形式化 ,以精确描述其静态结构与动态交互行为 ,则一直未有好的解决办法 .本文使用符号逻辑方法描述面向对象系统中的基本组成单元 。

一种面向对象建模语言的研究与实现

介绍了自行研制和开发的面向对象的工程数据库管理系统（ＨＺＥＤＢ）的建模语言的设计思想和基本文法，并讨论了它对产品数据交换国际标准ＳＴＥＰ的建模语言ＥＸＰＲＥＳＳ的支持与ＥＸＰＲＥＳＳ核心规则间映射关系，给出了采用面向对象方法实现ＨＺＥＤＢ建模子系统的总体框架，支持信息的封装，对象继承和复杂对象等ｏｏ特征的数据字典结构以及继承和封装的实现方法．

面向对象模型与形式化方法

本文在分析面向对象和形式化方法两种重要系统建模方法的基础上，论述了两种方法的关系，指出二者互补、组合的优越性，概述了各种领域里的组合应用．并进一步设想未来的发展方向可能是二种方法的优点的活用和统一．

面向对象结合形式化技术的框架式开发方法

在面向对象及形式化方法的基础上，系统地提出了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥。

面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．

面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言，其兼具形式化语言和面向对象图形语言的特点，并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术，着重讨论ＡＭＬ语言中与Ａｄａ９５ 中有明显不同的成份的语义，即类程序包、结构程序包的代数语义．

UML——一种应用前景广阔的可视化面向对象建模语言

现代测绘科技的进步是与信息技术的高速发展密不可分的。本期介绍的统一建模语言UML,是近年来由美国Rational公司发起并与其他十几家公司共同推出的一种可视化面向对象建模语言,它一经推出,就在OO(Object-oriented)领域受到广泛关注,显示出其强大的生命力。经检索中国期刊网,1997年涉及UML的论文为0篇,1998年为5篇,到了2002年,就达到171篇。文献数量的高增长性,从一定程度上反映了该技术的应用价值,值得测绘科技工作者予以关注。本期点评专家王红,系中国测绘科学研究院青年学术带头人,1989年毕业于南京大学计算机系,1991年攻读中国测绘科学研究院在职研究生,1994年硕士毕业,2000年被评聘为副研究员,曾参加1997、2003年国际制图大会,1999年获国家测绘局科技进步二等奖。从事地图制图、地理信息应用等方面工作,主要研究方向为地理单元分析应用、空间信息与电子地图标准。点评之后,附最新相关文献题录,供读者学习参考。

面向对象的分析、设计及实施直通车——面向对象的统一建模语言及工具

面向对象的编程技术及其语言的发展 ,引起了软件工程方法的变革 ,从传统的数据驱动和功能分解方法到面向对象的设计和体系结构驱动开发。文章简述了面向对象方法与传统方法的不同 ,介绍了当前几种较为流行的面向对象的建模方法 ,并且分析了建模辅助工具 (Case)应具有的基本功能 ,最后推荐两种性能较好的建模辅助工具 (Rational Rose2 0 0 0和 Microsoft Visual Studio中的 Visual Modeler)