| 基于分层面向对象Petri网的软件建模方法研究 |
| |
| 引用本文： | 冯晓宁,王朔,王卓.基于分层面向对象Petri网的软件建模方法研究[J].计算机工程与应用,2008,44(31):90-93. |
| |
| 作者姓名： | 冯晓宁 王朔 王卓 |
| |
| 作者单位： | 1. 哈尔滨工程大学,计算机科学与技术学院,哈尔滨,150001
2. 浙江大学,竺可桢学院,杭州,310058 |
| |
| 摘 要： | 为了增加和扩展Petri网的表现能力,提出了一种分层的面向对象Petri网HOOPN,并且对HOOPN的正式的语法和语义进行了详细的阐述。HOOPN建模方法在很大范围上支持面向对象的抽象、封装、继承和多态等典型特征。HOOPN同样也支持很多的建模和分析机制,最后的应用实例建模与分析证明了HOOPN的有效性。
|
| 关 键 词： | 分层面向对象Petri网 软件建模 增量分析 |
| 收稿时间： | 2007-12-5 |
| 修稿时间： | 2008-4-25
|
Research of modeling method based on Hierarchical Object-Oriented Petri Net |
| |
| 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. |
| |
| Authors: | FENG Xiao-ning WANG Shuo WANG Zhuo |
| |
| Affiliation: | 1.Department of Computer Science &; Technology，Harbin Engineering University，Harbin 150001，China 2.College of Chu Kochen Honors，Zhejiang University，Hangzhou 310058，China |
| |
| 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. |
| |
| Keywords: | Hierarchical Object-Oriented Petri Net(HOOPN) software modeling incremental analysis |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
