| 摘要 |
<p>A processing element (100) is data wherein processing (101), a conditional branch (b1) of a pre-condition and a conditional branch (b2) of a post-condition are integral and indivisible. In the processing element (100), small circles represent an input port (p1), a processing input port (p3), a processing output port (p2), and a normal output port (p4), respectively. Further, solid arrows and dashed arrows represent flows (f1)-(f6) for each of which a starting point and a terminating point are fixed. The flow (f3) is a processing input flow expressing a default evaluation while the flow (f2) is a processing output flow expressing a default evaluation. The flow (f5) is a rejection output flow that is an output from the conditional branch (b1) of the pre-condition to the outside of the processing element (100). The flow (f6) is an abnormal output flow which is an output from the conditional branch (b2) of the post-condition to the outside of the processing element (100).</p> |
