Special features in ARIS UML Designer
Protocol state machines show the externally observable states and state transitions for a classifier. They define a protocol that the implementations of the relevant classifier must adhere to and show when, in what order, and on which conditions the publicly visible operations for that classifier are invoked.