2008 Winter Term COMP 763B (CRN 3365)
Modelling and Simulation Based Design
Assignment 5: model transformation

Practical information

• Due date: April 7 2008 before 23:55.
• Team size == 2
• Each team submits only one full solution. Use the index.html template provided on the assignments page. Use exactly this format to specify names and IDs of the team members. The other team members (if applicable) must submit a single index.html file containing only the coordinates of both team members. This will allow us to put in grades for both team members in WebCT. Beware: after the submission deadline there is no way of adding the other team members' index.html file and thus no way of entering a grade !
• Your submission must be in the form of a simple HTML file (index.html) with explicit references to all submitted files as well as inline inclusion of images. See the general assignments page for an index.html template.
• The submission medium is WebCT.
• To get feedback about the assignment workload, provide the number of hours you spent on this assignment.

Goals

This assignment will make you familiar with the modelling of model transformations using graph rewriting. In particular, you will map Traffic models onto Petri Net models representing Traffic semantics.

Implementation

atom3TrafficNet.tgz contains a stripped-down version of AToM³ with in Formalisms/TrafficNet/Traffic2PN the starting point of the transformation. You should test your transformation on the example Traffic model Formalisms/TrafficNet/test_TrafficNet_mdl.py