uma bela historia

Escopo: Biblioteca Universitária
Uma Biblioteca Universitária BU deseja criar um Sistema de Empréstimo de Livros e está contratando uma empresa de software para desenvolver este sistema. A equipe de analistas elaborou o seguinte escopo como parte da Especificação dos Requisitos do Software (ERSw):
A biblioteca só atende a usuários cadastrados, que recebem um Código de Cadastro de Usuário
(CCU) único. Os usuários são cadastrados por um funcionário da biblioteca, que cadastra também os livros disponíveis para empréstimo. Cada exemplar de livro na hora do cadastro recebe um
Código Geral de Livro (CGL) único que é impresso em etiqueta adesiva para ser colocado no livro correspondente. O usuário pode solicitar um empréstimo ou fazer uma reserva de livros se não houver Penalidades ou Restrições Vigentes (PRV) para seu CCU. Se houver PRVs serão informadas ao usuário. Para um usuário poder realizar um empréstimo ou uma reserva precisa informar (diretamente ao sistema ou ao funcionário que o atende) seu CCU e os CGLs dos livros a serem emprestados ou reservados. Após a validação dos códigos, o usuário recebe impresso a confirmação do empréstimo ou da reserva dos livros disponíveis, incluindo a Data máxima para
Devolução dos Livros Emprestados (DDLE) ou de Retirada dos Livros Reservados (DRLR). A validação do CGL consiste em verificar no Registro Geral de Livros (RGL) se há algum livro cadastrado com esse CGL e se está disponível. Os dados do empréstimo ou reserva são também armazenados, incluindo um Código de Evento de Empréstimo (CEE) ou de Evento de Reserva
(CER). Para isto um registro novo é criado no Controle de Empréstimos de Livros (CEL) ou no
Controle de Reservas de Livros (CRL), segundo o caso, juntamente com a atualização da situação desses livros no RGL, colocando-os como emprestado ou reservado, correspondentemente. Ao iniciar cada dia, no primeiro acesso do funcionário, deverá ser verificado o esgotamento do tempo de reserva dos livros