ASSIGNMENT #1

Due Thursday, October 10, 2002

Consider the semantics of a small programming language described at http://www.csr.ncl.ac.uk/modelling-book/general.html and http://www.csr.ncl.ac.uk/modelling-book/general-answers.html.

1.

Develop an object-oriented model of the semantics by modeling the given types and functions in terms of classes. In particular, think about where inheritance might be useful, e.g. loop is a statement, while loop is a loop, for loop is a loop, etc.

2.

Express your model in UML and generate Java code for the model using the Rational Rose Java code generation facility.

3.

Express your model in VDM++ (e.g. generated from your original UML model, augmented with additional details) and generate Java code for the VDM++ model using the IFAD VDM Toolkit.

4.

How does the Java code produced by Rational Rose compare to that generated by the VDM Toolkit?

5.

Run your Java code produced by the VDM Toolkit on a couple of sample programs in the programming language being specified.