Click here to Skip to main content
15,884,298 members
Articles / Desktop Programming / Win32

Visual Modeling of Complex Reactive Systems with Harel UML StateCharts

Rate me:
Please Sign up or sign in to vote.
5.00/5 (7 votes)
8 Sep 2009LGPL310 min read 43.5K   692   35  
This article presents a commercial-grade cross-platform Harel UML StateChart Open-Source application framework named StateWizard for concurrent, distributed, and real-time reactive system development with simplicity, efficiency, and scalability.
22:00:25	
22:00:25	Start realtime state tracking ...
22:00:25	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     SEQ NUM   EVENT DATA          TIME(ms)  REASON                        
22:00:25	Player1         Player                          PowerDown                           0         Activated                     
22:00:25	Player2         Player                          PowerDown                           0         Activated                     
22:00:27	Player1         Player          Cond1           Playing         1              0         I(0   ,0   )        0         Hit                           
22:00:28	Player1         Player          Playing         Playing         Timeout        3         I(3   ,1000)        0         Guard Returned FALSE          
22:00:29	Player1         Player          Playing         Playing         Timeout        3         I(3   ,1000)        0         Guard Returned FALSE          
22:00:30	Player1         Player          Playing         Playing         StateTimer     1         I(1   ,3000)        0         Internal Tran                 
22:00:30	Player1         Player          Playing         Playing         Timeout        3         I(3   ,1000)        0         Guard Returned FALSE          
21:27:40	
21:27:40	Player2         Player                          Player          1                         16        Activated                     
21:27:40	Start realtime state tracking ...
21:27:40	Player2         Player                          PowerDown       2                         0         Activated                     
21:27:40	APPLICATION     ROOT            SRC STATE       DEST STATE      DEPTH EVENT     SEQ NUM   EVENT DATA          TIME(ms)  REASON                        
21:27:40	Player1         Player                          Player          1                         0         Activated                     
21:27:40	Player1         Player                          PowerDown       2                         0         Activated                     
21:27:42	Player1         Player          PowerDown                       2     1              0         I(0   ,0   )        0         De-activated                  
21:27:42	Player1         Player          PowerDown       Join1           1     1              0         I(0   ,0   )        0         Hit                           
21:27:42	Player1         Player          PowerDown       Cond1           1     1              0         I(0   ,0   )        0         Join                          
21:27:42	Player1         Player          Cond1           PowerUp         2     1              0         I(0   ,0   )        0         Cond                          
21:27:42	Player1         Player                          Playing         3     1              0         I(0   ,0   )        0         Activated                     
21:27:43	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
21:27:44	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
21:27:45	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        0         Internal Tran                 
21:27:45	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
21:27:46	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
21:27:47	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
21:27:48	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        0         Internal Tran                 
21:27:48	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
21:27:49	Player1         Player          Playing                         3     1              0         I(0   ,0   )        0         De-activated                  
21:27:49	Player1         Player          Playing                         2     1              0         I(0   ,0   )        0         De-activated                  
21:27:49	Player1         Player          Playing         PowerDown       2     1              0         I(0   ,0   )        0         Hit                           
21:27:49	Player1         Player          PowerDown       PowerDown       2     2              0         I(0   ,0   )        0         Not Matched                   
15:25:48	
ayer1         Player                          Player          1                         47        Activated                     
15:25:48	Start realtime state tracking ...
15:25:48	Player1         Player                          PowerDown       2                         0         Activated                     
15:25:48	OBJECT          ROOT            SRC STATE       DEST STATE      DEPTH EVENT     SEQ NUM   EVENT DATA          TIME(ms)  REASON                        
15:25:48	Player2         Player                          Player          1                         0         Activated                     
15:25:48	Player2         Player                          PowerDown       2                         0         Activated                     
15:25:51	Player1         Player          PowerDown                       2     1              0         I(0   ,0   )        0         De-activated                  
15:25:51	Player1         Player          PowerDown       Join1           1     1              0         I(0   ,0   )        0         Hit                           
15:25:51	Player1         Player          PowerDown       Cond1           1     1              0         I(0   ,0   )        0         Join                          
15:25:51	Player1         Player          Cond1           PowerUp         2     1              0         I(0   ,0   )        31        Cond                          
15:25:52	Player1         Player                          Playing         3     1              0         I(0   ,0   )        62        Activated                     
15:25:53	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
15:25:54	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
15:25:54	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:25:55	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
15:25:56	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
15:25:57	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
15:25:57	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:25:58	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
15:25:59	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
15:25:59	Player2         Player          PowerDown                       2     1              0         I(0   ,0   )        0         De-activated                  
15:25:59	Player2         Player          PowerDown       Join1           1     1              0         I(0   ,0   )        0         Hit                           
15:25:59	Player2         Player          PowerDown       Cond1           1     1              0         I(0   ,0   )        31        Join                          
15:25:59	Player2         Player          Cond1           PowerUp         2     1              0         I(0   ,0   )        32        Cond                          
15:26:00	Player1         Player          Playing         Playing         3     Timeout        4         I(4   ,1000)        0         Guard Returned FALSE          
15:26:00	Player2         Player                          Playing         3     1              0         I(0   ,0   )        78        Activated                     
15:26:00	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:00	Player1         Player          Playing                         3     StateTimer     2         I(2   ,9000)        0         De-activated                  
15:26:01	Player2         Player          Playing         Playing         3     Timeout        8         I(8   ,1000)        0         Guard Returned FALSE          
15:26:01	Player1         Player          Playing         Pause           3     StateTimer     2         I(2   ,9000)        47        Hit                           
15:26:02	Player2         Player          Playing         Playing         3     Timeout        8         I(8   ,1000)        0         Guard Returned FALSE          
15:26:02	Player2         Player          Playing         Playing         3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:03	Player2         Player          Playing         Playing         3     Timeout        8         I(8   ,1000)        0         Guard Returned FALSE          
15:26:03	Player1         Player          Pause           Pause           3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:04	Player2         Player          Playing         Playing         3     Timeout        8         I(8   ,1000)        0         Guard Returned FALSE          
15:26:05	Player2         Player          Playing         Playing         3     Timeout        8         I(8   ,1000)        0         Guard Returned FALSE          
15:26:05	Player2         Player          Playing         Playing         3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:06	Player2         Player          Playing         Playing         3     Timeout        8         I(8   ,1000)        0         Guard Returned FALSE          
15:26:06	Player1         Player          Pause           Pause           3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:07	Player2         Player          Playing         Playing         3     Timeout        8         I(8   ,1000)        0         Guard Returned FALSE          
15:26:08	Player2         Player          Playing         Playing         3     Timeout        8         I(8   ,1000)        0         Guard Returned FALSE          
15:26:08	Player2         Player          Playing         Playing         3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:08	Player2         Player          Playing                         3     StateTimer     6         I(6   ,9000)        0         De-activated                  
15:26:09	Player2         Player          Playing         Pause           3     StateTimer     6         I(6   ,9000)        32        Hit                           
15:26:09	Player1         Player          Pause           Pause           3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:11	Player1         Player          Pause                           3     2              0         I(0   ,0   )        0         De-activated                  
15:26:11	Player1         Player          Pause           Playing         3     2              0         I(0   ,0   )        78        Hit                           
15:26:11	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:12	Player1         Player          Playing         Playing         3     Timeout        11        I(11  ,1000)        0         Guard Returned FALSE          
15:26:12	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:13	Player1         Player          Playing         Playing         3     Timeout        11        I(11  ,1000)        0         Guard Returned FALSE          
15:26:14	Player1         Player          Playing         Playing         3     Timeout        11        I(11  ,1000)        0         Guard Returned FALSE          
15:26:14	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:15	Player1         Player          Playing         Playing         3     Timeout        11        I(11  ,1000)        0         Guard Returned FALSE          
15:26:15	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:16	Player2         Player          Pause                           3     2              0         I(0   ,0   )        0         De-activated                  
15:26:16	Player2         Player          Pause           Playing         3     2              0         I(0   ,0   )        78        Hit                           
15:26:16	Player1         Player          Playing         Playing         3     Timeout        11        I(11  ,1000)        0         Guard Returned FALSE          
15:26:17	Player2         Player          Playing         Playing         3     Timeout        14        I(14  ,1000)        0         Guard Returned FALSE          
15:26:17	Player1         Player          Playing         Playing         3     Timeout        11        I(11  ,1000)        0         Guard Returned FALSE          
15:26:17	Player2         Player          Playing         Playing         3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:18	Player2         Player          Playing         Playing         3     Timeout        14        I(14  ,1000)        0         Guard Returned FALSE          
15:26:18	Player1         Player          Playing         Playing         3     Timeout        11        I(11  ,1000)        0         Guard Returned FALSE          
15:26:18	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:19	Player2         Player          Playing         Playing         3     Timeout        14        I(14  ,1000)        0         Guard Returned FALSE          
15:26:19	Player1         Player          Playing         Playing         3     Timeout        11        I(11  ,1000)        0         Guard Returned FALSE          
15:26:20	Player2         Player          Playing         Playing         3     Timeout        14        I(14  ,1000)        0         Guard Returned FALSE          
15:26:20	Player1         Player          Playing                         3     StateTimer     9         I(9   ,9000)        0         De-activated                  
15:26:20	Player2         Player          Playing         Playing         3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:20	Player2         Player          Playing                         3     2              0         I(0   ,0   )        0         De-activated                  
15:26:20	Player1         Player          Playing         Pause           3     StateTimer     9         I(9   ,9000)        63        Hit                           
15:26:21	Player2         Player          Playing         Pause           3     2              0         I(0   ,0   )        31        Hit                           
15:26:21	Player1         Player          Pause           Pause           3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:23	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:24	Player1         Player          Pause                           3     2              0         I(0   ,0   )        0         De-activated                  
15:26:24	Player1         Player          Pause           Playing         3     2              0         I(0   ,0   )        62        Hit                           
15:26:24	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:25	Player1         Player          Playing         Playing         3     Timeout        17        I(17  ,1000)        0         Guard Returned FALSE          
15:26:26	Player1         Player          Playing         Playing         3     Timeout        17        I(17  ,1000)        0         Guard Returned FALSE          
15:26:26	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        32        Internal Tran                 
15:26:27	Player1         Player          Playing         Playing         3     Timeout        17        I(17  ,1000)        0         Guard Returned FALSE          
15:26:27	Player1         Player          Playing         Playing         3     StateTimer     1         I(1   ,3000)        31        Internal Tran                 
15:26:28	Player1         Player          Playing         Playing         3     Timeout        17        I(17  ,1000)        0         Guard Returned FALSE          
15:26:29	Player1         Player          Playing                         3     1              0         I(0   ,0   )        0         De-activated                  
15:26:29	Player1         Player          Playing                         2     1              0         I(0   ,0   )        0         De-activated                  
15:26:29	Player1         Player          Playing         PowerDown       2     1              0         I(0   ,0   )        31        Hit                           
15:26:29	Player1         Player          PowerDown                       2     1              0         I(0   ,0   )        0         De-activated                  
15:26:29	Player1         Player          PowerDown       Join1           1     1              0         I(0   ,0   )        0         Hit                           
15:26:29	Player1         Player          PowerDown       Cond1           1     1              0         I(0   ,0   )        31        Join                          
15:26:29	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:30	Player1         Player          Cond1           PowerUp         2     1              0         I(0   ,0   )        31        Cond                          
15:26:30	Player1         Player                          Playing         3     1              0         I(0   ,0   )        62        Activated                     
15:26:31	Player1         Player          Playing         Playing         3     Timeout        21        I(21  ,1000)        0         Guard Returned FALSE          
15:26:32	Player1         Player          Playing         Playing         3     Timeout        21        I(21  ,1000)        0         Guard Returned FALSE          
15:26:32	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:33	Player1         Player          Playing         Playing         3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:26:33	Player1         Player          Playing         Playing         3     Timeout        21        I(21  ,1000)        0         Guard Returned FALSE          
15:26:34	Player1         Player          Playing         Playing         3     Timeout        21        I(21  ,1000)        0         Guard Returned FALSE          
15:26:35	Player1         Player          Playing         Playing         3     Timeout        21        I(21  ,1000)        0         Guard Returned FALSE          
15:26:35	Player1         Player          Playing                         3     2              0         I(0   ,0   )        0         De-activated                  
15:26:35	Player1         Player          Playing         Pause           3     2              0         I(0   ,0   )        31        Hit                           
15:26:35	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:36	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:26:38	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:39	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        47        Internal Tran                 
15:26:41	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:42	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:26:44	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:45	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:26:47	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:48	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:26:50	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:51	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:26:53	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:54	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:26:56	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:26:57	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:26:59	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:27:00	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:27:02	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:27:03	Player1         Player          Pause           Pause           3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:27:03	Player1         Player          Pause                           3     2              0         I(0   ,0   )        0         De-activated                  
15:27:04	Player1         Player          Pause           Playing         3     2              0         I(0   ,0   )        63        Hit                           
15:27:05	Player1         Player          Playing         Playing         3     Timeout        24        I(24  ,1000)        0         Guard Returned FALSE          
15:27:05	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:27:06	Player1         Player          Playing         Playing         3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:27:06	Player1         Player          Playing         Playing         3     Timeout        24        I(24  ,1000)        0         Guard Returned FALSE          
15:27:07	Player1         Player          Playing         Playing         3     Timeout        24        I(24  ,1000)        0         Guard Returned FALSE          
15:27:08	Player1         Player          Playing         Playing         3     Timeout        24        I(24  ,1000)        0         Guard Returned FALSE          
15:27:08	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:27:09	Player1         Player          Playing         Playing         3     StateTimer     18        I(18  ,3000)        31        Internal Tran                 
15:27:09	Player1         Player          Playing                         3     2              0         I(0   ,0   )        0         De-activated                  
15:27:09	Player1         Player          Playing         Pause           3     2              0         I(0   ,0   )        31        Hit                           
15:27:10	Player1         Player          Pause                           3     1              0         I(0   ,0   )        0         De-activated                  
15:27:10	Player1         Player          Pause                           2     1              0         I(0   ,0   )        0         De-activated                  
15:27:10	Player1         Player          Pause           PowerDown       2     1              0         I(0   ,0   )        32        Hit                           
15:27:11	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:27:14	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:27:17	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:27:20	Player2         Player          Pause           Pause           3     StateTimer     5         I(5   ,3000)        31        Internal Tran                 
15:27:23	Player2         Player          Pause                           3     1              0         I(0   ,0   )        0         De-activated                  
15:27:23	Player2         Player          Pause                           2     1              0         I(0   ,0   )        0         De-activated                  
15:27:23	Player2         Player          Pause           PowerDown       2     1              0         I(0   ,0   )        31        Hit                           

By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.

If a file you wish to view isn't highlighted, and is a text file (not binary), please let us know and we'll add colourisation support for it.

License

This article, along with any associated source code and files, is licensed under The GNU Lesser General Public License (LGPLv3)


Written By
Software Developer (Senior)
United States United States
This member has not yet provided a Biography. Assume it's interesting and varied, and probably something to do with programming.

Comments and Discussions