摘要 面向对象程序设计模型中的并发行为 摘要 面向对象软件开发技术已广泛应用于软件系统的设计与构造，面向对象模型 是对客观世界活动的自然刻划，其中的对象是对客观世界中有形或无形实体的直 接模拟。用面向对象技术开发软件，能够减小问题域与解题域之间的语义间隙， 使得软件开发过程显得比较自然，从而可提高软件生产率。 客观世界中的活动往往是并发进行的，而目前大多数面向对象模型只提供了 描述系统顺序执行的能力。为了加强面向对象模型的表达能力，必须在面向对象 模型中提供并发描述机制，使其能够描述客观世界中的并发行为。 本论文工作的主要目的就是研究如何在面向对象模型中引进并发描述机制， 使其能够描述客观活动的并发行为，并且，所引进的并发描述机制要与面向对象 模型相容，不破坏面向对象模型中已有的一些特性。 本论文首先分析了在面向对象模型中引进并发所面临的各种问题，并给出了 现有的一些解决方案。然后，在研究了现有的一些并发面向对象模型的基础上， 论文提出了一个基于并发对象的并发面向对象模型，在该模型中，并发机制以一 种与面向对象模型相集成的方式被引进。对象可以有私有执行线程，各对象的私 有线程之间以及对象内部的各线程之间并发执行：对象间采用远程过程调用方式 进行通信，对象对消息的接收以及内部各线程之间的并发执行进行控制：并发对 象类的并发属性可以从父类继承。论文还用CSP对所提模型中并发对象的语义进行 了形式化描述，论文最后用所提模型对C++进行了并发扩充，使得C+能够用于描 述并发计算。 关键词：面向对象，程序设计，并发对象，CSP,C++ i摘 要 i 面向对象程序设计模型中的并发行为 摘 要 面向对象软件开发技术已广泛应用于软件系统的设计与构造，面向对象模型 是对客观世界活动的自然刻划，其中的对象是对客观世界中有形或无形实体的直 接模拟。用面向对象技术开发软件，能够减小问题域与解题域之间的语义间隙， 使得软件开发过程显得比较自然，从而可提高软件生产率。 客观世界中的活动往往是并发进行的，而目前大多数面向对象模型只提供了 描述系统顺序执行的能力。为了加强面向对象模型的表达能力，必须在面向对象 模型中提供并发描述机制，使其能够描述客观世界中的并发行为。 本论文工作的主要目的就是研究如何在面向对象模型中引进并发描述机制， 使其能够描述客观活动的并发行为，并且，所引进的并发描述机制要与面向对象 模型相容，不破坏面向对象模型中已有的一些特性。 本论文首先分析了在面向对象模型中引进并发所面临的各种问题，并给出了 现有的一些解决方案。然后，在研究了现有的一些并发面向对象模型的基础上， 论文提出了一个基于并发对象的并发面向对象模型，在该模型中，并发机制以一 种与面向对象模型相集成的方式被引进。对象可以有私有执行线程，各对象的私 有线程之间以及对象内部的各线程之间并发执行；对象间采用远程过程调用方式 进行通信，对象对消息的接收以及内部各线程之间的并发执行进行控制；并发对 象类的并发属性可以从父类继承。论文还用CSP对所提模型中并发对象的语义进行 了形式化描述，论文最后用所提模型对C++进行了并发扩充，使得C++能够用于描 述并发计算。 关键词：面向对象，程序设计，并发对象，CSP，C++