logo

Z Schema: Library System

Develop schema that will model a library - containing only books – and be able to perform various tasks such as adding a book, adding a borrower, deleting a book, deleting a borrower, lending a book to a borrower, returning a book from a borrower, enquiring about a book, reserving a book, enquiring about a reservation, cancelling a reservation, buying a book, receiving a book, and generating a report of books on loan.

14 Pages649 Words490 Views
   

Added on  2023-04-04

About This Document

This presentation provides an introduction to the Z schema notation and its use in modeling computer systems, specifically the library system. It explains the background of the library system, the different Z schemas used, and the main functionalities of the system. It also discusses the consistency of the Z schema with the library system and the predicates associated with it. The presentation concludes by highlighting the benefits of using the Z schema and its ability to improve and upgrade the system.

Z Schema: Library System

Develop schema that will model a library - containing only books – and be able to perform various tasks such as adding a book, adding a borrower, deleting a book, deleting a borrower, lending a book to a borrower, returning a book from a borrower, enquiring about a book, reserving a book, enquiring about a reservation, cancelling a reservation, buying a book, receiving a book, and generating a report of books on loan.

   Added on 2023-04-04

ShareRelated Documents
Software Testing
Z SCHEMA: LIBRARY SYSTEM
Z Schema: Library System_1
Introduction
The Z notation also known as the Z
schema is a formal specification language
that is mainly used for modelling computer
systems and describing them. This
notation is targeted toward the clear
specification of computer based system in
general and computer programs.
The Z schema is designed based on the
standard mathematical notation that is
used in the axiomatic set theory, first
order predicate logic and lambda calculus.
The expressions in the Z notation are
typed.
Z Schema: Library System_2
background of library system
The library system is a system that
can be used to perform the functions
of the library. Some of the core
functions of this library include:
1. Adding a book
2. Delete a book
3. Add a borrower
4. Return a borrowed book
5. Reserve a book.
Z Schema: Library System_3
background of library system
(continued)
6. Cancel a reservation
7. Receive a book
8. Buy a book
9. Enquire for a book
10. Delete a borrower
11. Lend a book
12. Report loaned books
Z Schema: Library System_4

End of preview

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

Related Documents
Library Management System
|7
|526
|132

Itech7410 Software Engineering Methodologies | Z notation
|21
|1743
|21

Software Engineering Methodologies : Presentation
|15
|1043
|16