# Statechart description generated by SVM-AToM3-plugin, written by Thomas Feng # Source: /home/moncs/astewa5/statecharts/mvcModel/networkSC.py # Date: December 9, 2003 # Time: 17:57:5 OPTIONS: ModelName = NetworkSC PORT: type = in name = ian PORT: type = out name = ons COMPONENT: id = s name = SubjectSC CONNECTIONS: s.ins -- ons s.osn -- ian PORT: type = out name = ono0 PORT: type = out name = ono1 COMPONENT: id = o0 name = Observer0SC CONNECTIONS: o0.ino -- ono0 o0.oon -- ian COMPONENT: id = o1 name = Observer1SC CONNECTIONS: o1.ino -- ono1 o1.oon -- ian STATECHART: Network [DS] Idle [DS] RecMessage TRANSITION: S: Network.Idle N: Network.RecMessage E: ian.RegMsg C: 1 O: msg = [PARAMS] [DUMP("receives: "+[PARAMS])] TRANSITION: S: Network.RecMessage N: Network.Idle T: 0 [RTT] C: msg[:2]=='s0' O: [EVENT("ons.RegMsg", msg)] TRANSITION: S: Network.RecMessage N: Network.Idle T: 0 [RTT] C: msg[:2]=='o0' O: [EVENT("ono0.RegMsg", msg)] TRANSITION: S: Network.RecMessage N: Network.Idle T: 0 [RTT] C: msg[:2]=='o1' O: [EVENT("ono1.RegMsg", msg)] TRANSITION: S: Network.RecMessage N: Network.Idle T: 0 [RTT] C: msg[:2]=='oA' O: [EVENT("ono0.RegMsg", msg)] [EVENT("ono1.RegMsg", msg)]