| 摘要: |
| 对象系统的计算是一个开放的、动态并发交互的过程,由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成.对象系统的行为变化是系统内、外因有机统一的具体表征,因此不能把对象系统的静态组合构造和动态计算行为当作两个孤立的个体分而治之.从这个统一原则出发,研究了基于组合构造模型的对象系统的交互计算.组合构造模型设计将对象系统的主要计算特征纳入一个统一的抽象基调之中,通过定义基调上的一组关系,把对象系统的层次结构和内部协同工作有机地结合在一起.在此基础上,给出了一个区分动作类型的交互演算(S/R演算),描述了组合对象系统的动态行为和交互,较好地刻画出对象封装性、对象计算的事件驱动性、动态绑定以及对象系统内部的交互与并发等固有特征. |
| 关键词: 对象系统 组合构造模型 S/R演算 并发 交互 |
| DOI： |
| 分类号: |
| 基金项目:对象系统;组合构造模型;S/R演算;并发;交互 |
|
| Composition and Interactive Computation of Object Systems |
|
QIAN Jun,HUANG Tao,FENG Yu lin
|
| Abstract: |
| The computation of object systems is an open and dynamic computing process with concurrent interactions, and the behavior of object systems presents the unification between internal causes and external causes, so that the research of dynamic behavior of object systems should not be separated from the discussion of static construction of object system. This paper aims at the specification of dynamic behaviors and interactions of objects, while a formal model for composite object systems is constructed to consolidate the formal abstraction and conception framework throughout the whole paper at first. A sorted CCS-like calculus named S/R is built up to clarify the computation process of object systems and to characterize the inherent properties of encapsulation, dynamic binding, interaction and concurrecy, etc. It is emphasized that the behavior of each object is restricted by its environment and the behavior of each component object should be consistent with the behavior of its composite object. |
| Key words: object system component construction model S/R calculus concurrency interaction |
