“Completion event”


“Completion event” is a software case study, which is implemented in PauWare. PauWare is a Java engine for executing Harel's Statecharts in general.

Application Programming Interface -API-: Javadoc.


This case study aims at illustrating the notion of “completion event” in UML. A transition without a labeling event raises the problem of passing through such a transition while no explicit triggering is specified. PauWare automatically generates a (implicit) completion event when reaching an exit state (black plain circle inside a surrounding (bigger) circle). Note that the notion of “completion event” is not supported in SCXML.

Installation requirements
_Table_tennis_state_machine = new com.pauware.pauware_engine.Core.StateMachine(… /*, new com.pauware.pauware2web.PauWare2Web_client()*/);
Specification (statechart) as full-size SVG image
Table_tennisPlayerPingPongentry/ Table_tennis.updo/ Table_tennis.hitexit/ Table_tennis.downball