首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Analysis Software with an Object-Oriented Petri Net Model
  • 本地全文:下载
  • 作者:H. Motameni ; A. Movaghar ; B. Shirazi
  • 期刊名称:World Applied Sciences Journal
  • 印刷版ISSN:1818-4952
  • 电子版ISSN:1991-6426
  • 出版年度:2008
  • 卷号:3
  • 期号:04
  • 出版社:International Digital Organization for Scientific Information Publications
  • 摘要:

    Petri net is used widely to analyze and model various systems formally. Recently, Many Petri
    nets mania devote their efforts to enhancing and extending the expressive Power of Petri nets. One such
    effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent
    concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily,
    intuitively and Naturally. Although several high-level Petri nets with the concept of objects are suggested,
    These nets do not fully support the object-oriented concepts. Object Oriented Methodology lacks the rigor
    to verify formal validate the designed system. Petri Nets provide formal graphical representation,
    incorporate concurrency and parallelism. In Colored Petri Nets (CPNs), Objects and object attributes can be
    modeled with data structures. The hierarchical structure of (CPNs) is useful in representing Class
    Inheritance and to describe dynamics of objects. To check the correctness of the designed system, there is a
    need to integrate Object Oriented techniques at design level and use of (CPNs) at the Verification and
    Validation level in software system development. This paper presents a technique to transform an Object
    Oriented Design (OOD) into Hierarchical (CPNs) model with Object Oriented Petri Nets Model (OOPNM)
    approach.

  • 关键词:OOPNM · class · object · inheritance · encapsulation
国家哲学社会科学文献中心版权所有