PART A (TASKS 1 - 2) Task 1 The VDM Specification Language and VDMTools (15 marks) Consider a robot moving across a room (treated like a 6 by 6 grid) in order to exit from a door. The robot always starts at position 1 1. The robot may move left, right, up and down by one grid square at a time. When the robot reaches the door it may exit and another robot immediately enters the room in position 1,1. Software to monitor the robot is to be developed. Initial analysis of the software has produced the following UML diagram: RobotMonitor row: Integer col: Integer MoveRight() MoveLeft( MoveUp( MoveDown( GetRow( ): Integer GetCol( ) : Integer Exit( )