DocumentCode :
2760128
Title :
TAPIOCA: OCCAM rapid prototyping from Petri-net
Author :
Breant, F.
Author_Institution :
CNRS, Univ. Pierre et Marie Curie, Paris, France
fYear :
1990
fDate :
22-25 Oct 1990
Firstpage :
184
Lastpage :
190
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/JCIT.1990.128284
Filename :
128284
Link To Document :
بازگشت