SCOP对象管理系统

对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）是ＳＣＯＰ组合框架软件的核心．本文简要介绍ＳＣＯＰ对象管理系统的设计与实现，包括内存对象管理系统、外存对象管理系统以及基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ的并发库系统等.     

面向对象的软件构造

面向对象技术的发展改变了传统软件系统的结构和设计方法学．本文作者提出一种称为ＳＣＯＰ的面向对象的软件系统结构模式，即软件是对象模块的复合，而软件设计则是对象模块经过程控制进行复合的构造生成．本文从语义模型、描述语言、设计方法学和支持环境等几方面对ＳＣＯＰ进行扼要的介绍．     

基于代数-时态逻辑的象形对象语义模型探讨

本文在“基于代数－时态逻辑的象形对象研究”一文的基础上，进一步讨论了“基于代数－时态逻辑的象形对象语义模型“问题，主要是将基于代数模型和基于时态逻辑模型这两种方法结合，通过OOCPN描述形式，对象形对象语义模型进行了探索式研究，具体包括象形对象标记，象形对象语义解释结构，象形对象语义结构模型结构，定义了状态运算符，操作运算符并给出其语义域上的解释，提出了可继承属性和可继承操作，完全继承和和部分继承等概念，并用来刻画象形对象系统中的类结构及继承性，在分类结构，组装结构的基础上提出了聚合类结构及分类－聚合类结构；给出了象形对象类类型的代规范描述，给出了有关象形对象系统的公理和定理；并用OOCPN（Object-Oriented Color Petri Net）对象形对象的继承性，类结构及类变化，重码语义的可能性和有害性等进行了描述。     

对象管理系统

对象管理系统（Ｏｂｊｅｃｔ 　Ｍａｎａｇｅｍｅｎｔ Ｓｙｓｔｅｍ,ＯＭＳ）是集成化软件工程环境的核心和纽带,它以统一的方式管理各种对象（Ｏｂｊｅｃｔ）。文章提出了一种ＯＭＳ模型,即对象－关系－属性（ＯＲＡ）模型,并介绍了相应的对象库结构及其服务设施。     

对象的RSBO表示模型

对象的内部表示决定了对象的存储方式和访问方式,文章介绍了ＲＳＢＯ（ｒｅｆｉｎｅｄｓｙｎｃｈｒｏｎｏｕｓｂｕｆｅｒｓｏｆｏｂｊｅｃｔｓ）表示方法,是ＳＢＯ（ｓｙｎｃｈｒｏｎｏｕｓｂｕｆｅｒｓｏｆｏｂｊｅｃｔｓ）对象表示法的改进．ＲＳＢＯ表示法利用解析对象结构方式,把对象的复杂结构分解为具有相对简单结构的对象节．ＲＳＢＯ在ＳＢＯ表示法的基础上引入了指针节的机制．指针节结构是对象指针的扩展,并能同时支持在复杂对象的集合上的访问和计算．另外介绍了基于ＲＳＢＯ对象的访问方式和索引结构,传统数据库中的索引技术仍能够继续在基于ＲＳＢＯ表示机制的对象库中使用．     

青鸟Ⅱ型系统面向对象语言CASEC＋＋的设计和实现

ＣＡＳＥＣ＋＋语言是面向对象的ＣＡＳＥ环境青鸟Ⅱ型系统中设计、实现的一个与Ｃ＋＋完全兼容并支持永久对象的面向对象程序设计语言．在青鸟Ⅱ型系统中，它是对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）的操纵语言和所有集成工具的编程语言，同时也是支持最终用户的通用的编程语言．本文首先简要介绍了ＣＡＳＥＣ＋＋的设计背景．然后，较详细地讨论了ＣＡＳＥＣ＋＋中新引入的语言成份：永久对象；类定义的共享机制；永久对象间的关系描述──链和对象的内容等．最后，给出了实现方法．     

OOSDM的对象模型与系统构造

随着面向对象实现技术的快速发展，面向对象的各种软件开发方法正在相互融合，并进入实施应用阶段，从而有力地促使了这一方法逐步走向成熟，基于“青鸟工程”和现有的面向对象方法，我们提出了ＯＯＳＤＭ（Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＳｏｆｔｗａｒｅＤｅｖｅｌｏｐｉｎｇＭｅｔｈｏｄ）。本文主要介绍ＯＯＳＤＭ的对象模型──结合事件对象，以及如何以这一对象模型进行软件系统构造。     

OOAnalysis的设计和实现

ＳＣＯＰ是一个面向对象的组合框架软件，ＯＯＡｎａｌｙｓｉｓ是ＳＣＯＰ中支持系统分析的一个工具系统，本文介绍了ＯＯＡｎａｌｙｓｉｓ的设计和实现．该工具采用并行／递归式面向对象的分析方法，采用自底向上的系统构造和对象抽象与自顶向下的系统分解和对象精化相结合的方法建立对象模型，强调多层次抽象、并行工作和递归建模．这个工具有多层次、可视化和自动化的特点.     

Visual Basic4的远程数据对象

本文描述了ＶｉｓｕａｌＢａｓｉｃ４企业版的远程数据对象（ＲＤＯ）的概念和模型，它能够高效简便地通过了ＯＤＢＣ联结大型关系数据库，并充分发挥ＳＱＬＳｅｒｖｅｒ，Ｏｒａｃｌｅ等数据库的特有功能，本文也通过与ＤＡＯ的对比，进一步揭示了ＲＤＯ的优越性，向熟悉ＤＡＯ的编程者提供了升级到ＲＤＯ编程的方法，ＲＤＯ也正在成为ＶｉｓａｕｌＣ＾＋＋ＶｉｓｕａｌＦｏｘＰｒｏ联结后台数据库的重要工具。     

一种组通信模型在CORBA平台上的设计和实现

组通信是ＣＳＣＷ（ＣｏｍＰｕｔｅｒＳｕｐｐｒｏｔｅｄＣｏｏｐｅｒａｔｉｖｅＷｏｒｋ）应用中的关键问题。ＣＳＣＷ所属的协同应用（Ｃｏｏｐ－ｅｒａｔｉｖｅａｐｐｌｉｃａｔｉｏｎｓ）领域在分布系统应用中是一个很有前途的新领域。这种新型应用对分布技术提出了新的要求和挑战。在这种新的分布环境中，支持组通信的对象组模型是问题的关键所在。在文章中，作者基于ＣＯＲＢＡ平台，针对ＣＳＣＷ应用的要求，提出了一种对象组模型，介绍了组模型中各类对象之间的交互和协调关系，并给出了主要对象的接口定义语言（ＩＤＬ）的描述和说明。     

A theory-based representation for object-oriented domain models

Formal software specification has long been touted as a way to increase the quality and reliability of software; however, it remains an intricate, manually intensive activity. An alternative to using formal specifications directly is to translate graphically based, semiformal specifications into formal specifications. However, before this translation can take place, a formal definition of basic object oriented concepts must be found. The paper presents an algebraic model of object orientation that defines how object oriented concepts can be represented algebraically using an object oriented algebraic specification language O-SLANG. O-SLANG combines basic algebraic specification constructs with category theory operations to capture internal object class structure, as well as relationships between classes     

Formal Verification of Object-Oriented Graph Grammars Specifications

Concurrent object-oriented systems are ubiquitous due to the importance of networks and the current demands for modular, reusable, and easy to develop software. However, checking the correctness of such systems is a hard task, mainly due to concurrency and inheritance aspects. In this paper we present an approach to the verification of concurrent object-oriented systems. We use graph grammars equipped with object oriented features (including inheritance and polymorphism) as the specification formalism, and define a translation from such specifications to Promela, the input language of the SPIN model checker.     

Synthesizing structured analysis and object‐based formal specifications

Structured Analysis (SA) is a widely‐used software development method. SA specifications are based on Data Flow Diagrams (DFD's), Data Dictionaries (DD's) and Process Specifications (P‐Specs). As used in practice, SA specifications are not formal. Seemingly orthogonal approaches to specifications are those using formal, object‐based, abstract model specification languages, e.g., VDM, Z, Larch/C++ and SPECS. These languages support object‐based software development in that they are designed to specify abstract data types (ADT's). We suggest formalizing SA specifications by: (i) formally specifying flow value types as ADT's in DD's, (ii) formally specifying P‐Specs using both the assertional style of the aforementioned specification languages and ADT operations defined in DD's, and (iii) adopting a formal semantics for DFD “execution steps”. The resulting formalized SA specifications, DFD‐SPECS, are well‐suited to the specification of distributed or concurrent systems. We provide an example DFD‐SPEC for a client‐server system with a replicated server. When synthesized with our recent results in the direct execution of formal, model‐based specifications, DFD‐SPECS will also support the direct execution of specifications of concurrent or distributed systems.     

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

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

并发面向对象中的继承反常现象

如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了"在并发面向对象语言中应将inheritance层次和subtyping层次区别对待"这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示.     

Object modelling languages: An evaluation and some key expectations for the future

Object modelling languages are graphical semi-formal specification languages. They are tools to capture and formalise requirements in the earlier phases of software development, as well as providing support for describing designs, software architecture and even detailed implementations later in the process. One can consider these languages to have reached some level of maturity, especially because their precursors, the Object-Oriented Analysis and Design methods, have now been used and tested intensively in industry for many years. In addition, these modelling languages have been the subject of many improvements by the scientific community. Nevertheless, some dissatisfaction persists. In this paper, we aim to re-analyse several parts of the deep structure of two leading object modelling languages: OML and UML, in order to show how they can really increase software quality. Their structure is based on metamodelling, which is the way the semantics of these two languages is expressed. This structure is also the source of a proliferation of modelling constructs (for example, different forms of inheritance associated with distinct notational elements) whose use must clearly influence, in particular, reusability — a key expectation in a software engineering process. More generally, we identify some deficiencies in these languages, which allows us to highlight some appropriate evolutionary paths. In discussing dynamic metamodelling and scalability, we specifically outline that a main current drawback is the difficulty of implementing these languages in Computer-Aided Software Engineering tools. This revised version was published online in June 2006 with corrections to the Cover Date.     

开放的异种对象标识及绑定机制研究

随着各种分布对象计算系统的广泛使用,异构对象系统之间的互操作已成为必要。其中,ＣＯＭ／ＣＯＲＢＡ互操作是最为迫切的,很多ＣＯＲＢＡ产品遵照ＯＭＧ组织的ＣＯＭ／ＣＯＢＡ互操作规范提供了互操作功能。然而规范中异种对象的标识及绑定机制存在问题,影响了应用程序的可移植性和互操作系统之间的互操作性。文中将互操作中异种对象的标识和绑定机制形式化地描述为异种对象标识空间的映射,在此基础上归纳出３种对象标识方法和     

一种图形化对象式需求定义语言的设计

本文简要讨论了软件需求定义及其语言的有关基本概念，重点介绍了图形化对象式需求定义语言ＮＤＯＲＬ的设计思想以及主要的语言结构与成分．该语言是一种以面向对象方法支持软件需求定义的半形式化语言，具有形象易读、表达力强和便于实现到形式功能规约的转换等特点，并提供了方便的机器支撑.     

基于形式化方法的需求分析

利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理。