Download Code Generation from Cinderella

Transcript
Code Generation from Cinderella-SDL to Embedded Platforms
The process instance is created in the same block as the process in which the create-request is
interpreted.The syntax diagram is shown in Figure 5-27
Figure 5-27 Create Syntax Diagram
trans:
CREATE(process-identifier,process-identifier_pri,process-identifier_size);
5.5.4.2 Transition End
Decision:
The external syntax diagram of decision is shown in Figure 5-28
Figure 5-28 Decision Syntax Diagram
The syntax diagram of decision is shown in Figure 5-29.
Figure 5-29 Decision Question Syntax Diagram
The answer is shown in Figure 5-30
Figure 5-30 Decision Answer Syntax Diagram
Assume all the options have the range.
trans:
if((expression1==range1)==true){transition::trans}
else if((expression2==range2)==true){transition::trans}
……….
else{transition::trans}
Join and Connection:
The syntax diagram is shown in Figure 5-31
Figure 5-31 Label Syntax Diagram
There are two types: out-connector and in-connector. Their symbols are shown in Figure 5-32 and
Figure 5-33.
Leiming Chen
35
©May 2007