COMPSAC '97 - 21st International Computer Software and Applications Conference Translating hierarchical predicate transition nets to CC++ program skeletons Washington, DC August 11-August 15 ISBN: 0-8186-8105-5
The paper presents an approach to translate hierarchical predicate transition nets into CC++ (a concurrent object oriented language) program skeletons. The approach consists of an overall translation architecture and a set of translation rules based on the syntax and semantics of hierarchical predicate transition nets. The 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 transformational software development methodology.
Index Terms:
Petri nets; hierarchical predicate transition net translation; CC++ program skeletons; overall translation architecture; translation rules; syntax; semantics; concurrent object-oriented programming; transformational software development methodology
Citation:
Xudong He, Weili Yao, "Translating hierarchical predicate transition nets to CC++ program skeletons," compsac, pp.60, COMPSAC '97 - 21st International Computer Software and Applications Conference, 1997 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||