Click here to Skip to main content
15,895,084 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.7K   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.
11:35:28	
11:35:28	Start realtime state tracking ...
11:35:28	Trace Test
11:35:28	APPLICATION     SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
11:35:28	Player1                         PowerDown                 0         Activated                     
11:35:28	SingleState1                    SingleState               0         Activated                     
11:35:29	SingleState1    SingleState     SingleState     1         0         Not Matched                   
11:35:29	Player1         PowerDown       Pause           1         0         Hit                           
11:35:32	SingleState1    SingleState     SingleState     2         0         Not Matched                   
11:35:32	
11:35:32	Catching the current active application states ... 
11:35:32	APPLICATION     STATE           
11:35:32	SingleState1    SingleState     
11:35:32	Player1         Playing         
11:35:32	
11:35:32	Player1         Pause           Playing         2         47        Hit                           
11:35:33	Player1         Playing         Playing         Timeout   0         Not Matched                   
11:43:47	
11:43:47	Trace Test
11:43:47	Start realtime state tracking ...
11:43:47	APPLICATION     SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
11:43:47	Player1                         PowerDown                 0         Activated                     
11:43:47	SingleState1                    SingleState               0         Activated                     
11:43:51	SingleState1    SingleState     SingleState     1         0         Not Matched                   
11:43:51	Player1         Cond1           Playing         1         0         Hit                           
11:43:52	Player1         Playing         Playing         Timeout   0         Not Matched                   
11:44:29	
11:44:29	Trace Test
11:44:29	Start realtime state tracking ...
11:44:29	XSetThreadContext=11599436
11:44:29	APPLICATION     SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
11:44:30	Player1                         PowerDown                 0         Activated                     
11:44:30	XGetThreadContext=11599436
11:44:31	Player1         Cond1           Playing         1         16        Hit                           
11:44:32	Player1         Playing         Playing         Timeout   0         Not Matched                   
13:36:10	
13:36:10	Trace Test
13:36:10	Start realtime state tracking ...
13:36:10	XSetThreadContext=11599436
13:36:10	APPLICATION     SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
13:36:10	XGetThreadContext=11599436
13:36:10	Player1                         PowerDown                 0         Activated                     
13:36:12	Player1         Cond1           Playing         1         0         Hit                           
13:36:13	Player1         Playing         Playing         Timeout   0         Not Matched                   
13:58:58	
13:58:58	Trace Test
13:58:58	Start realtime state tracking ...
13:58:58	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
13:58:58	Player1         Player                          PowerDown                 0         Activated                     
13:58:58	SingleState1    SingleState                     SingleState               0         Activated                     
13:59:01	SingleState1    SingleState     SingleState     SingleState     1         0         Not Matched                   
13:59:01	Player1         Player          Cond1           Playing         1         0         Hit                           
13:59:02	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:03	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:04	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:05	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:06	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:07	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:08	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:09	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:10	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:18	
13:59:18	Trace Test
13:59:18	Start realtime state tracking ...
13:59:18	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
13:59:18	Player1         Player                          PowerDown                 0         Activated                     
13:59:18	SingleState1    SingleState                     SingleState               0         Activated                     
13:59:21	SingleState1    SingleState     SingleState     SingleState     1         0         Not Matched                   
13:59:21	Player1         Player          Cond1           Playing         1         0         Hit                           
13:59:22	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:23	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:24	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:25	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:00:07	
14:00:07	Trace Test
14:00:07	Start realtime state tracking ...
14:00:07	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
14:00:07	Player1         Player                          PowerDown                 0         Activated                     
14:00:07	SingleState1    SingleState                     SingleState               0         Activated                     
14:00:10	SingleState1    SingleState     SingleState     SingleState     1         0         Not Matched                   
14:00:10	Player1         Player          Cond1           Playing         1         0         Hit                           
14:00:11	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:00:12	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:00:13	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:00:14	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:06:10	
14:06:10	Trace Test
14:06:10	Start realtime state tracking ...
14:06:10	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
14:06:10	Player1         Player                          PowerDown                 0         Activated                     
14:06:10	SingleState1    SingleState                     SingleState               0         Activated                     
14:06:11	SingleState1    SingleState     SingleState     SingleState     1         0         Not Matched                   
14:06:11	Player1         Player          Cond1           Playing         1         0         Hit                           
14:06:12	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:06:13	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:06:14	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:06:15	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:28	
14:12:28	Trace Test
14:12:28	Start realtime state tracking ...
14:12:28	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
14:12:28	Player1         Player                          PowerDown                 0         Activated                     
14:12:28	SingleState1    SingleState                     SingleState               0         Activated                     
14:12:30	SingleState1    SingleState     SingleState     SingleState     1         0         Not Matched                   
14:12:30	Player1         Player          PowerDown       Playing         1         0         Hit                           
14:12:31	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:32	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:33	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:34	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:35	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:36	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:37	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:38	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:12:38	SingleState1    SingleState     SingleState     SingleState     2         0         Not Matched                   
14:12:38	Player1         Player          Playing         Pause           2         141       Hit                           
14:22:48	
14:22:48	Trace Test
14:22:48	Start realtime state tracking ...
14:22:48	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
14:22:48	Player1         Player                          PowerDown                 0         Activated                     
14:22:48	SingleState1    SingleState                     SingleState               0         Activated                     
14:22:49	SingleState1    SingleState     SingleState     SingleState     1         0         Not Matched                   
14:22:49	Player1         Player          PowerDown       Pause           1         0         Hit                           
14:22:53	SingleState1    SingleState     SingleState     SingleState     2         0         Not Matched                   
14:22:53	Player1         Player          Pause           Playing         2         31        Hit                           
14:22:54	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:22:55	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:22:56	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
14:22:57	SingleState1    SingleState     SingleState     SingleState     2         0         Not Matched                   
14:22:57	Player1         Player          Playing         Pause           2         140       Hit                           
14:22:59	SingleState1    SingleState     SingleState     SingleState     1         0         Not Matched                   
14:22:59	Player1         Player          Pause           PowerDown       1         187       Hit                           
21:30:58	Trace Test
21:30:58	
21:30:58	Start realtime state tracking ...
21:30:58	APPLICATION     ROOT            SRC STATE       DEST STATE      DEPTH EVENT     SEQ NUM   EVENT DATA          TIME(ms)  REASON                        
21:30:58	Player1         Player                          Player          1                         0         Activated                     
21:30:58	Player1         Player                          PowerDown       2                         0         Activated                     
21:30:58	SingleState1    SingleState                     SingleState     1                         0         Activated                     
21:31:00	SingleState1    SingleState     SingleState     SingleState     1     1              0         I(0   ,0   )        0         Not Matched                   
21:31:00	Player1         Player          PowerDown                       2     1              0         I(0   ,0   )        0         De-activated                  
21:31:00	Player1         Player          PowerDown       PowerUp         2     1              0         I(0   ,0   )        0         Hit                           
21:31:00	Player1         Player                          Pause           3     1              0         I(0   ,0   )        0         Activated                     
21:31:01	SingleState1    SingleState     SingleState     SingleState     1     2              0         I(0   ,0   )        0         Not Matched                   
21:31:01	Player1         Player          Pause                           3     2              0         I(0   ,0   )        0         De-activated                  
21:31:01	Player1         Player          Pause           Playing         3     2              0         I(0   ,0   )        0         Hit                           
21:31:02	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
21:31:03	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
21:31:04	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
21:31:05	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
21:31:06	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
21:31:07	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
21:31:08	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
21:31:08	SingleState1    SingleState     SingleState     SingleState     1     2              0         I(0   ,0   )        0         Not Matched                   
21:31:08	Player1         Player          Playing                         3     2              0         I(0   ,0   )        0         De-activated                  
21:31:08	Player1         Player          Playing         Pause           3     2              0         I(0   ,0   )        0         Hit                           
22:05:43	
22:05:43	Trace Test
22:05:43	Start realtime state tracking ...
22:05:43	APPLICATION     ROOT            SRC STATE       DEST STATE      DEPTH EVENT     SEQ NUM   EVENT DATA          TIME(ms)  REASON                        
22:05:43	Player1         Player                          Player          1                         0         Activated                     
22:05:43	Player1         Player                          PowerDown       2                         16        Activated                     
22:05:43	SingleState1    SingleState                     SingleState     1                         0         Activated                     
22:05:46	SingleState1    SingleState     SingleState     SingleState     1     1              0         I(0   ,0   )        0         Not Matched                   
22:05:46	Player1         Player          PowerDown                       2     1              0         I(0   ,0   )        0         De-activated                  
22:05:46	Player1         Player          PowerDown       PowerUp         2     1              0         I(0   ,0   )        0         Hit                           
22:05:46	Player1         Player                          Pause           3     1              0         I(0   ,0   )        0         Activated                     
22:05:48	SingleState1    SingleState     SingleState     SingleState     1     2              0         I(0   ,0   )        0         Not Matched                   
22:05:48	Player1         Player          Pause                           3     2              0         I(0   ,0   )        0         De-activated                  
22:05:48	Player1         Player          Pause           Playing         3     2              0         I(0   ,0   )        0         Hit                           
22:05:49	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
22:05:50	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
22:05:51	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
22:05:52	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
22:05:53	SingleState1    SingleState     SingleState     SingleState     1     2              0         I(0   ,0   )        0         Not Matched                   
22:05:53	Player1         Player          Playing                         3     2              0         I(0   ,0   )        0         De-activated                  
22:05:53	Player1         Player          Playing         Pause           3     2              0         I(0   ,0   )        0         Hit                           
15:23:49	Trace Test
15:23:49	Start realtime state tracking ...
15:23:49	OBJECT          ROOT            SRC STATE       DEST STATE      DEPTH EVENT     SEQ NUM   EVENT DATA          TIME(ms)  REASON                        
15:23:49	Player1         Player                          Player          1                         0         Activated                     
15:23:49	Player1         Player                          PowerDown       2                         0         Activated                     
15:23:49	SingleState1    SingleState                     SingleState     1                         0         Activated                     
15:23:58	SingleState1    SingleState     SingleState     SingleState     1     1              0         I(0   ,0   )        0         Not Matched                   
15:23:58	Player1         Player          PowerDown                       2     1              0         I(0   ,0   )        0         De-activated                  
15:23:58	Player1         Player          PowerDown       PowerUp         2     1              0         I(0   ,0   )        0         Hit                           
15:23:58	Player1         Player                          Pause           3     1              0         I(0   ,0   )        0         Activated                     
15:24:01	SingleState1    SingleState     SingleState     SingleState     1     2              0         I(0   ,0   )        0         Not Matched                   
15:24:01	Player1         Player          Pause                           3     2              0         I(0   ,0   )        0         De-activated                  
15:24:01	Player1         Player          Pause           Playing         3     2              0         I(0   ,0   )        31        Hit                           
15:24:02	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
15:24:03	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
15:24:04	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
15:24:05	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
15:24:06	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
15:24:06	SingleState1    SingleState     SingleState     SingleState     1     2              0         I(0   ,0   )        0         Not Matched                   
15:24:06	Player1         Player          Playing                         3     2              0         I(0   ,0   )        0         De-activated                  
15:24:06	Player1         Player          Playing         Pause           3     2              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