Z-Notation Specification for Container Control System

This project developed a Z-notation specification for container control system. It covers formal specification, initialization, delivery, pickup, terminal and ship accounts. The Z-notation is a formal specification language based on set theory and logic specification of the system design. The container control system provides comprehensive tracking of container movement, storage, services and repairs. The formal syntax of the specification enables mathematical reasoning and proof of desired properties. The specification includes state variables, initialization and set of operations on specific requirements.

Software Methodology

Table of Contents
1. Introduction..............................................................................................................................2
2. Formal specification.................................................................................................................2
3. Z- Specification analysis..........................................................................................................3
4. Initialization of the z-specification of container control system (init).....................................3
5. Enter new container terminal of container control system.......................................................4
6. Accept delivery of container control system............................................................................5
7. Accept pickup of the container control system........................................................................6
8. Leave delivery queue................................................................................................................7
9. Upload ship...............................................................................................................................7
10. Container terminal account...................................................................................................7
11. Ships total account................................................................................................................8
12. Freight company account......................................................................................................9
13. Conclusion..........................................................................................................................10
14. References...........................................................................................................................10

1. Introduction
The main of this project to developed the z notation specification using container control
system of the software methodologies. The z notation for specifying and designing of the
software has evolved of z notation is a formal specification language of the computer system
which is based on set theory and logic specification of the system design. First initialization of
the software analysis and then modeling and specification of the designing, and then develop the
z notation model specification. The container control system which provides the container depots
the most comprehensive that means of tracking container movement (in/out), storage, services
and repairs. CSS process and involves clients for such activities. All of that future is accessible
through container control system interface designed to be used by the managers in the office as
well as of the z notation formal specification.
Block diagram specification
The z notation is mainly used for the test of the results and independent of the program
code of the mathematical data model is to represent the both static and dynamic aspects of the
system.
Syntax of the z notation is there are those steps follows

2. Formal specification
A specification of a system should be aid understanding of that system, assisting development
and maintenance of the system. Specification need express only unlike implementations such us
detailed methods. Specification may be choosing allowing refinement to many different
implementations. Such abstract specification cab be written in z scheme notation specification. z
scheme is used for the mathematical notation hence specification written in z are meaning is
captured y by the form of the mathematics used, independent of the containers control system
names chosen. The formal basis enables mathematical reasoning, and hence proof that desired
properties are consequences of the specification. The formal syntax of a specification enable
requirements design to be interpreted in only one way, eliminating ambiguity that often occurs
when a natural and graphical notation must be interpreted into later statement within the
specification.

Logic of the z notation will be used in this steps:
Propositional logic
Predicates: true/false
Connectives: container1≥cantainer2, notation1≤notation2, container1↔notation1
Quantifiers
¥container n=notation q
€x=notation n times execute (exist unique of the z notation)
3. Z- Specification analysis
The most specification of the analysis is used for the formal methods in general but in
case of the specific notation of the formal requirements which is used to the concentrate finished
specification rather than the progress of specification form the initial concept to the container
control system requirement. The process of producing specification can be important as the

knowledge to gain the specification in preparation before consideration of implementation details
can be invaluable error before the detailed design and subsequent stage of the z notation of the
requirement(Dimitrov, 2011). The initialization of the process it should be analyzed and store the
formal specification of the when the container terminals loading onto a ship of the formal
specification.
The formal specification of the Z notations is consisting of the some state variables and
initialization and set of operation on the specific requirements. The requirement is also invariant
association with the representing the initial stage of the process.
4. Initialization of the 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(Jiang, Xu& Zhang, 2018). Let as assume 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.

Procedure Init container control system;
Begin
HWM: = 0
End;
This scheme describes the container control system in which set known is empty: in consequence
the function containers are empty too we have described in the same mathematical framework
both state space our container control system and the operational which can be performed on it.
The data objects which appear in the system were described in terms of mathematical data types
such as sets and functions. The description of the state space included an invariant relationship
between the parts of the state information which would not be part of a program Implementing
the system, but which is vital to understanding it.
5. Enter new container terminal of container control system
The container of the system which can used to the when the deploying directly to the
server without using the new user containers of the code built into the process of the enter the
details of the new container and store the formal requirement of the system (Bendaoud&Yachba,
2017).We help our customer buy container form the depot, the same way the big national storage
container companies buy their boxes.
Procedure find container (name: NAME; date: DATE);
Data type: INTEGER;
Begin

I: =1;
While container names[I] = name do I : = i+1;
Date: = dates [I]
Ends;
Result container:
The declaration container control system alerts us to the fact that the schema is describing a state
it introduces four variables known, containers, known0 and container 0. The first two are
observations of the state before the change, and the last two are observations of the state after the
change. Each pair of variables is implicitly constrained to satisfy the invariant, so it must hold
both before and after the operation. Next come the declarations of the two inputs to the
operation. By convention, the names of inputs end in a question mark. The part of the schema
below the line first of all gives a pre-condition for the success of the operation: the name to be
added must not already be one of those known to the system. This is reasonable, since each
person can only have one container. This speciation does not say what happens if the pre-
conditions not stained: we shall see later how to extend the speciation to say that an error
message is to be produced. If the pre-condition is stained, however, the second line says that the
container function is extended to map the new name to the given date.
6. Accept delivery of container control system
A accept the delivery system that can be used for the customer to book the containers of
the z notation of the formal specification to accept the request to deliver the product of the
clients. The containers that on operator them to provide the signaling system of the requirement
after to fill and test the containers you either deliver is the appliers of the storage and holding of
the rail terminals, feeder terminals of the accept the deliver and the product of the process in z-

notation that can be used to storage of the information. Placing of the containers terminals form
the truck first of check the storage space is available or not in the terminal. If the storage space is
not available is display on the errors terminals occurs (Jariyapong, 2014). If the storage space is
available to the container it can easy to move the truck deliver process of terminals.
Container’=container U {name date?}
Names’ (I) =names (I) ≤ date’ (I) = date’ (I)
Container’ (names (I))
Date’ (i) Display message: successfully
7. Accept pickup of the container control system
The pickup the container the reverse process is used. The drivers’ arrivers and position
the truck close to the containers corners. These can be front or real corners of the containers and
depends on how the containers were delivered("Container sealing system", 2012). The customer
to accept the z-notation of the formal requirement storage of the necessary details is successfully.

8. Leave delivery queue
The leave delivery of the containers that can be used to to client can be login the z-
notation specification and book the containers is not available and too automatically to display
on the storage requirements is waiting stage on the deliver specification.
9. Upload ship
The system will keep a record of all ships that have been registered to transport wheat
overseas for the Wheat Board. The ships name, nationality and capacity (in tons) will be stored.
The ship's captain can specify the amount of wheat to be off-loaded into the ship as long as it is
less than the ships capacity and also the silos current amount in storage. The system will keep a
record of the amount of wheat off-loaded to the ship and adjust the current storage appropriately.

10. Container terminal account
The container terminal account is the designed for the handling, storage; possible loading
and unloading luggage to charges the amount maintain the account terminals (Lee & Yu, 2011).
11. Ships total account
The ships management account is used to we are predictable, reliable and transparent partner
of maintain and the expended used to the account of the z notation of the specification.

Procedure Remind (today: DATE);
Card list: array [1: : ] of NAME;
. cards :number);
Data type: number;
Begin
Ncards := 0; j := 0;
While < hwm do begin
If dates [0] = today then begin
ncards := ncards + 1;
Card list [ncards]:= names [2 ]
end
End
End;
The initial state of the program has HWM = 0:
12. Freight company account
The z notation specification of the container control system is used for the total number of
tonnage of the container delivered terminal by ALL freight companies in the specified time
period to maintaining the account details of the z- specification.

13. Conclusion
Container size affects application life-cycle in many aspects. Making them small improves these
containers in security, performance, efficiency, and maintainability of a containerized
application. Although making the container sizes small is not a must, at least trying to build the
application container using a minimal base image like Alpine greatly helps in understanding the
details of individual container dependencies. This builds confidence for the developers over the
software running inside for investigating potential issues as well as to optimize of the z-
specification. This scheme describes the container control system in which set known is empty:
in consequence the function containers are empty too….we have described in the same
mathematical framework both state space our container control system and the operational which
can be performed on it. The data objects which appear in the system were described in terms of
mathematical data types such as sets and functions. The description of the state space included an
invariant relationshipBetween the parts of the state information which would not be part of a
program Implementing the system, but which is vital to understanding it.
14. References
Bentwood, Z., &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), 59-72. doi: 10.4018/ijsita.2017070104

Container sealing system. (2012). Sealing Technology, 2012(3), 15. doi: 10.1016/s1350-
4789(12)70119-8
Dimitrov, V. (2011). “Relationship” specification in Z-notation. Physics Of Particles And Nuclei
Letters, 8(4), 391-394. doi: 10.1134/s1547477111040078
Jariyapong, P. (2014). Nodavirus-based biological container for targeted delivery
system. Artificial Cells, Nanomedicine, And Biotechnology, 43(5), 355-360. doi:
10.3109/21691401.2014.889702
Jiang, N., Xu, J., & Zhang, S. (2018). Neural network control of networked redundant
manipulator system with weight initialization method. Neurocomputing, 307, 117-129. doi:
10.1016/j.neucom.2018.04.039
Lee, C., & Yu, M. (2011). Inbound container storage price competition between the container
terminal and a remote container yard. Flexible Services And Manufacturing Journal, 24(3),
320-348. doi: 10.1007/s10696-011-9103-6