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

fYear

1997

fDate

11-15 Aug 1997

Firstpage

60

Lastpage

65

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International

Conference_Location

Washington, DC

ISSN

0730-3157

Print_ISBN

0-8186-8105-5

Type

conf

DOI

10.1109/CMPSAC.1997.624755

Filename

624755