Listing 1: Insurance state model in XML

<?xml version="1.0" encoding="UTF-8"?>
<StateModel namespace="Insurance" clazz="examples.insurance.InsuranceAction">
<State name="top" id="1">
<Child id="2"/>
<Child id="3"/>
<Child id="4"/>
<Child id="5"/>
<Child id="6"/>
<Child id="7"/>
<InitialTransitionPoint/>
<TransitionPoint><Point name="kill" type="netp"/></TransitionPoint>
<Transition name="init">
<Source><Point name="init" type="itp"/></Source>
<Dest><Point name="idle" type="state"/></Dest>
</Transition>
<Transition name="kill">
<Source><Point name="kill" type="netp"/></Source>
<Dest><Point name="idle" type="state"/></Dest>
</Transition>
<Transition name="newBusiness">
<Source><Point name="idle" type="state"/></Source>
<Dest><Point name="proposed" type="state"/></Dest>
</Transition>
<Transition name="refused">
<Source><Point name="proposed" type="state"/></Source>
<Dest><Point name="idle" type="state"/></Dest>
</Transition>
<Transition name="requiresAnalysis">
<Source><Point name="proposed" type="state"/></Source>
<Dest><Point name="waiting" type="state"/></Dest>
</Transition>
<Transition name="accepted">
<Source><Point name="proposed" type="state"/></Source>
<Dest><Point name="accepted" type="state"/></Dest>
</Transition>
<Transition name="activated">
<Source><Point name="accepted" type="state"/></Source>
<Dest><Point name="active" type="state"/></Dest>
</Transition>
<Transition name="accepted">
<Source><Point name="waiting" type="state"/></Source>
<Dest><Point name="accepted" type="state"/></Dest>
</Transition>
<Transition name="refused">
<Source><Point name="waiting" type="state"/></Source>
<Dest><Point name="idle" type="state"/></Dest>
</Transition>
<Transition name="timeout">
<Source><Point name="waiting" type="state"/></Source>
<Dest><Point name="escalated" type="state"/></Dest>
</Transition>
<Transition name="approved">
<Source><Point name="escalated" type="state"/></Source>
<Dest><Point name="accepted" type="state"/></Dest>
</Transition>
<Transition name="refused">
<Source><Point name="escalated" type="state"/></Source>
<Dest><Point name="idle" type="state"/></Dest>
</Transition>
</State>
<State name="idle" id="2"/>
<State name="proposed" id="3"/>
<State name="accepted" id="4"/>
<State name="active" id="5"/>
<State name="waiting" id="6"/>
<State name="escalated" id="7"/>
</StateModel>