logo

Z Schema Operations: Assignment

10 Pages1326 Words382 Views
   

Added on  2020-03-28

Z Schema Operations: Assignment

   Added on 2020-03-28

ShareRelated Documents
Running head: Z SCHEMA OPERATIONSZ Schema OperationsName of the StudentName of the UniversityAuthors Note
Z Schema Operations: Assignment_1
Z SCHEMA OPERATIONS1 Z Notations The Z notations are mainly used in defining the Formal specifications of aninformation system by using the mathematical notations. This helps in describing the requiredfunctionalities of an information system in a precise way or the properties the informationsystem must have. This specifications are not constrained by the issues that affects thataffects the way in which the properties or functionalities are to be achieved. The Z notationsdescribes different functionalities for a system which are to be completed without specifyingthe way it is going to be achieved. This abstraction provided by the Z notations makes theformal specifications of an information system useful in the development process of aninformation system. The Z notations/schemas defines an information system while defining the differentfunctionalities and relations between them. This Z notations stresses on analysing ainformation system while using the mathematical techniques. This techniques helps inelimination of the ambiguity in defining the specification for the information system. Inaddition to that, it also helps in avoiding the reasoning errors for specifying the functionalitiesas well as proving implementation specification for the system precise as per the requirementof the information system. It also helps in performing organized deduction of functionalities/programs based on the predicate language as specified by the Z-notations. It also helps inquality analysis techniques and testing the models of the information system.Used Pseudo code for the Z schema InitLog in to the system.Select specific operation to perform
Z Schema Operations: Assignment_2
Z SCHEMA OPERATIONS2Complete and execute the operation.Match with the desired result. Enter a new SiloStart TaskSelect option for opening a new account for a Silo.Enter the Name for the new Silo, the name should be unique from the stored list in thesystem.Enter Storage Capacity of the Silo.Enter Current amount of wheat stored in the New Silo equal to Zero.Display-Silo is currently empty.Completion of the TaskAccept_deliveryStart and Login to System Select the option for Operation Accept Delivery from the Silo.Verification of the Registration No of the Truck.Verification of the Farmers Name.Check and verify the load of the TruckVerify for the capacity of the silo to store the extra load of the new truck
Z Schema Operations: Assignment_3

End of preview

Want to access all the pages? Upload your documents or become a member.

Related Documents
Software Engineering Methodologies: Assignment
|20
|4444
|171

Z-Language: A Study on Container Terminal Operations
|9
|789
|62

Z-Language: Container Control System
|11
|1578
|494

Z Notation: A Case Study of Container Control System
|11
|2178
|79

Formal Specification and Analysis of Container Control System using Z-Notation
|15
|2229
|143

Z-Notation Specification for Container Control System
|15
|2192
|172