Title :
TAPIOCA: OCCAM rapid prototyping from Petri-net
Author_Institution :
CNRS, Univ. Pierre et Marie Curie, Paris, France
Abstract :
A prototyping tool that implements the control flow of a parallel application is presented. The method is used to produce an OCCAM program from ordinary Petri nets semiautomatically. The method involves three steps. First, the model is analyzed in order to extract the basic objects (processes, shared resources, and synchronizations between processes). The linear invariants obtained by the model validation contribute to find a set of processes. The definitive choice depends on the designer requirements. In the second step, environment constraints are integrated in the specification. These constraints are principally hardware characteristics, mapping of processes, and communication management. In the last step, language constraints are integrated. Here, a set of elementary algorithms is translated using OCCAM principles. The use of local topology properties around objects makes it possible to optimize algorithm implementation. The generated code includes termination and dynamic initiation of processes
Keywords :
Occam; Petri nets; software prototyping; synchronisation; OCCAM rapid prototyping; Petri-net; TAPIOCA; communication management; control flow; dynamic initiation of processes; hardware characteristics; language constraints; local topology properties; processes; shared resources; synchronizations; termination; Application software; Automata; Automatic control; Computer industry; Hardware; Laboratories; Prototypes; Software prototyping; Software tools; Topology;
Conference_Titel :
Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)
Conference_Location :
Jerusalem
Print_ISBN :
0-8186-2078-1
DOI :
10.1109/JCIT.1990.128284