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

doi:10.3778/j.issn.1002-8331.2008.31.026

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

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

冯晓宁¹,王朔²,王卓¹

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-ning¹,WANG Shuo²,WANG Zhuo¹

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

摘要/Abstract

摘要： 为了增加和扩展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

冯晓宁¹,王朔²,王卓¹. 基于分层面向对象Petri网的软件建模方法研究[J]. 计算机工程与应用, 2008, 44(31): 90-93.

FENG Xiao-ning¹,WANG Shuo²,WANG Zhuo¹. Research of modeling method based on Hierarchical Object-Oriented Petri Net[J]. Computer Engineering and Applications, 2008, 44(31): 90-93.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

编辑推荐

Metrics