Click here to Skip to main content
15,891,473 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.
10:14:13	
10:14:13	Start realtime state tracking ...
10:14:13	Trace Test
10:14:13	XSetThreadContext=11533900
10:14:13	APPLICATION     SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
10:14:13	XGetThreadContext=11533900
10:14:13	Player                          PowerDown                 0         Activated                     
10:14:15	
10:14:15	Catching the current active application states ... 
10:14:15	APPLICATION     STATE           
10:14:15	Player          Playing         
10:14:15	
10:14:15	SingleState                     SingleState               0         Activated                     
10:14:15	Player          Cond1           Playing         1         15        Hit                           
10:14:16	Player          Playing         Playing         Timeout   0         Not Matched                   
10:14:17	Player          Playing         Playing         Timeout   0         Not Matched                   
10:14:18	Player          Playing         Playing         Timeout   0         Not Matched                   
10:14:19	Player          Playing         Playing         Timeout   0         Not Matched                   
11:34:59	
11:34:59	Trace Test
11:34:59	Start realtime state tracking ...
11:34:59	APPLICATION     SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
11:34:59	Player1                         PowerDown                 0         Activated                     
11:34:59	SingleState1                    SingleState               0         Activated                     
11:35:01	SingleState1    SingleState     SingleState     1         0         Not Matched                   
11:35:01	Player1         PowerDown       Pause           1         0         Hit                           
11:35:04	SingleState1    SingleState     SingleState     2         0         Not Matched                   
11:35:04	
11:35:04	Catching the current active application states ... 
11:35:04	APPLICATION     STATE           
11:35:04	SingleState1    SingleState     
11:35:04	Player1         Playing         
11:35:04	
11:35:04	Player1         Pause           Playing         2         47        Hit                           
11:35:05	Player1         Playing         Playing         Timeout   0         Not Matched                   
11:35:06	Player1         Playing         Playing         Timeout   0         Not Matched                   
11:35:07	Player1         Playing         Playing         Timeout   0         Not Matched                   
11:35:08	Player1         Playing         Playing         Timeout   0         Not Matched                   
11:35:09	Player1         Playing         Playing         Timeout   0         Not Matched                   
11:35:10	Player1         Playing         Playing         Timeout   0         Not Matched                   
11:44:17	
11:44:17	Trace Test
11:44:17	XSetThreadContext=11599436
11:44:17	Start realtime state tracking ...
11:44:17	XGetThreadContext=11599436
11:44:17	APPLICATION     SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
11:44:17	Player1                         PowerDown                 0         Activated                     
11:44:20	Player1         Cond1           Playing         1         0         Hit                           
22:31:17	Trace Test
22:31:17	XSetThreadContext=11599436
22:31:17	XGetThreadContext=11599436
22:31:17	
22:31:17	Start realtime state tracking ...
22:31:17	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
22:31:17	Player1         Player                          PowerDown                 0         Activated                     
22:31:19	Player1         Player          Cond1           Playing         1         0         Hit                           
22:31:20	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
22:31:21	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
22:31:22	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
22:31:23	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
22:31:23	Player1         Player          Playing         Pause           2         0         Hit                           
13:58:29	
13:58:29	Trace Test
13:58:29	Start realtime state tracking ...
13:58:29	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
13:58:29	Player1         Player                          PowerDown                 0         Activated                     
13:58:30	Player1         Player          Cond1           Playing         1         0         Hit                           
13:58:31	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:58:32	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:58:33	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:58:34	Player1         Player          Playing         Pause           2         171       Hit                           
13:58:38	Player1         Player          Pause           Playing         2         172       Hit                           
13:59:48	
13:59:48	Trace Test
13:59:48	Start realtime state tracking ...
13:59:48	APPLICATION     ROOT            SRC STATE       DEST STATE      EVENT     TIME(ms)  REASON                        
13:59:48	Player1         Player                          PowerDown                 0         Activated                     
13:59:48	SingleState1    SingleState                     SingleState               0         Activated                     
13:59:49	SingleState1    SingleState     SingleState     SingleState     1         0         Not Matched                   
13:59:49	Player1         Player          Cond1           Playing         1         0         Hit                           
13:59:50	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:51	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:52	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:53	Player1         Player          Playing         Playing         Timeout   0         Not Matched                   
13:59:54	SingleState1    SingleState     SingleState     SingleState     2         0         Not Matched                   
13:59:54	Player1         Player          Playing         Pause           2         172       Hit                           
21:28:04	Trace Test
21:28:04	
21:28:04	Start realtime state tracking ...
21:28:04	APPLICATION     ROOT            SRC STATE       DEST STATE      DEPTH EVENT     SEQ NUM   EVENT DATA          TIME(ms)  REASON                        
21:28:04	Player1         Player                          Player          1                         0         Activated                     
21:28:04	Player1         Player                          PowerDown       2                         0         Activated                     
21:28:09	Player1         Player          PowerDown                       2     1              0         I(0   ,0   )        0         De-activated                  
21:28:09	Player1         Player          PowerDown       Join1           1     1              0         I(0   ,0   )        0         Hit                           
21:28:09	Player1         Player          PowerDown       Cond1           1     1              0         I(0   ,0   )        0         Join                          
21:28:09	Player1         Player          Cond1           PowerUp         2     1              0         I(0   ,0   )        0         Cond                          
21:28:09	Player1         Player                          Playing         3     1              0         I(0   ,0   )        0         Activated                     
21:28:10	Player1         Player          Playing         Playing         3     Timeout        2         I(2   ,1000)        0         Guard Returned FALSE          
21:28:11	Player1         Player          Playing                         3     2              0         I(0   ,0   )        0         De-activated                  
21:28:11	Player1         Player          Playing         Pause           3     2              0         I(0   ,0   )        0         Hit                           
14:29:06	Trace Test
14:29:06	Start realtime state tracking ...
14:29:06	APPLICATION     ROOT            SRC STATE       DEST STATE      DEPTH EVENT     SEQ NUM   EVENT DATA          TIME(ms)  REASON                        
14:29:06	Player1         Player                          Player          1                         0         Activated                     
14:29:06	Player1         Player                          PowerDown       2                         15        Activated                     
14:29:06	SingleState1    SingleState                     SingleState     1                         0         Activated                     

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