Process Model
Process Model
The processes on the previous slide do not terminate (they conceptually run forever). If a process terminates, we distinguish between correct termination (SUCCESS) and error termination (FAILURE).
P = ( a ® b ® ... ® SUCCESS)
P = ( a ® b ® ... ® FAILURE)
In is often convenient to introduce a process that engages in no significant events, always terminates and terminates successfully. This process is called the SKIP process. It is not the same as a null statement or event:
SKIP = ( null ® SUCCESS)
The following is true of SKIP:
P || SKIP = P