时态实体——关系数据模型TER的研究

本文形式定义了一个通用时态数据模型,即时态实体－关系模型（ＴＥＲ模型）。在ＴＥＲ模型中,我们给出了类的一致性定义,特别是对关系类采用了有效的处理方法。此外,我们还建立了对应ＴＥＲ的代数系统。     

对象-关系数据库对多媒体的支持技术

对象－关系型数据库已成为当今数据库领域研究和发展的热点。文章以多媒体数据管理和应用的需求为出发点,讨论了对象－关系型数据库对多媒体数据的管理方法,即通过对关系数据库管理系统（ＲＤＢＭＳ）进行扩展,使之能支持新引入的用户定义类型（ＵＤＴ）、用户定义函数（ＵＤＦ）、大对象（ＬＯＢ）、关系扩展器（ＲＥＬＡＴＩＯＮＡＬ ＥＸＴＥＮ－ＤＥＲ）等对象－关系模型特色,并通过数据链技术控制机制来实现对数据库及外部文件系统中大量的复杂多媒体数据的管理。这些多媒体扩展机制保留了所有的ＲＤＢＭＳ的长处和优点,增加了对复杂的多媒体应用的支持。     

对象-关系数据库对多媒体的支持技术

对象－关系型数据库已成为当今数据库领域研究和发展的热点。文章以多媒体数据管理和应用的需求为出发点,讨论了对象－关系型数据库对多媒体数据的管理方法,即通过对关系数据库管理系统（ＲＤＢＭＳ）进行扩展,使之能支持新引入的用户定义类型（ＵＤＴ）、用户定义函数（ＵＤＦ）、大对象（ＬＯＢ）、关系扩展器（ＲＥＬＡＴＩＯＮＡＬ ＥＸＴＥＮ－ＤＥＲ）等对象－关系模型特色,并通过数据链技术控制机制来实现对数据库及外部文件系统中大量的复杂多媒体数据的管理。这些多媒体扩展机制保留了所有的ＲＤＢＭＳ的长处和优点,增加了对复杂的多媒体应用的支持。     

面向对象的实体关系模型(OOER)

实体关系模型（ＥｎｔｉｔｙＲｅｌａｔｉｏｎｓｈｉｐＭｏｄｅｌ简称ＥＲ）是软件系统分析时建立概念性数据模型的有效工具，但软件设计的本质在于数据处理、数据信息及其相应处理的分析应是软件设计的主要目的。ＥＲ模型能将问题空间直接映射成信息实体，但还缺少数据处理分析的支持，本文提出的面向对象ＥＲ模型（ＯＯＥＲ），将原ＥＲ模型扩展成信息模型和处理模型两部分，进一步增强了原ＥＲ模型数据信息的图形表达能力和数据处理分析能力。     

面向对象数据库建模方法与逻辑设计

本文首先给出了一种艇于信息建模的对象式系统分析模型，即对象关系模型ＯＲＭ：其次介绍了对象关系模型的正确性问题，最后介绍了用对象关系模型进行数据库逻辑设计的方法和步骤。这种模型是对实体联系图（Ｅ－Ｒ图）的扩充，更适合面向对象数据库的设计；又因ＯＲＭ模型便于图形描述，因而，支持数据库设计信息建模的辅助软件工具也易于开发实现。     

青岛Ⅱ型系统需求文档分析工具的设计和实现

需求文档分析工具（ＲＤＡＴ）是青岛Ⅱ型系统中的一个支持结构化开发方法的ＣＡＳＥ工具。本文首先简要介绍ＲＤＡＴ系统的设背景，然后较详细地描述了用面向对象建模技术（ＯＭＴ）设计和实现系统的全过程。     

青鸟Ⅱ型系统需求文档分析工具的设计和实现

需求文档分析工具（ＲＤＡＴ）是青鸟Ⅱ型系统中的一个支持结构化开发方法的ＣＡＳＥ工具。本文首先简要介绍ＲＤＡＴ系统的设计背景，然后较详细地描述了用面向对象建模技术（ＯＭＴ）设计和实现系统的全过程。     

ER Builder：一个开发数据库应用系统概念模型的有力工具

阐述了一个用以开发数据库应用系统概念模型的实用工具（名叫ＥＲＢｕｉｌｄｅｒ）。ＥＲＢｕｉｌｄｅｒ基于我们提出的一种扩展实体一联系模型，该模型不仅支持实体的泛化（ｇｅｎｅｒａｌｉｚａｔｉｏｎ）和集聚（ａｇｇｒｅｇａｔｉｏｎ），而且引入多层实体一联系图机制。ＥＲＢｕｉｌｄｅｒ还提供了友好易用的图形用户界面。用ＥＲＢｕｉｌｄｅｒ设计数据库应用系统的概念模型，能大大提高概念模型的质量，减少设计时间和费用。     

软件考试中的CASL汇编语言及其程序设计

全国计算机软件专业技术资格和水平考试中高级程序员级必须掌握的专用汇编语言是ＣＡＳＬ汇编语言。ＣＡＳＬ汇编语言是 ＣＯＭＥＴ模型机的汇编语言,其指令系统简洁精巧,具有足够强的功能,适用于考试,便于阅卷评分。１ＣＯＭＥＴ的硬件结构 ＣＯＭＥＴ是一台字长为 １６位的定点计算机,主存储器按字编址,存储容量为６５５３６个字,地址范围为００００－ＦＦＦＦ（十六进制）。 ＣＯＭＥＴ有５个１６位通用寄存器ＧＲＯ、ＧＲ１、ＧＲ２、ＧＲ３、ＧＲ４,其中ＧＲ１、ＧＲ２、ＧＲ３、ＧＲ４兼作变址寄存器（ＸＲ）, ＧＲ４还兼作…     

社会保险事业计算机管理系统的设计与实现

本文介绍了通用社会保险业务计算机管理系统（ＳＩＣＭＳ）的设计与实现，并讨论了数据库设计和开发中的一些经验与认识。该系统采用面向对象的系统分析与设计方法，通过一组映射规则将面向对象的实体联系模型转化成关系模型，在ＩＮＦＯＲＭＩＸ关系数据库系统上实现了数据和过程在类层次结构中的继承，使ＳＩＣＭＳ系统具有较好的易操作性、可靠性、易维护性和模块可重用性     

ER模型转换为关系模式的实用规则

将ER模型转换为关系模式一般转换规则不能满足实际数据库设计工程的应用需要,转换得到的关系模式有时会丢失ER模型的部分信息,在关系复杂的情况下会导致各种冗余问题。论文根据数据库工程经验和对ER模型的理解,就ER模型转换为关系模式的规则问题进行了全面而细致的讨论,并给出了12个非常实用的转换规则。提出的转换规则在一定程度上解决了因转换规则不足而导致ER模型无法与关系模式紧密衔接的问题。     

基于智能Agent的实体关系模型多程序代码自动生成方法研究

基于智能Agent理论,本文提出了一种通过人机交互方式自动将实体关系模型（Entit y-Relation,ER）生成多种应用程序语言代码和数据库语言代码的智能化方法体系框架, 简要介绍了利用基于该方法的软件工具将ER模型生成程序代码的过程．     

SCKE:Combining Logic- with Object-Oriented Paradigm

A new implementation(SCKE-Structured Communication Knowledge Entity)has been proposed towards combining the logic with the object-oriented paradigm of computing.It is intended to explore the advatnages in these two paradigms in a structured,natural and efficient manner for large-scale knowledge processing.The SCKE model supports modularity and protection for the structured development of knowledge systems.It also introduces the concepts that are typical for the object-oriented systems in the logic-oriented paradigm,without losing its advantages as a declarative language.Various inheritance hierarchies are supported in the SCKE model.They provide the semantics basis basis for various knowledge in AI systems.The M-entity/K-entity/Instance inberitance captures the relationship among the control,procedural and factural knowledge in AI systems.And ,the super-entity/entity/instance inheritance shows the concepts of data abstraction in the knowledge of a particular domain.In addition,the SCKE model is not simply supported on top of Prolog like other attempts to integrate the object-into the logic-oriented paradigm.The SCKE model is a tightly coupled model of the logic and the object-oriented paradigm and its interpreter uniformly interprets the logic semantics and the object-oriented semantics.     

基于逆向工程的领域本体开发方法

从逆向工程角度出发,对领域本体模型的创建方法进行研究。以关系数据模型为对象,分析了如何从遗留系统中识别关系模式的结构信息,利用扩展的关系实体图EER获取关系模式的语义信息,并以此来建立领域本体模型。     

存在依赖关系在面向对象建模中的研究

文章就面向对象建模提出对象之间的存在依赖关系,研究存在依赖关系在面向对象建模中的使用方法和表示方法。首先从对象生存周期的角度提出存在依赖的概念、定义和它的特点,然后指出存在依赖关系在静态模型和动态模型中的约束关系,以及基于存在依赖关系的静态模型向关系型数据库的映射。     

Modeling and testing object-oriented distributed systems with linear-time temporal logic

We present a framework for constructing formal models of object-oriented distributed systems and a property language to express behavioral constraints in such models. Most of the existing models have their origin in specific mathematical notations and/or concepts. In contrast, we have developed our model such that it accounts for a large set of phenomena associated with industrial implementations of object-oriented distributed systems. The model that we propose, while closer to industrial concerns and practice, still has the powerful features of formal approaches. It also offers the possibility to automatically check at service run-time that the final service implementation has not violated and is not violating properties expressed at the abstraction level of our model. In our model, which relies on event-based behavioral abstraction, we use linear-time temporal logic as the underlying formalism for the specification of properties. We introduce two novel operators which are especially useful for object-oriented systems and which provide a number of advantages over the well-known temporal logic operators. A recent decision of one of our industrial partners to adopt our proposal into one of their development platforms can be seen as a strong evidence of the relevance of our work and as a promising step towards a better understanding between the academic formal methods community and industry. Copyright © 2001 John Wiley & Sons, Ltd.     

基于Entity Framework数据持久化技术浅析

在面向对象的应用开发中,对象的持久化问题一直是最受程序员关注的问题之一。Entity Framework是微软新一代对象关系映射解决方案。该项技术基于传统的实体联系模型建立,概念清晰,明显提高开发效率,这一技术必将成为基于．NET平台开发的主流数据持久化技术。     

基于需求的酒店管理系统的建模与实现

在软件开发过程中,利用建模语言来有效地建立系统模型是非常关键的。为了提高软件开发效率,本文采用面向对象系统建模方法,结合酒店管理系统的开发,探讨基于需求的系统建模,设计并实现军山酒店客户关系管理系统。实践表明,基于需求的系统建模能够缩短软件开发周期,节约软件开发成本,从而提高软件开发效率。