Z-LANGUAGE: Container Control System Z-Specification

Running head: Z-LANGUAGE
Container Control System Z-Specification
Name of the Student
Name of the University

1Z-LANGUAGE
Introduction:
The use of the standardized notation has been increased in the recent past years due to
evolve in the Z-notation. The Z-notation allows the engineers to specify the software
workings and designs in a much better way. The critical and important software features are
easily captured in the z-notation. The models created based on the Z-schema automatically
gets better and accurate.
The whole assignment is based on the eight operations of terminal container control
system. The system operations are interconnected and use various common variables. The
system has various conditions that needs to be followed while transforming those operations
into Z. The Z also describe whether the state changes or ntot.
Z-Schema of Container Control System:
initContainer
id: ℙ containerIdentificationNumber
containerIdentificationNumber: ID ⇸ containerIdentificationNumber
known = domcontainername
initContainer
ΞTERMINAL
Known = ∅
intTerminal
name: ℙ nameOfTerminal
nameOfTerminal: NAME ⇸ NAMEOFTERMINAL
storingCapacityOfContainer: ℕ
known = domterminalnamea
intQue
queIdentification: ℕ
existingVehicle: ℕ
queIdentification≤2

2Z-LANGUAGE
intDeivery
vehicleIdentificationNumber: ℕ
quantityOfVehicle: ℕ
frieghtCompanyName: FRIEGHTCOMPANYNAME
currentLoad: ℕ
wieghtAmount: ℕ
quantity: ℕ
quantityOfVehicle ≤ 5
storingCapacityOfContainer ≥ wieghtAmount*quantity
currentLoadAtDelivery≤ storingCapacityOfContainer′
intPickup
vehicleIdentificationNumber: ℕ
vehicleIdentificationNumber: VEHICLEIDENTIFICATIONNUMBER ⇸ Delivery
wieghtAmount: ℕ
quantity: ℕ
known = domvehicleIdentificationNumber
The Z-notation is created based on the mathematical notations. The z only describes
the schema of the software and it does not have any computational feature. The system will
be using variables that needs to be initialized. This section has focused upon initializing the
variables that are to be used in the operations. The variables are input variables and output
variables. The connection between the input and output variables are the key of schema. The
error messages are not initialized as this messages are stated using the inbuilt methods.
In this section, the nature of the variables, like it is natural number, sentence or
something else, is described. The states are not described in this section as the states are not
part of initialization.
Operation 1: