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

Previous slide Next slide Back to the first slide View Graphic Version