Translating hierarchical predicate transition nets to CC++ programs

摘要

This paper presents an approach to translate hierarchical predicate transition nets into CC+ + program skeletons. The approach consists of an overall translation architecture and a set of translation rales based on the syntax and semantics of hierarchical predicate transition nets. Our results have established a link between hierarchical predicate transition nets and concurrent object-oriented programming, and provided some building blocks for a hierarchical predicate transition net based on transformational software development methodology.