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