Home About Us Join us What's New

Stefan Queins & Andreas Metzger, University of Kaiserslautern



This model differs somewhat from the other models becuase an application generation system has been used. The submitted set of files included many files that are not actually used in for the crossing and also included several versions of the model. Thes can all be found in the ZIP file:

QueinsMetzger.zip

To better understand the model it was simplified slightly from the submitted file to produce:

SAM1.zip A simplified set of files for SDT.

SAM1_SDT.cif The CIF version of SAM1.

 

Test Cases

The full set of test files is included in:

TestcasesMetzgerQueins.zip

The following files are message seqeunce charts as viewable PDF files:

Testcase_A.pdf

Testcase_B.pdf

Testcase_C.pdf

Testcase_Da.pdf

Testcase_Db.pdf

Testcase_Dc.pdf

Testcase_Ea.pdf

Testcase_Eb.pdf

Testcase_Fa.pdf

Testcase_Fb.pdf

Testcase_Fc.pdf

 

SDL contest models

Aguilar Brandt Conquet Li_Probert_Williams QueinsMetzger

Contest Home Page