Single nesting


Single nesting 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 showing how to have (and manage) only one substate in a state in PauWare. Note that this case study just illustrates such a (rare) need.

Installation requirements
_Single_nesting_state_machine = new com.pauware.pauware_engine.Core.StateMachine(… /*, new com.pauware.pauware2web.PauWare2Web_client()*/);
Specification (statechart) as full-size SVG image
Single_nestingS1entry/ Single_nesting.ado/ Single_nesting.bexit/ Single_nesting.cS11entry/ Single_nesting.ddo/ Single_nesting.eexit/ Single_nesting.fAnye1e2