Formal Specification and Analysis of Container Control System using Z-Notation

This project aims to develop a formal specification of the container control system using Z-notation. The project includes software analysis, design modeling, and design specification. The system includes container movement tracking, storage, and repair services. The Z-notation formal specification contains state variables and initialization and set of operations on the specific requirements.

Software Methodology

Table of Contents
1. Introduction..............................................................................................................................2
2. Formal Specification................................................................................................................2
3. Analysis of Z- Specification.....................................................................................................3
4. Initialization of Z-Specification of Container Control System (init).......................................4
5. Enter New Container Terminal of Container Control System.................................................4
6. Accept Delivery of Container Control System.........................................................................6
7. Accept Container Control System’s Pickup.............................................................................7
8. Leave delivery queue................................................................................................................7
9. Upload ship...............................................................................................................................8
10. Account of the Container Terminal......................................................................................8
11. Total Account of the Ships...................................................................................................8
12. Account of the Freight Company.......................................................................................10
13. Conclusion..........................................................................................................................11
References......................................................................................................................................12

1. Introduction
The aim of this project refers to developing the z notation specification with the help of
the software methodologies, for the container control system. To design the specified z notation
for the software of z notation that is evolved denotes with a formal specification language for the
computer system. This language depends on a set of theory and logic specification for the system
design. In this project, the initial step is to conduct software analysis followed by design
modeling, design specification and only then the z notation model specification will carried out.
The CSS process and clients are included in the activities such as- Container movement tracking
both in and out, storage and repair services. The aim is to design a container control system
which the managers can manage from their office.
2. Formal Specification
The system can be improved by gather system details to be improved, for betterment of the
system. The specification must only express the detail methods which are not similar to be used.
For the scientific notation, the Z notation is used, where the important specification written in z
are caught by the type of the science used, and the autonomous name selected for the container
control system. The specification’s results are verified. The graphical notation should be
translated into later proclamation within the details.
3. Analysis of Z- Specification
The most particular of the investigation is utilized for the formal specification when all is
said in done yet if there should be an occurrence of the specific notation of the formal

requirements that are used to concentrate on the finished details as opposed to the specification
frame’s advancement for underlying idea to the container control system prerequisite. The way
toward creating specification can be imperative as the information to pick up the particular in
readiness before thought of execution points of interest can be significant mistake before the
detailed outline and ensuing phase of the z notation of the prerequisite. The procedure’s
introduction of the procedure it ought to be examined and store the formal particular of the when
the compartment terminals stacking onto a ship of the formal specification (Murty et al., 2005).
The Z notation’s formal specification contains certain state variables and initialization and set of
operation on the specific requirements.
4. Initialization of Z-Specification of Container Control System (init)
The container control system process by initial stage of the analytical formal
specification. The user can login the process of the terminal and enter the details of the
specification. The new container terminals of the system that can use for the new user can login
the page and enter the details of the system. Consider that, the new terminal system is empty and
new user can login the information to storage the z notation specification of formal specification
database. The specified the init container that can be used in the place value of the configuration
file of the each container must be successful executed before the next plan of the process can be
started on the formal specification (Timotheou, 2009).

Procedure Init container control system;
Begin
HWM: = 0
End;
This is a plan which represents the container control system, where a set known is vacant.
This results the compartment’s capacity to unload the portrayed operational space could be
performed on the container control system. The system could be utilized for portraying the
information objects as far of composes numerical information. Example, the capacities and a set
of information. The state space of the depiction in incorporated on quality invariant connection
between the part of data which used for the indispensable to understanding of the piece for
program and execute on the implementing system software application to the development
(Bendaoud and Yachba, 2017).
5. Enter New Container Terminal of Container Control System
The container system could be utilized, if it deploys directly to the server without the use
of any new user containers of the code built into the process of entering the new container’s
details and the system’s formal requirements are stored. The customers purchase the container
from the depot, similarly like how the large national storage container organization purchase
their containers (Ursavas, 2014).

Here, the control system is revealed, which is utilized to track the containers based on the
following factors, compartments, known0 to the container 0. They perceptions of the initial of
the before state the change, the last two perceptions of the state it will change the after
perceptions. The individuals factors include mixing the obliged that verifiably of fulfill the
activities of invariant so it must hold both activities. The contributions of the activity that can
process of the assertions of next come to the activity. But, the tradition of the question marks that
it used for the number of data sources. The success’s pre-condition activity is provided under the
application requirements’ blueprint. The framework’s name which could be utilized for
understanding to the initial stage of process that we can perform for it. The pre-condition will
occurs the specification that can perform of the process of the not reclosed.
6. Accept Delivery of Container Control System
It is necessary to accept the delivery system which could be utilized for the customer to
continue to book the containers of the z notation with formal specification, so as to accept the
request of delivering the client’s product. The containers are used by the operator as the

requirement signaling system, for filling and testing the containers that are delivered are
applicable for the storage and whether it holds the rail terminals, feeder terminals to accept the
deliver (Kim and Günther, 2007). To check the required product process’ information, the z-
notation could be utilized for storing the related information. Placing of the containers terminals
forms the truck to initially check the available storage space is present or not in the terminal. In
case, where there is no storage space present, the errors terminals displays the same message. In
case, where there is no storage space present for the container, then it is easy to move the
terminal’s truck deliver process (Zafar, 2009).
Container’=container U {name date?}
Names’ (I) =date (I) ≤names’ (I) = date’ (I)
Container’ (date (I))
Date’ (i) Display message: successfully
7. Accept Container Control System’s Pickup
Here, the pickup container’s reverse process is utilized, where the truck drivers reach and
park the truck near the corners of the containers. The corners could either be the front or the rear
corners of the containers, moreover it mainly relies on the delivery of the containers. Hence,
effectively the important details which relates to the customer for accepting the z-notation of the
formal storage requirement is completed (Gupta and Prakash, 2001).

8. Leave delivery queue
The container’s leave delivery could be utilized for the client to login to the z-notation
specification, where the client can view the container being booked isn’t available. The deliver
specification’s waiting stage is displayed automatically based on the requirements of the storage
(Murty et al., 2005).
9. Upload ship
Each and every chip can be tracked which has enrolled for transporting the wheat abroad, for
the Wheat Board. The name of the boats, nationality and the limit it can carry in terms of tons
will be filled. These details can help the manager of the ship to determine the measure of wheat
to be loaded onto the ship. It is his responsibility to not exceed the mentioned load limit and it
maintains the current storage in the warehouse. With the help of the framework, the amount of
wheat loaded by the ship can be tracked and any kind of changes can be made to the stock.

10. Account of the Container Terminal
To handle storage along with the maintenance of charges for luggage loading and
unloading the container terminal account is designed. It also maintains the amount of the account
terminals.
11. Total Account of the Ships
The management account of the ships is utilized, so this makes the account more reliable,
predictable and transparent to partner for maintaining and applying to the z notation
specification’s account.

12. Account of the Freight Company
The container control system’s Z notation specification is utilized for evaluating the sum of
tonnage of container that are delivered to the terminal, by the ALL freight companies. Apart
from this, the respective time period is taken care and the z- specification’s account details are
maintained (Yang, Choi and Ha, n.d.).

13. Conclusion
The size of the container is determined to have size affects for the application life-cycle,
in various viewpoints. The security, efficiency, performance and maintainability of a
containerized application can be improvised by decreasing the size of the containers. However, it
is not really required to decrease the size of the container, but possibly it can be tried to build an
application container with the help of less base image such as, Alpine which highly supports to
understand the individual container dependencies’ details. Hence, it allows the developers to
have confidence on the software that is running within to process the investigation for identifying
the potential problems along with the z-specification’s optimization.

References
Bendaoud, Z. and Yachba, K. (2017). Towards A Decision Support System for Optimization of
Container Placement in a Container Terminal. International Journal of Strategic Information
Technology and Applications, 8(3), pp.59-72.
Gupta, D. and Prakash, N. (2001). Engineering Methods from Method Requirements
Specifications. Requirements Engineering, 6(3), pp.135-160.
Kim, K. and Günther, H. (2007). Container terminals and cargo systems: design, operations
management, and logistics control issues. Berlin: Springer.
Murty, K., Liu, J., Wan, Y. and Linn, R. (2005). A decision support system for operations in a
container terminal. Decision Support Systems, 39(3), pp.309-332.
Timotheou, S. (2009). A novel weight initialization method for the random neural
network. Neurocomputing, 73(1-3), pp.160-168.
Ursavas, E. (2014). A decision support system for quayside operations in a container
terminal. Decision Support Systems, 59, pp.312-324.
Yang, C., Choi, Y. and Ha, T. (n.d.). Simulation-based performance evaluation of transport-
vehicles at automated container terminals.
Zafar, N. (2009). Formal specification and validation of railway network components using Z
notation. IET Software, 3(4), p.312.

Init container control system
Container control system
Known=Ø
It refers to a scheme which explains the control system for the container, where the set known is
empty: in consequence the function containers are empty too….we have described in the same
mathematical system both state space our container control system and the operational which can
be performed on it. The data objects that appears in the system are explained based on the
mathematical data types like, functions and the sets. The state space’s description is provided as
the invariant relationship.
Among the parts of state information that won’t be the system’s program implementing part,
however, it is important to know about it.