Object orientation in hierarchical predicate transition nets

  • Authors:
  • Xudong He;Yingjia Ding

  • Affiliations:
  • -;-

  • Venue:
  • Concurrent object-oriented programming and petri nets
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, an approach of using hierarchical predicate transition nets (HPrTNs in the sequel) for object-oriented specification is proposed. The realization of various object-oriented features (including encapsulation, inheritance, and polymorphism) in HPrTNs is presented and is demonstrated with examples. We believe that the approach can achieve the benefits of the object-oriented methods while maintaining the analyzability of HPrTNs.