ConC++:C++的一种并发扩充语言

提出一种对Ｃ＋＋进行并发扩充的语言ＣｏｎＣ＋＋．ＣｏｎＣ＋＋是一个并发面向对象语言,它采用并发类和保护类的机制支持并发,并发类有一个主动函数,一旦对象被创建,这个主动函数就开始执行;保护类封装了一组数据和对数据的操作,它没有自己的线程,而且是用来实现对并发类对象的同步、互斥和通信,这种集中控制对象的并发的方法体现了对象的自治性特点,减少了上下切换和死锁发生的可能,从而提高了程序的性能。     

一种基于并发程序设计的多媒体系统同步模型

多媒体系统中各个媒介信息的同步是多媒体系统创作中的一个难题。本文用面向对象的方法提出一个模型，该模型基于一种并发程序设计语言—ＣｏｎｃｕｒｒｅｎｔＣ＋＋，较好地解决了同步问题。     

MultiobjectC─一个面向对象的并发程序设计语言的设计

ＭｕｌｔｉｏｂｊｅｃｔＣ语言是我们设计的一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆ＴＢｅｌｌ实验室的ＣｏｎｃｕｒｒｅｎｔＣ＋＋语言作了一些比较。     

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

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

基于ActiveX的VC^＋＋数据库应用程序开发

本文简要介绍了ＣＯＭ（组件对象模型）的基本原理和基于ＣＯＭ的ＡｃｔｉｖｅＸ技术,对使用ＡＤＯ（ＡｘｔｉｖｅＸ数据库对象）进行ＶＣ＾＋＋数据库;应用程序开发作了重点分析。     

面向对象数据库无缝的C^＋＋应用编程界面

关系数据库与程序设计语言之间的松散耦合存在着编程范型及类型系统两方面的失配，是提高数据库应用软件之质量和生产率的极大障碍，面向对象数据库（ＯＯＤＢ）与程序设计语言（ＰＬ）的无缝结合旨在消除这种失配，本文以面向对象数据库管理系统原型ＯＳＣＡＲ为背景，提出ＯＯＤＢ与ＰＬ无缝结合的基本准则，ＯＯＤＢ无缝Ｃ＾＋＋应用编程界面的对象持久性模型，以及实现ＯＯＤＢ无缝Ｃ＾＋＋应用编程界面的关键技术。     

基于ACTOR模型的并发面向对象语言AC++

ＡＣ＋＋是用ＡＣＴＯＲ模型建造的并发Ｃ＋＋语言．本文介绍ＡＣ＋＋的设计与实现，着重探讨如何在语义级上平滑地结合ＡＣＴＯＲ模型和普通面向对象语言，提出了“扩充的行为抽象”和“异步创建”等新方法，使新语言既能保持面向对象语言的特性，又能支持ＡＣＴＯＲ模型提供的描述并发计算的能力.     

Multiobject C—一个面向对象的并发程序设计语言的设计

Ｍｕｌｔｉｏｂｊｅｃｔ Ｃ语言是我们设计一个面向对象的并发程序设计语言，它以Ｃ语言为基语言，引入了类和对象等机制以及并发对象间的通信设施，支持面向对象的并发程序设计。本文讨论了我们在设计过程中的考虑，并与ＡＴ＆Ｔ Ｂｅｌｌ实验室的Ｃｏｎｃｕｒｒｅｎｔ Ｃ＾＋＋语言作了一些比较。     

组件新技术——COM+

在Ｗｉｎｄｏｗｓ２０００即将推出之际,一种新的组件技术ＣＯＭ＋也格外引人注目。ＣＯＭ＋并不是ＣＯＭ（ＣｏｍｐｏｎｅｎｔＯｂｊｅｃｔＭｏｄｅｌ）的新版本,ＣＯＭ＋的底层结构仍然以ＣＯＭ为基础,但它通过利用操作系统的各种支持,使组件对象模型建立在应用层上...     

C^＋＋语言在操作站仿真软件中的应用

本文介绍了面向对象的程序设计（ＯＯＰ—ＯｂｊｅｃｔＯｎｖｉｅｎｔｅｄＰｒｏｇｒａｍ．ｍｉｎｇ）语言的主要特征，并详细讨论了用具有ＯＯＰ特征的Ｃ＋＋语言来设计一个集散控制系统仿真器开发环境软件包中操作站仿真软件的一些思想。     

一个基于SQL的并发控制机制

传统的读写事务模型（由ｒｅａｄ（ｘ）和ｗｒｉｔｅ（ｘ）序列组成）不能使调度机制充分利用应用程序的语义信息对事务进行灵活调度，从而不能有效提高系统的并发度．本文根据ＳＱＬ语言的操作语义，给出了基于ＳＱＬ的事务模型．利用这种事务模型并结合２ＰＬ方法，设计了并发控制机制：Ｃｏｎｄｉｔｉｏｎ—ｌｏｃｋｉｎｇ．这个机制可以：（１）避免数据库中的幽灵（ｐｈａｎｔｏｍ）问题，（２）利用应用程序的语义信息和完整性约束提高系统的并发度，（３）减少发生死锁的机会．因此，这是一个实用的并发控制机制．     

Analysis and optimization of active databases

We introduce a new formal semantics for active databases that relies on a transaction rewriting technique. A user-defined transaction, which is viewed here as a sequence of atomic database updates forming a semantic atomic unit, is translated by means of active rules into induced one(s). These transactions embody active rule semantics which can be either immediate or deferred. Rule semantics, confluence, equivalence and optimization are then formally investigated and characterized in a solid framework that naturally extends a known model for relational database transactions.     

主动实时嵌套事务的正确性

传统数据库通过并发控制协议及事务的恢复机制来保证事务的正确性。在主动实时数据库系统中,为了更好地支持应用,人们提出并实现了嵌套事务模型。主动实时嵌套事务的正确性比传统的原子事务更复杂。本文详细分析了主动实时嵌套事务的正确性,包括逻辑正确性、时间正确性、结构相关(正确)性及事务的行为正确性,基于事务的经历模型给出这些正确性的定义,为主动实时嵌套事务的正确性实现提供了理论基础。     

Programming with logical queries, bulk updates, and hypotheticalreasoning

The paper presents a language of update programs that integrates logical queries, bulk updates and hypothetical reasoning in a seamless manner. There is no syntactic or semantic distinction between queries and updates. Update programs extend logic programs with negation in both syntax and semantics. They allow bulk updates in which an arbitrary update is applied simultaneously for all answers of an arbitrary query. Hypothetical reasoning is naturally supported by testing the success or failure of an update. We describe an alternating fixpoint semantics of update programs and show that it can express all nondeterministic database transformations     

传感器网络中协作实时数据库事务的提交控制

传统的事务模型由于其严格的ACID特性无法适应传感器网络中协作事务的实时性要求.因此着重研究传感器网络中协作实时数据库事务的提交机制.首先,分析传感器网络中实时数据库应用的协作特性,放松事务的严格ACID要求,运用控制区域的概念提出一种基于事务的行为语义控制区域的事务模型.然后,给出该模型的提交、回滚、可见规则及能保证数据库一致性和协作事务实时性的三阶段提交协议,并通过补偿事务保证外化信息准确性.性能测试表明,该模型及提交机制提高了采集数据的外化率和协作实时事务的成功率.     

基于免疫体系的安全数据库结构设计研究

提出了基于免疫体系的安全数据库四层结构：身份认证层,存取控制层,约束安全层,适应性检测层。并给出了约束安全层和适应性检测层的予层结构。将约束安全层分为完整性约束、分级和推理约束、访问约束和应用语义约束四个予层,将适应性检测层分为数据库活动级、关系模式级、事务级和应用语义级四个子层。构造了一个多层多级的数据库安全体系,最后给出了具体实现方案。     

包含协议和语义的构件一致性验证方法

在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件一致性验证方法。所提方法将方法语义与基于场景的需求规约相结合,使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息,使用带有语义约束的UML交互概观图来表示基于场景的需求规约。通过对SIA和带语义约束的UML交互概观图的行为的理论分析,进一步形成了一种一致性验证算法,并用实例来说明其过程。该算法不仅能够检验系统中构件的协议一致性,而且能够检验其语义一致性。该算法中的方法语义包括了该方法参数的类型和详细语义信息,更符合实际应用情形。     

一种分布式动态描述逻辑

分析了目前描述逻辑（DL）的研究现状和存在的问题，特别是动态描述逻辑（DDL）作为语义Web逻辑基础所存在的问题．针对语义Web的特点和需求，对DDL进行了扩充，提出了一种新的描述逻辑，即分布式动态描述逻辑（D3L），给出了D3L的语法和语义，并研究了D3L的推理机制，提出了两种推理方法：直接推理和转化推理．与动态描述逻辑DDL相比，该D3L可以为语义Web提供更为合理的逻辑基础，弥补了DDL作为语义Web逻辑基础的不足．     

Foundations of entity-relationship modeling

Database design methodologies should facilitate database modeling, effectively support database processing, and transform a conceptual schema of the database to a high-performance database schema in the model of the corresponding DBMS. The Entity-Relationship Model is extended to theHigher-orderEntity-RelationshipModel (HERM) which can be used as a high-level, simple and comprehensive database design model for the complete database information on the structure, operations, static and dynamic semantics. The model has the expressive power of semantic models and possesses the simplicity of the entity-relationship model. The paper shows that the model has a well-founded semantics. Several semantical constraints are considered for this model.     

An Object-Oriented Transaction Model

In object-oriented database systems(OOBSs),the traditional transaction models are no longer suitable because of the difference between the object-oriented data model(OODM)and the conventional data models(e.g.relational data model).In this paper,transction models for advanced database applications are reviewed and their shortcomings are analyzed.Exchangeability of operations is proposed instead of commuativity and recoverability for using more semantics in transaction management.As a result,an object-oriented transaction model(in short,OOTM)is presented.It is not modeled for some special application,but directly based on object-oriented paradigms.A transaction is regarded as an interpretation of a metho.Each transaction(even subtransactions)keeps relative ACID(Atomicity,Consistency,Isolation,Durability)properties,therefore the special problems appearing in OOBSs such as“long transactions”,“visibility of inconsistent database state”can be solved.