TAPIOCA: OCCAM rapid prototyping from Petri-net

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.<
>