面向对象Petri网的分析-计算机软件与理论专业毕业论文.docxVIP

期61623摘要 期61623 摘要 本论文将Petri网理论与砸向对象相结合，提出了一种新的面向对象Petri网模型一 ^，∞P^，。该模型基于面向对象语言Sma，，砌腩的面向对象性，加上并发性和多态变迁而 组成，它允许消息传递、等待和接收响应、创建新的对象、执行原始操作等。在ⅣDOPⅣ 中，把对象看作活动的服务器，对象提供的服务和对象的独立活动用高级Petfi网描述，即， 用对象网描述对象的内部活动，用网中的托肯表示对对象的引用，而用方法网描述这些对 象如何响应消息。每个类封装一个对象网和一组相关的方法网以及一组同步端口，类的继 承由对象网、方法网以及同步端口的继承定义。每个对象都是某个类的一个实例，由该类 的对象网的一个实例与当前正在运行的方法网的实例组成。本文首先介绍了面向对象分析 和设计的基本概念与Petri网的一些成果．然后给出了NDDPⅣ静态结构的形式化定义。在 讨论．v0D尸Ⅳ的动态行为时，给出了事件的分类，并给出了每类事件引发的条件以及引发 后标识变化的形式化定义。在此基础上，给出了^，DDPV状态空间的形式化定义。晟后给 I 出了哲学家就餐问题的NOOPN模型，该模型对经典哲学家就餐问题进行修改，系统中可 以有任意多位哲学家。每位哲学家可以随时加入系统。 关键词：面向对象，Petri网，对象网，方法网，同步端口，规格说明，动态行为 AbstractThis Abstract This paper presents口new object-oriented Petri nets model NOOPN that combines the Petri nets theory with object-orientation．NOOPN is based On the object orientation ofSmallTalk enriched妙concurrency andpolymorphic transitions,which allowsfor message sending,waitingfor and accepting responsecreating new objects and performing primitive computations．In NOOPN,objects are viewed as active servers．Services provided by objects and independent activities of objects are described by means ofhigh·level Petr{nets,Le．．an object net describes the internal activity ofobjects,the tokens加the net represent the references tO these objects,and a sef ofmethod nets describe how these objects respond to certain messages．Each class encapsulates an object net,a set ofassociated method nets and a set ofsynchronous ports．The inheritance ofclass is defined砂the inheritance ofobject net,method nets and synchronous．Each object is an instance of some class,which consists of the instance ofits object net and ofthe currently running instance ofits method nets．砌 the papec wefirst introduce some basic concepts of00 analysis＆design,and some research achievements of Petri nets．Secondly we give the formal definition of the static structure ofthe model When we discuss the dynamic behavior of NOOPN，we propose the classification ofevents．At the same time，We give theformal definition of the firing condition ofea