A methodology for constructing predicate transition net specifications Article

He, X, Lee, JAN. (1991). A methodology for constructing predicate transition net specifications . SOFTWARE-PRACTICE & EXPERIENCE, 21(8), 845-875. 10.1002/spe.4380210806

cited authors

  • He, X; Lee, JAN

authors

abstract

  • In this paper, a methodology for constructing hierarchical and structured predicate transition net specifications is developed, which includes new systematic notation extensions for supporting various transformation techniques upon predicate transition nets and several rules for applying such transformation techniques. The levelling technique in data‐flow diagrams is adapted in the refinement and the abstraction techniques, and the state decomposition idea in state‐charts is employed in designing various label formulation operators. The methodology is illustrated through the specification of a lift system. The methodology can significantly reduce the constructing complexity and enhance the comprehensibility of large predicate transition net specifications. Copyright © 1991 John Wiley & Sons, Ltd

publication date

  • January 1, 1991

published in

Digital Object Identifier (DOI)

start page

  • 845

end page

  • 875

volume

  • 21

issue

  • 8