What a step of a part gives: its next state, or that state with the events it raised for its parent. A part that raises no event steps to a state alone, as a program does.
What a step of a part gives: its next state, or that state with the events it raised for its parent. A part that raises no event steps to a state alone, as a program does.