One way to design and document control logic is using state machine diagrams, which are graphical representations of the possible states of a system and the transitions between them.

Activity diagrams are part of the Unified Modeling Language (UML) to specify a system's behavior. This formalism has been substantially revised in UML 2. Concepts like signal handling and ...

The paper proposes a more formalized definition of UML 2.0 activity diagram semantics. A subset of activity diagram constructs relevant for business process modeling is considered. The semantics ...