Title :
Translating hierarchical predicate transition nets to CC++ program skeletons
Author :
He, Xudong ; Yao, Weili
Author_Institution :
Dept. of Comput. Sci., North Dakota State Univ., Fargo, ND, USA
Abstract :
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
Keywords :
Petri nets; object-oriented programming; parallel programming; program interpreters; software engineering; CC++ program skeletons; concurrent object-oriented programming; hierarchical predicate transition net translation; overall translation architecture; semantics; syntax; transformational software development methodology; translation rules; Application software; Computer architecture; Computer science; Concurrency control; Helium; Object oriented modeling; Object oriented programming; Petri nets; Skeleton; Solids;
Conference_Titel :
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-8105-5
DOI :
10.1109/CMPSAC.1997.624755
