Test (Req. / Man.) ECMA C (Lua) NS Java (JEXL) Spin C (ECMA) Python (ECMA) Lua Promela VHDL Promela
Core Constructs
§3.10  The History Element 
   387 X OK OK OK OK OK OK OK OK OK FAIL
   388 X OK OK OK OK OK OK OK OK OK FAIL
   579 X OK OK OK OK OK OK OK OK OK FAIL
   580 X OK OK OK OK OK OK OK OK OK OK
§3.12  SCXML Events 
   396 X OK OK OK OK OK OK OK OK OK OK
   399 X OK OK OK OK OK OK OK OK OK FAIL
   401 X OK OK OK OK N/A OK OK OK OK OK
   402 X OK OK OK OK N/A OK OK OK OK FAIL
§3.13  Selecting and Executing Transitions 
   403a X OK OK OK OK OK OK OK OK OK FAIL
   403c X OK OK OK OK OK OK OK OK OK FAIL
   403b X OK OK OK OK OK OK OK OK OK OK
   404 X OK OK OK OK OK OK OK OK OK FAIL
   405 X OK OK OK OK OK OK OK OK OK FAIL
   406 X OK OK OK OK OK OK OK OK OK FAIL
   407 X OK OK OK OK OK OK OK OK OK OK
   409 X OK OK OK OK OK OK OK OK OK OK
   411 X OK OK OK OK OK OK OK OK OK FAIL
   412 X OK OK OK OK OK OK OK OK OK FAIL
   413 X OK OK OK OK OK OK OK OK OK FAIL
   415 X X N/A OK OK OK N/A OK N/A N/A N/A OK
   416 X OK OK OK OK OK OK OK OK OK OK
   417 X OK OK OK OK OK OK OK OK OK OK
   419 X OK OK OK OK OK OK OK OK OK OK
   421 X OK OK OK OK OK OK OK OK OK FAIL
   422 X OK OK OK OK OK OK OK OK OK FAIL
   423 X OK OK OK OK OK OK OK OK OK FAIL
   503 X OK OK OK OK OK OK OK OK OK OK
   504 X OK OK OK OK OK OK OK OK OK OK
   505 X OK OK OK OK OK OK OK OK OK OK
   506 X OK OK OK OK OK OK OK OK OK OK
   533 X OK OK OK OK OK OK OK OK OK OK
§3.2  The SCXML Element 
   355 X OK OK OK OK OK OK OK OK OK OK
   576 X OK OK OK OK OK OK OK OK OK FAIL
§3.3  The State Element 
   364 X OK OK OK OK FAIL OK OK OK OK FAIL
§3.7  The Final Element 
   372 X OK OK OK OK OK OK OK OK OK OK
   570 X OK OK OK OK OK OK OK OK OK FAIL
§3.8  The Onentry Element 
   375 X OK OK OK OK OK OK OK OK OK OK
   376 X OK OK OK OK OK OK OK OK OK OK
§3.9  The Onexit Element 
   377 X OK OK OK OK OK OK OK OK OK OK
   378 X OK OK OK OK OK OK OK OK OK OK
Executable Content
§4.2  The Raise Element 
   144 X OK OK OK OK OK OK OK OK OK OK
§4.3  The If Element 
   147 X OK OK OK OK OK OK OK OK OK FAIL
   148 X OK OK OK OK OK OK OK OK OK FAIL
   149 X OK OK OK OK OK OK OK OK OK FAIL
§4.6  The Foreach Element 
   150 X OK OK OK OK OK OK OK OK OK FAIL
   151 X OK OK OK OK OK OK OK OK OK FAIL
   152 X OK OK OK OK N/A OK OK OK OK FAIL
   153 X OK OK OK OK OK OK OK OK OK OK
   155 X OK OK OK OK OK OK OK OK OK OK
   156 X OK OK OK OK N/A OK OK OK OK OK
   525 X OK OK OK OK N/A OK OK OK OK OK
§4.9  Evaluation of Executable Content 
   158 X OK OK OK OK OK OK OK OK OK OK
   159 X OK OK OK OK N/A OK OK OK OK OK
Data Model and Manipulation
§5.10  System Variables 
   318 X OK OK OK OK OK OK OK OK OK OK
   319 X OK OK OK OK OK OK OK OK OK OK
   321 X OK OK OK OK OK OK OK OK OK FAIL
   322 X OK OK OK OK N/A OK OK OK OK FAIL
   323 X OK OK OK OK OK OK OK OK OK FAIL
   324 X OK OK OK OK N/A OK OK OK OK OK
   325 X OK OK OK OK N/A OK OK OK OK OK
   326 X OK OK OK OK N/A OK N/A OK OK FAIL
   329 X OK OK OK OK N/A OK OK OK OK OK
   330 X OK OK OK OK OK OK OK OK OK OK
   331 X OK OK OK OK N/A OK OK OK OK OK
   332 X OK OK OK OK N/A OK OK OK OK OK
   333 X OK OK OK OK OK OK OK OK OK OK
   335 X OK OK OK OK OK OK OK OK OK OK
   336 X OK OK OK OK OK OK OK OK OK FAIL
   337 X OK OK OK OK OK OK OK OK OK OK
   338 X OK OK OK OK OK OK OK OK OK FAIL
   339 X OK OK OK OK OK OK OK OK OK OK
   342 X OK OK OK OK OK OK OK OK OK FAIL
   346 X OK OK OK OK N/A OK OK OK OK FAIL
§5.3  The Data Element 
   276 X OK OK OK OK OK OK OK OK OK FAIL
   277 X OK OK OK OK N/A OK OK OK OK FAIL
   279 X OK OK OK OK OK OK OK OK OK OK
   280 X OK OK OK OK N/A OK OK OK OK OK
   550 X OK OK OK OK OK OK OK OK OK OK
   551 X OK OK OK OK OK OK OK OK OK OK
   552 X OK OK OK OK OK OK OK OK OK OK
§5.4  The Assign Element 
   286 X OK OK OK OK N/A OK OK OK OK FAIL
   287 X OK OK OK OK OK OK OK OK OK OK
   288 X OK OK OK OK OK OK OK OK OK OK
   487 X OK OK OK OK N/A OK OK OK OK FAIL
§5.5  The Donedata Element 
   294 X OK OK OK OK N/A OK OK OK OK FAIL
§5.6  The Content Element 
   527 X OK OK OK OK OK OK OK OK OK FAIL
   528 X OK N/A OK OK N/A N/A OK OK OK FAIL
   529 X OK OK OK OK OK OK OK OK OK FAIL
§5.7  The Param Element 
   298 X OK OK OK OK N/A OK OK OK OK FAIL
   343 X OK OK OK OK N/A OK OK OK OK FAIL
   488 X OK OK OK OK N/A OK OK OK OK FAIL
§5.8  The Script Element 
   301 X X N/A N/A OK OK N/A N/A N/A N/A N/A OK
   302 X OK OK OK OK OK OK OK OK OK OK
   303 X OK OK OK OK OK OK OK OK OK OK
   304 X OK OK OK OK OK OK OK OK OK OK
§5.9  Expressions 
   307 X X N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   309 X OK OK OK OK N/A OK OK OK OK OK
   310 X OK OK OK OK OK OK OK OK OK OK
   311 X OK OK OK OK N/A OK OK OK OK FAIL
   312 X OK OK OK OK N/A OK OK OK OK FAIL
   313 X X N/A OK OK OK N/A OK OK N/A N/A FAIL
   314 X X N/A OK OK OK N/A OK OK N/A N/A FAIL
   344 X OK OK OK OK N/A OK OK OK OK FAIL
External Communications
§6.2  The Send Element 
   172 X OK OK OK OK OK OK OK OK OK FAIL
   173 X OK OK OK OK OK OK OK OK OK OK
   174 X OK OK OK OK OK OK OK OK OK OK
   175 X OK OK OK OK OK OK OK OK OK OK
   176 X OK OK OK OK OK OK OK OK OK OK
   178 X X N/A OK OK OK N/A OK N/A N/A N/A OK
   179 X OK OK OK OK OK OK OK OK OK OK
   183 X OK OK OK OK OK OK OK OK OK OK
   185 X OK OK OK OK OK OK OK OK OK OK
   186 X OK OK OK OK OK OK OK OK OK OK
   187 X OK OK OK OK OK OK OK OK OK OK
   194 X OK OK OK OK N/A OK OK OK OK FAIL
   198 X OK OK OK OK OK OK OK OK OK OK
   199 X OK OK OK OK N/A OK OK OK OK FAIL
   200 X OK OK OK OK OK OK OK OK OK OK
   201 OK N/A OK OK OK N/A N/A OK OK OK
   205 X OK OK OK OK OK OK OK OK OK OK
   521 X OK OK OK OK N/A OK OK OK OK FAIL
   553 X OK OK OK OK N/A OK OK OK OK OK
§6.3  The Cancel Element 
   207 X OK OK OK OK OK OK OK OK OK FAIL
   208 X OK OK OK OK OK OK OK OK OK OK
   210 X OK OK OK OK OK OK OK OK OK OK
§6.4  The Invoke Element 
   215 X OK OK OK OK OK OK OK OK OK FAIL
   216 X OK N/A OK OK N/A N/A OK OK OK FAIL
   220 X OK OK OK OK OK OK OK OK OK FAIL
   223 X OK OK OK OK OK OK OK OK OK OK
   224 X OK OK OK OK N/A OK OK OK N/A OK
   225 X OK OK OK OK OK OK OK OK OK OK
   226 X OK OK OK OK OK OK OK OK OK OK
   228 X OK OK OK OK OK OK OK OK OK FAIL
   229 X OK OK OK OK OK OK OK OK OK FAIL
   230 X X N/A OK OK OK N/A OK N/A N/A N/A FAIL
   232 X OK OK OK OK OK OK OK OK OK FAIL
   233 X OK OK OK OK OK OK OK OK OK OK
   234 X OK OK OK OK OK OK OK OK OK OK
   235 X OK OK OK OK OK OK OK OK OK OK
   236 X OK OK OK OK OK OK OK OK OK FAIL
   237 X OK OK OK OK OK OK OK OK OK FAIL
   239 X OK OK OK OK OK OK OK OK OK FAIL
   240 X OK OK OK OK OK OK OK OK OK FAIL
   241 X OK OK OK OK OK OK OK OK OK FAIL
   242 X OK OK OK OK OK OK OK OK OK FAIL
   243 X OK OK OK OK OK OK OK OK OK OK
   244 X OK OK OK OK OK OK OK OK OK OK
   245 X OK OK OK OK OK OK OK OK OK OK
   247 X OK OK OK OK OK OK OK OK OK FAIL
   250 X X N/A OK OK OK N/A OK N/A N/A N/A OK
   252 X OK OK OK OK OK OK OK OK OK FAIL
   253 X OK OK OK OK OK OK OK OK OK FAIL
   530 X OK N/A OK OK N/A N/A OK OK OK FAIL
   554 X OK OK OK OK N/A OK OK OK OK FAIL
Data Models
§C.1  The Null Data Model 
   436 X N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
§C.2  The ECMAScript Data Model 
   278 OK OK OK OK OK OK OK OK OK OK
   444 OK N/A OK N/A N/A OK OK N/A N/A N/A
   445 OK N/A OK N/A N/A OK OK N/A N/A N/A
   446 OK N/A OK N/A N/A OK OK N/A N/A N/A
   448 OK N/A OK N/A N/A OK OK N/A N/A N/A
   449 OK N/A OK N/A N/A OK OK N/A N/A N/A
   451 OK N/A OK N/A N/A OK OK N/A N/A N/A
   452 OK N/A OK N/A N/A OK OK N/A N/A N/A
   453 OK N/A OK N/A N/A N/A OK N/A N/A N/A
   456 OK N/A OK N/A N/A OK OK N/A N/A N/A
   457 OK N/A OK N/A N/A OK OK N/A N/A N/A
   459 OK N/A OK N/A N/A OK OK N/A N/A N/A
   460 OK N/A OK N/A N/A OK OK N/A N/A N/A
   557 OK N/A OK N/A N/A N/A OK N/A N/A N/A
   558 OK N/A OK N/A N/A N/A N/A N/A N/A N/A
   560 OK N/A OK N/A N/A OK OK N/A N/A N/A
   561 OK N/A OK N/A N/A N/A OK N/A N/A N/A
   562 OK N/A OK N/A N/A OK OK N/A N/A N/A
   569 OK N/A OK N/A N/A N/A OK N/A N/A N/A
   578 OK N/A OK N/A N/A OK N/A N/A N/A N/A
§C.3  The XPath Data Model 
   463 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   464 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   465 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   466 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   467 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   468 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   469 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   470 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   473 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   474 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   475 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   476 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   477 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   478 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   479 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   480 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   481 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   482 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   483 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   537 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   539 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   540 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   542 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   543 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   544 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   545 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   546 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   547 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   555 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   568 N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
Event I/O Processor
§D.1  SCXML Event I/O Processor 
   189 X OK OK OK OK OK OK OK OK OK OK
   190 X OK OK OK OK OK OK OK OK OK FAIL
   191 X OK OK OK OK OK OK OK OK OK OK
   192 X OK OK OK OK OK OK OK OK OK FAIL
   193 OK OK OK OK OK OK OK OK OK FAIL
   347 X OK OK OK OK OK OK OK OK OK FAIL
   348 X OK OK OK OK OK OK OK OK OK OK
   349 X OK OK OK OK OK OK OK OK OK OK
   350 X OK OK OK OK N/A OK OK OK OK OK
   351 X OK OK OK OK OK OK OK OK OK FAIL
   352 X OK OK OK OK OK OK OK OK OK OK
   354 X OK OK OK OK N/A OK OK OK OK FAIL
   495 X OK OK OK OK OK OK OK OK OK OK
   496 X OK OK OK OK N/A OK OK OK OK FAIL
   500 X OK N/A OK OK OK N/A OK OK OK OK
   501 X OK N/A OK OK OK N/A OK OK OK OK
§D.2  Basic HTTP Event I/O Processor 
   509 OK N/A OK OK N/A N/A N/A OK N/A OK
   510 OK N/A OK OK OK N/A N/A OK OK FAIL
   513 X N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A
   518 OK N/A OK OK N/A N/A N/A OK N/A OK
   519 OK N/A OK OK N/A N/A N/A OK N/A OK
   520 OK N/A OK OK N/A N/A N/A OK N/A FAIL
   522 OK N/A OK OK OK N/A N/A OK OK FAIL
   531 OK N/A OK OK N/A N/A N/A OK OK FAIL
   532 OK N/A OK OK N/A N/A N/A OK OK FAIL
   534 OK N/A OK OK N/A N/A N/A OK N/A OK
   567 OK N/A OK OK OK N/A N/A OK OK OK
   577 OK N/A OK OK N/A N/A OK OK OK FAIL