并发对象模型与面向对象的petri网.pdf

内 容 A. JWL 口 面n 象思想是解决并发系统开发 “存在的问题约重要方法，虽然研究者价已经在这 方面作了大量的工作 但并发的面向对象程序设计语言至今没有一个公认的理论基础 通过犷畏CSP,US和?.r网等有良好的数学墓础约通用并发模型获得并发对象模 型是很宕然约想法.面向对象约Pe_r闷和基于进程演算的并发对象模型等为cooPL约理 沦墓础约建立提供了不P,的思路。在这一领域较有影响的工作还有演员模型 本又分析了较有影啊的几神并发2`象模型，借鉴它优约方法，提u了新的Perri又 模型，新模型可以自然地描述继承性、对象动态创建和连接，比原有模型有更强的搭逆 能力。 另扩藏 9河z象 井支程序设汁 计算模型 进栏演算 七r.网 Abstract Itisbelievedthatobject-orientedtechnology二oneofthepromisingmethodstodevelop concurrentsystem.Althoughmuchefforthasalreadybeentradeinthisfield,notheoretical foundationofconcurrentobject-orientedprogramminglanguageiscommonlyaccepted. OnesolutiontothisproblemistoadaptthoseformalconcurrentmodelssuchasCSP,CCS orPetrinettoformconcurrentobjectmodel.Manysuggestionshavealreadybeenputforwardin thisdirection.Therearealsosomemodelsthatarentbasedonthoseformalmodels;themost influentialofthem isactorsmodel 玩thispaper,someofthoseinfluentialconcurrentobjectmodelsareanalyzed,and,adopted someconceptofthem,anewobject-orientedPetrinetmodelissuggested.Thenewmodelcan describetheinheritanceandthedynamiccreationandlinkageoftheobjectnaturally,andismore powerfulthantheoldobject-orientedPetrinetmodel. 五匀rwords: object-oriented concurrentpro9lamming computingmodel caculrsofprocess Petrinet 序 言 并发是一种普遍存在的现象，计算机对他们的描述也应该是并发的。第五代 计算机— 大规模并行处理计算机的研究，也要求开发适用于并行机的并发语 面向对象语言作为一种新的语言形式，改变了传统编程语言割裂数据与操作 的弊端。面向对象语言接近人类的总维方法，有利于问题建模。而且，将描述客 观实体的属性和操作的代码集中起采，符合软件工程中模块化的思想，便于大型 软件的开发。另外，对象是自足的封装体，相互之间有天然的并发性，很适于并 发软件的描述. 开发程序设计语言，需要有好的语义模型，目前，并发程序设计语言的计 算模型主要有进程演算模型、Petri网模型和演员模型等.他们从71周的角度对 并发对象模型的建立提供了思路，但都还没有得到普遍的认可。 本文分析了较有影响的几种并发对象模型，借鉴它们的方法，提出了新的 Petri网模型，新模型可以自然地描述继承性、对象动态创建k连接，比原有模 型有更强的描述能力。 - 本文内容按以下方式组织:第一童先对本文将要用到的一些概念进行介绍， 包括面向对象编程语言和一些常见的通用并发模型。通用并发模型主要以C