计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (31): 90-93.DOI: 10.3778/j.issn.1002-8331.2008.31.026

• 理论研究 • 上一篇    下一篇

基于分层面向对象Petri网的软件建模方法研究

冯晓宁1,王 朔2,王 卓1   

  1. 1.哈尔滨工程大学 计算机科学与技术学院,哈尔滨 150001
    2.浙江大学 竺可桢学院,杭州 310058
  • 收稿日期:2007-12-05 修回日期:2008-04-25 出版日期:2008-11-01 发布日期:2008-11-01
  • 通讯作者: 冯晓宁

Research of modeling method based on Hierarchical Object-Oriented Petri Net

FENG Xiao-ning1,WANG Shuo2,WANG Zhuo1   

  1. 1.Department of Computer Science & Technology,Harbin Engineering University,Harbin 150001,China
    2.College of Chu Kochen Honors,Zhejiang University,Hangzhou 310058,China
  • Received:2007-12-05 Revised:2008-04-25 Online:2008-11-01 Published:2008-11-01
  • Contact: FENG Xiao-ning

摘要: 为了增加和扩展Petri网的表现能力,提出了一种分层的面向对象Petri网HOOPN,并且对HOOPN的正式的语法和语义进行了详细的阐述。HOOPN建模方法在很大范围上支持面向对象的抽象、封装、继承和多态等典型特征。HOOPN同样也支持很多的建模和分析机制,最后的应用实例建模与分析证明了HOOPN的有效性。

关键词: 分层面向对象Petri网, 软件建模, 增量分析

Abstract: To enhance and improve the representation ability of the Petri Net,the paper provides a Hierarchical Object-Oriented Petri Net called HOOPN modeling method and formal syntax and semantic of HOOPN in detail.HOOPN supports a wide range features of the concept of object-oriented such as abstraction,encapsulation,inherit and polymorphism.And HOOPN also supports most modeling and analyzing methods at present.At last the paper gives the example of application modeled and analyzed by HOOPN to prove the validity of HOOPN.

Key words: Hierarchical Object-Oriented Petri Net(HOOPN), software modeling, incremental analysis