面向对象软件规格语言的设计

本文提出一种面向对象软件的形式描述语言JOOSL，用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机，继承是行为特性的共享。     

一种面向对象系统基于角色的访问控制模型研究

针对面向对象系统,提出面向对象的基于角色的访问控制模型.本模型通过在模型中添加角色类,并描述了角色类的继承关系,从而有效地减少了面向对象系统中类和类之间的关系表达,更加便于类和类之间安全策略的描述和管理.描述该模型的信息流控制特征,其能够有效地保障面向对象系统中对象与对象之间消息传递的可控性,防止信息的泄漏.     

实时面向对象建模方法ROOM与OCTOPUS的分析与比较

ROOM和 OCTOPU S是比较常用的两种实时面向对象建模方法 .本文从模型描述、类、对象与继承、并发性、状态图几个方面比较这两种方法中有明显差异的基本思想 ,并得出 :从某种程度上 ,ROOM较 OCTOPUS优越的结论 .     

一种基于面向对象测试模型的测试代码生成方法与工具

在大规模的采用面向对象技术的软件开发过程中,自动化测试能起到重要作用.面向对象的程序设计方法对软件的自动化测试提出了新的问题.例如,多态、继承和动态绑定等在过程式的程序设计中不存在的问题.提出了一种支持面向对象软件测试的自动化测试方法.其中,首先提出了一种面向对象测试模型;对一个被测软件,基于该模型描述其测试特征,并基于反射机制获得对象的结构,可自动生成测试代码;并在此基础上实现了一个微软平台上的对象测试自动化工具.     

基于状态机的UML行为继承关系

行为继承是面向对象领域的重要概念，UML是面向对象设计中重要的建模语言。本文以一种抽象状态机为模型，给出了UML行为继承关系的形式化定义，同时证明了该定义的合理性。文章最后说明了该行为继承定义方法在UML中的具体实现。所讨论的行为继承与Harel，Sourrioulle等人的定义相比，具有更精确的含义。     

面向对象的对象建模技术及其应用研究

面向对象的软件开发方法的关键是对问题域的理解,对象建模技术（OMT）在面向对象的软件系统建模中具有较好的性能。本文研究了OMT的三种模型、对象之间关系的描述策略,以OMT方法为指导设计了一个自动售货机模型,并进行了原型实现。研究结果表明：基于对象建模技术的系统构建过程更直观、开发人员易沟通,各开发阶段使用统一的概念模型,减少了相互转换过程中的错误和冗余。     

一种面向对象系统的建模方法

提出了一种面向对象系统的建模方法，把面向对象技术与ＪＳＤ方法相结合。用对象模型，进程模型来构造系统模型，并给出了描述进程的纲要逻辑。     

扩展UML建模环境中对象关系的模型转换

大量的应用程序采用面向对象的结构,并需要在一个持久化的存储机构--关系数据库中存放和取回数据.面向对象和关系数据库这两种技术存在着阻抗不匹配,使用UML对两种模型进行转换可以减少这种不匹配.但UML对两者的模型转换存在着不足,文中提出了在UML建模环境中引入扩展对象图描述对象和关系的模型转换,简化了模型转换的步骤,使得模型转换的自动化程度更高.     

基于ASM模型的协议一致性测试研究

针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。     

面向对象数据模型的研究

由于面向对象技术缺乏坚实的理论基础，因而在早期的各种面向对象数据模型中对对象概念的表达和使用都有差异。本文研究了以往提出的多种面向对象数据模型，讨论了对象、类型继承和方法等基本面向对象概念在这些模型中的表达和使用，说明了面向对象数据模型研究中尚待解决的问题，为进一步研究面向对象数据模型的形式化理论奠定基础。     

A Practical Approach to Object-oriented State Modeling

A widely accepted approach in object-oriented methods is the early decomposition of the state-dependent behavior of the system between its objects and specifying it at the object or class level. In the flexible state modeling approach presented in this paper, analysis avoids strong mapping of statecharts to objects. The state-dependent behavior of the system is specified by a number of statecharts that can be at different levels of abstraction and detail. A statechart can be associated with a class or an object, but can also be of more ‘floating nature’, capturing aspects of the behavior that cut across objects and classes. Later in design, statecharts are refined by recognizing the two dimensions of how statecharts are integrated with objects, namely type (active or passive) and scope (shared, per class or per object). These are first illustrated by general examples and later by more specific examples. Pieces of source code are also provided to clarify some aspects. The flexible state modeling approach is more practical than the common approach because it enables a comprehensible specification of the state-dependent behavior without requiring object interactions to be specified for the purpose of accessing state information. ©1997 by John Wiley & Sons, Ltd.     

青鸟面向对象软件建模工具的研究与实现

讨论了青鸟面向对象软件建模工具JBOO（Jade Bird object-oriented)的设计和实现方法，对JBOO所支持的青鸟面向对象规范作了简介，对JBOO的系统结构和功能进行了详细地描述，并提出了一种面向对象的软件建模工具的实现方法，最后，将JBOO与典型的 类工具作了比较。     

面向对象分析设计方法的分析与比较

本文对国内外面向对象建模的进展情况进行了分析和对比,给出了各种建模方法中存在的问题。在此基础之上,提出了在面向对象的分析和设计中建模应该注意的问题。     

设计模式及其在AMCCS中的应用

虽然目前已存在多种面向对象的软件设计方法,但在面向对象建模中仍存在不尽人意之处。进行面向对象的软件设计是比较困难的,而设计可复用的面向对象软件就更加困难。设计模式是面向对象建模的一种辅助设计手段,它总结了面向对象设计的成功设计经验,使得在遇到相似场景时可以直接套用。结合民航维修成本控制系统(AMCCS)的开发工作,使用设计模式细化具体组件和部件的对象建模方法,取得了较好的效果。     

Modeling events as entities in object-oriented conceptual modeling languages

Most current conceptual modeling languages and methods do not model events as entities. We argue that, at least in object-oriented (O-O) languages, modeling events as entities provides substantial benefits. We show that a method for behavioral modeling that deals with event and entity types in a uniform way may yield better behavioral schemas. The proposed method makes extensive use of language constructs such as constraints, derived types, derivation rules, type specializations and operations, which are present in all complete O-O conceptual modeling languages. The method can be adapted to most O-O languages. In this paper we explain its adaptation to the UML.     

对统一建模语言的若干探讨

统一建模语言（UML）是由Rational公司开发的第三代面向对象的建模语言，它统一和扩展了Booch，Rumbaugh和Jacobson的表示方法，是未来面向对象软件开发的标准建模语言。在概述了MUL技术核心的基础上，着重讨论了从常用的面向对象方法（OO）到UML的升级方式，特别是Runbaugh的对象建模技术（OMT）技术到UML的转换。     

一种领域建模工具的研究与实现

讨论了领域建模工具GMT的设计和实现方法，对GMT支持的面向对象建模规范和软件开发范型作了简介，对GMT的系统结构和功能进行了详细的描述，并提出了一种面向对象的软件建模工具的实现方法。对GMT优点和缺点进行了总结，同时提供了可能的改进办法。     

输送系统的UML建模、优化与实现

将面向对象方法引入输送系统的建模和分析过程,采用统一建模语言UML对系统的功能、对象结构、行为和活动以及实现方式等建立了一整套模型。UML模型可以采用面向对象语言快速实现,按照模块化结构,使用PLC编程语言也可实现面向对象编程。采用UML对输送系统进行分析可将系统实现的复杂性降低,有利于系统的分析和设计,系统的优化算法可以在此基础上进一步研究和实现。（以一个工程为实例,说明了相对于传统的顺控方案,以UML模型为基础的输送系统在开发和维护、扩充和代码重用等方面具有显著优势,UML在顺序控制系统中具有广阔的应用和研究前景。）     

UML和设计模式在AMCCS中的综合应用

统一建模语言(Unified Modeling Language,UML)是一种可视化的面向对象的建模语言.设计模式是面向对象建模的一种辅助设计手段,它总结了面向对象设计的宝贵经验,使得在遇到相似场景时可以直接套用,提高复杂系统的设计效率.结合所实施的民航维修成本控制系统(AirCraft Maintenance Costing Control System,AMCCS)的开发工作,提出了使用UML技术进行系统整体规划设计、使用设计模式细化具体组件和部件的对象建模方法,已取得了良好的效果.     

基于面向对象方法的视图建模及分析

在运用面向对象的方法和基于统一建模语言(UML)建模机制的基础上,分析了系统模型的体系结构,给出了新的建模方法,选择视图方式之后采用了静态建模和动态建模两种建模机制,并将两种建模以视图模型的形式体现,为传统的建模方法引入新的方法和思路。