并发面向对象语言COOLⅡ的语义模型

缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的影响,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演算CONOC,以此为基础讨论了COOLⅡ的变换语义。     

用于描述面向对象并发系统的实用图文法模型*

面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消．图文法模型比其他形式化工具更适合描述这种并发和动态的特性．这里我们介绍一个新的用于描述面向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言．在面向对象并发系统开发支持环境 的支持下，用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制，     

一种基于MPI的并发面向对象模型

1.引言面向对象程序设计方法是当今最有前途的软件设计技术之一。面向对象方法是与现实模型相对应的,而现实模型中的对象是并发活动的,因此面向对象方法被认为具有潜在的并发性。将面向对象技术和并发技术结合起来的并发面向对象技术是近几年才兴起的,是一个比较新的研究领域。近年来,国内外提出了许多并发面向对象模型,文[1]提出了Actor模型,在该模型中,对象被称为actor,它是自含的、交互的和独     

面向对象原型开发方法的一种实现策略

按照瀑布模型进行软件开发存在需克服语义断层和适应需求变化两个难题。面向对象方法和原型法对克服上述问题都有明显优势，但在开发期间面向对象方法更长于前者，原型法更长于后者。人们在尝试把它们结合起来的面向对象的原型法。本文提出面向对象原型法的一种实现策略，指出用这种方法在开发过程经历的三个阶段。     

一个面向对象的二级并发模型

本文提出了一个面向对象的二级并发模型ＦＯＲＣＥ－Ｍｏｄｅｌ．它从需求规范的角度充分开发对象间和对象内两个层次上的并行性，从而将面向对象与并发性有机地结合起来，提供了有效的实时系统建模框架．基于该模型，我们开发了一个多视点可视规范语言族ＦＯＲＣＥ－Ｌａｎｇｕａｇｅ．     

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

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

面向对象的工程数据库模型

提高数据库模型的表达能力是增强数据库系统的性能与功能的关键。本文基于面向对象的思想，吸收语义数据模型、知识的演绎推理机制和图形的组成关系运算，提出了一个面向对象的工程数据库模型。讨论了面向对象的特征、语义构造能力，介绍了知识的表示和图形的生成方法。     

SCOOP并发机制应用研究

SCOOP扩展了串行Eiffel程序设计语言以支持并发应用的构建.SCOOP通过一组编译规则回避了显式线程声明、同步阻塞、显式等待,并经构造消除了竞争条件和原子化违背.SCOOP意图通过一个全局调度程序来保证合理性.JSCOOP作为一种高层并发框架,是SCOOP在Java中的实现.JSCOOP引入了一组模型化注释和核心库类以提供实现SCOOP语义的必要支持.本文详细分析了SCOOP模型和JSCOOP模型的体系结构以及面向对象并发程序实现机制,并总结了SCOOP在并发程序设计中的发展现状.     

一个基于面向对象方法的并行黑板系统的设计

本文论述了用面向对象的系统分析与设计方法和面向对象的编程技术构造大型、复杂的并行黑板实时控制系统的思想和方法。文章以四辊冷连轧机为对象给出了一个设计实例并给出了一个通用的实时控制并行黑板结构ＲＴＣＢ。贯穿全文的一个很重要的思想就是要致力于开发面向对象方法和黑板模型的潜在的并行、并发特性以及所构造系统的可扩充性和易维护性。     

用于描述面向对象并发系统的实用图文法模型

面向对象的并发系统与传统的并发系统的不同之片在于其进程结构的动态性，系统中地进程以及进程之间的通信链路随着对象的变化而动态地建议或撤消。法模型比其他形式化化工具更适合描述这种并发和动态的特性。这里我们介绍一个新的用于描述向对象并发系统的图法模型，在该模型中为系统的设计开发提供了一个用来描述诉静态和动态结构的语言工具－ＣＤＳＬ语言。     

并发面向对象程序设计语言研究与进展

随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点。     

多线程技术的研究与应用

现代主流操作系统已经广泛采用了多线程技术．首先论述了多线程的基本概念,然后着重分析了３种主要的多线程实现方案：内核绵线程、用户级线程和混合策略,然后介绍了多线程技术的应用．还结合面向对象数据库管理系统ＮＯＤＢＭＳ的实现,介绍了如何应用多线程技术实现多事务处理,并提出了一个基于多线程技术实现的对象式数据库查询优化算法、该算法取得了较好的效果。     

面向对象类型理论的比较研究

人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同，它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础。     

面向对象的固定管板式换热器有限元应力分析系统

阐述如何利用面积对象的方法和VC＋＋语言,进行固定管板式换热器有限元应力分析系统的开发,设计和实现过程。该系统主要为固定管板式换热器设计开发人员提供一种分析、计算和设计的工具。文中介绍了系统确立的对象、系统分类方法、组织结构、消息传递机制以及系统的面向对象特征。研究表明面向对象方法是一种良好的、易于用来开发工程分析计算程序的方法。     

Actor languages their syntax, semantics, translation, and equivalence

In this paper we present two actor languages and a semantics preserving translation between them. The source of the translation is a high-level language that provides object-based programming abstractions. The target is a simple functional language extended with basic primitives for actor computation. The semantics preserved is the interaction semantics of actor systems — sets of possible interactions of a system with its environment. The proof itself is of interest since it demonstrates a methodology based on the actor theory framework for reasoning about correctness of transformations and translations of actor programs and languages and more generally of concurrent object languages.     

DOPS——分布式面向对象编程系统

ＤＯＰＳ是我们在Ｓｕｎ工作站网络中设计实现的分布式面向对象编程系统。目前包括并发面向对象编程语言ＣＣ＋＋和该语言在松散耦合分布式环境中的运行支撑系统ＤＲＴＳ。本文分别介绍ＣＣ＋＋和ＤＲＴＳ的设计与实现，最后给出检测结果。     

Concurrent programming in VISO

Concurrent programming is more difficult to use and understand than sequential programming. In order to simplify this type of programming a number of approaches have been developed such as visual programming. Visual Occam (VISO) is a visual programming language for concurrent programming. It has a graphical syntax based on the language Occam and its semantics is represented both in petri net and process calculus. This paper presents a modular visual approach to write concurrent programs using the VISO language. Concurrent programs in VISO are specified graphically at different levels of abstraction. This paper describes this modular visual approach by constructing two examples in VISO. The first example is a simple concurrent program and it is mainly used to show the details of constructing a concurrent program in VISO. The second example is a larger concurrent program with more levels of abstraction. Copyright © 2000 John Wiley & Sons, Ltd.     

Mirror‐based reflection in AmbientTalk

This paper introduces a novel mechanism to perform intercession (a form of reflection) in an object‐oriented programming language with the goal of making the language extensible from within itself. The proposed mechanism builds upon a mirror‐based architecture, leading to a reusable reflective application programming interface that cleanly separates interface from implementation details. However, support for intercession has been limited in contemporary mirror‐based architectures. This is due to the fact that mirror‐based architectures only support reflection explicitly triggered by metaprograms, while intercession requires reflection implicitly triggered by the language interpreter. This work reconciles mirrors with intercession in the context of an actor‐based, object‐oriented programming language named AmbientTalk. We describe this language's full reflective architecture, highlighting its novel mirror‐based approach to reflect upon both objects and concurrently executing actors. Subsequently, we apply AmbientTalk's mirror‐based reflection to implement two language features, which crucially depend on intercession, to wit future‐type message passing and leased object references. Copyright © 2008 John Wiley & Sons, Ltd.