Home About Us Join us What's New

Qing Li, Robert Probert, Alan Williams - University of Ottawa

Railway.pdf SDL model as viewable PDF file. Note that there are MSC and SDL parts.

Railway.zip This contains all the source files for SDT - unlike Cinderella and GEODE, SDT stores the SDL in various idfferent files

Railway_doc.pdf Documentation for the model.

Railway_SDT.cif SDL model as CIF file.

Test Cases

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

Testcases.pdf MSC results as one viewable PDF file

TestCases.zip Test files for SDT


SDL contest models

Aguilar Brandt Conquet Li_Probert_Williams QueinsMetzger

Contest Home Page