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

_{Contest Page}