High Level Message Sequence ChartsLow Level Message Sequence ChartsENSE 623 PROJECT – Verification of Canal SystemsI. PROJECT DESCRIPTIONThis project involves developing a model of a canal system very similar to the Panama Canal. A detailed set of requirements shall be generated. We shall then use the Unified Modeling Language (UML) to design the initial model of the system. Afterwards, the LTSA Tool shall be used to verify the UML model using its sequence diagram and state diagram capabilities. In the end the, using the Extreme Markup Language (XML) and the LTSA Tool,and animation of the canal shall be created to verify and validate the model. A brief description and analysis using the UPPAAL tool shall also be given.Canal Description:The canal is a two lane waterway mechanism used to allow the transport of ships. The entrance and exit of the canal contains three sets of locks that hold the ships. As a ship approaches the first chamber, valves below the compartment are released and the water level reaches that of the outside ofthe canal. The gates then open and the ship moves into the first chamber. After the gates lock, valves of the first and second chamber are opened to allow the water level of the first chamber to rise and match the second chamber. The gates are again opened and the ship moves to the second chamber. This process continues in the third chamber until the ship approaches the divide. The ship will then travel through the divide to the opposite side of the canal. Again, the process of raising the water level and unlocking the gates is repeated through three sets of locks/compartments until the ship exits the canal completely.A physical description of the canal is as follows:II. GOALS/SCENARIOSThe goal is to create a design/model that supports multiple continuous ships passing through the canal. Both directions of the canal can be active at one time. Scenario 1 – One ship approaching canal. n = number of current chamber (1 thru 6)1. Ship approaches canal2. Captain of ship requests passage3. Operator of Control Center monitors condition a. If another ship in chamber 1, repeat step 3b. If water level in chamber 1 exceeds sea level release water valves in chamber 1 and repeat step 3c. If water level in chamber 1 equals sea level, close water valves4. Open lock/gate5. Signal to ship to pass through gate6. Monitor ship location sensora. If ship not completely in chamber n repeat step 67. Close lock/gate to chamber n8. Operator of Control Center monitors condition a. If another ship in chamber n+1, repeat step 89. Release water valve in chamber n and n+1.10.Monitor water sensora. If water level chamber n+1 exceeds water level in chamber n repeat step 1011.Close water valves of chamber n and n+1.12.Go to step 4 and continue until ship through to canal divide.Scenario 2 – One ship exiting canal. n = number of current chamber (1 thru 6)1. Ship approaches canal2. Captain of ship requests passage3. Operator of Control Center monitors condition a. If another ship in chamber 4, repeat step 3b. If water level in chamber 4 exceeds divide water level release water valves in chamber 4 and repeat step 3c. If water level in chamber 4 equals divide water level, close watervalves4. Open lock/gate5. Signal to ship to pass through gate6. Monitor ship location sensora. If ship not completely in chamber n repeat step 67. Close lock/gate to chamber n8. Operator of Control Center monitors condition a. If another ship in chamber n+1, repeat step 89. Release water valve in chamber n and n+1.10.Monitor water sensora. If water level chamber n+1 exceeds water level in chamber n repeat step 1011.Close water valves of chamber n and n+1.12.Go to step 4 and continue until ship through canal.III. REQUIREMENTSThe requirements of the canal system are sub-divided into the two following sections: Physical Requirements and Operational/Safety Requirements.Physical Requirements:- The canal shall have two lanes for operation at each end - Each end of the channel shall have three chambers to hold ships- Each end of the canal shall have four gates/locks- Each chamber shall contain five water valves to allow the increase and decrease of the water levels- The canal dimensions shall be as follows Lock chambers shall be 33.5 meters wide (110 feet) Lock chambers shall be 305 meters wide (1000 feet) Lock chambers shall have the depth of 26 meters (85 feet) Ships no long than 294.13 meters (965 feet) in length, 32.31 meters (106 feet) in beam, and 12.04 meters (39.5 feet) in draft shall be allowed within a chamber.Operational Requirements:- The canal divide (known as the area of water between the three sets of locks) shall allow the traffic of two-way ships.- No two ships shall be permitted to enter one chamber at one time- The gate of each chamber shall open only when the water level of that chamber equals the water level of the next chamber- The water valve of a chamber containing a ship shall not open if thenext adjacent chamber contains another ship.- A gate to a chamber shall not open if that chamber contains a ship.IV. UML DIAGRAMSa. USE CASESOPERATORSHIP CAPTAINLOCK/GATEWATER VALVEWATER LEVEL SENSORSHIP MONITOR/SENSORControl CenterOPEN/CLOSEWATERVALVESMONITORSTATUSSEND STATUSREQUESTPASSAGEMOVES SHIPOPEN/CLOSELOCKSb. CLASS DIAGRAM+CtrlCanal()-Address-AreaControl Center+MonitorWvalveS()+MonitorWlevelS()+MonitorShipmovS()+MonitorGateS()+CmndShip()+CmndWvalve()+CmndGate()+Reportmalfunc()-Capacity-Power-Cost-ReliabilityController+MeasureWlevel()+SendSignal()-Power-Cost-ThresholdWLevelS+ReceiveCmnd()+ChangeWlevel()-power-Cost-CapacityWValve+MonitorShipMov()+SendSignal()-Power-CostShipMovS+OpenGate()+CloseGate()+ReceiveCmnd()-Power-Cost-attribute1Chamber/GateS1*1*1*1*1*+Move()+SendRquest()+ReceiveCmnd()+ExecuteCmnd()-Hight-Weight-Length-MaxSpeedShipp-1-*c. ACTIVITY DIAGRAMSGate/Lock Open Control:NOTE:Go To Gate/LockClose Control Shipapprochesgate/lockMonitor shipstatusShip in next chamberMonitor waterlevelWater level not equivalentOpen lock/gateSend signalto passthrough gateGate/Lock Closed Control:Ship enterschamberShip not in chamberClose lock/gateNOTE:Go To WaterValve OpenControlWater Valve Open Control:Chambergate/lockclosedNOTE:Go To WaterValve CloseControlMonitor shipstatusShip in next chamberMonitor waterlevelWater level not equivalentReleasewater valvein chamberWater Valve Close Control:Water valvesreleasedWater level no equivalentClose watervalvesNOTE:Go To Gate/LockOpen