Modelagem de Sistemas de Informação I 2016/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.

Apresentação em tema: "Modelagem de Sistemas de Informação I 2016/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber."— Transcrição da apresentação:

1 Modelagem de Sistemas de Informação I 2016/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber

2 Laboratório 1 1.Baixar e instalar a ferramenta USE 4.2 2.Baixar o manual de uso da ferramenta USE. 3.Especificar, carregar e executar alguns cenários para os exemplos da seção 1.4 do manual. 4.Data entrega: 20/04/2016

3 Laboratório 2 Instruções gerais 1.Cada um dos modelos deve ser empacotado em um diretório com o nome do modelo e conter os seguintes componentes: 1.Arquivo.use -- fonte 2.Arquivo.clt --lay-out 3.Arquivos.soil --animação

4 Laboratório 2 2.1- Domínio Aviação Uma empresa aérea dispõe de três tipos de recursos: aviões, pilotos e tripulações de apoio. Pilotos e tripulação tem suas respectivas bases de casa, para onde retornam ao final de cada vôo a eles atribuído. Todo vôo deve, no avião a ser usado, ter pelo menos um piloto e um ou mais tripulantes. Todo avião tem uma base de manutenção a ele designada. 1.Gerar cenários (arquivos cenario.soil) para as seguintes situações: (i) um piloto é contratado, (ii) tripulação é alocada a um voo

5 Laboratório 2 2.2-Domínio Escola Nesta escola hipotética, um professor pode ensinar muitas disciplinas, desde que devidamente qualificado para ensinar os temas a serem ensinados na disciplina. Toda turma de uma disciplina deve ter pelo menos um professor e, pode ser atendida, no mínimo por 3 alunos e no máximo, pela capacidade da sala onde a disciplina será ministrada. Ao início do turno letivo, as turmas são atribuídas às salas de aula, onde a turma se encontrará de uma forma regular durante o turno. 1.Gerar cenários (arquivo cenario.soil) para as seguintes situações: (i) um professor é contratado, (ii) aluno se inscreve em disciplina, (iii) sala é alocada para disciplina 2.Data entrega: 20/4/2016

6 Laboratório 3 (1/3) Domínio Biblioteca 1-Uma biblioteca tem vários leitores, cada um possui um cartão de identificação que o autoriza a utilizar os serviços da biblioteca. Cada leitor é identificado pelo seu número de registro, nome e categoria (aluno ou professor). 2-A biblioteca tem um catálogo de livros, e cada livro pode ter um ou mais exemplares. Os livros são identificados pelo código ISBN, e pelo nome do(s) autores, título, editora e ano de impressão. 3-O número máximo de exemplares que um leitor pode ter em seu poder depende de sua situação: 3 para alunos e 5 para professores. 4-A duração do empréstimo também varia: 3 dias para alunos e 7 dias para professores. 5-Empréstimos em atraso incorrem em multa diária. 6- Leitores em atraso não podem efetuar novos empréstimos e tem suas reservas canceladas automaticamente.

7 Laboratório 3 (2/3) 7-Leitores com mais de 30 dias de atraso tem sua inscrição cancelada até que sua situação seja regularizada. 8-Aos 90 dias de atraso, a biblioteca solicita a abertura de um processo de cobrança judicial. 9-Reservas podem ser feitas somente para livros que não possuam exemplares disponíveis no momento da reserva. 10-As reservas são atendidas em ordem cronológica e o leitor tem 48 horas para retirar um livro reservado, contadas a partir da data e hora da emissão do aviso de chegada. 1.Construir modelo conceitual no USE contendo classes, associações. Regras de negócios especificadas como invariantes e pré-pós das operações. 2.Construir cenários para animação do modelo nas seguintes situações: reservas (marcação e atendimento), empréstimos, retornos,(no prazo, atrasado e inadimplência) dos empréstimos. 3.Data entrega: 11/5/2016

8 Laboratório 3 (3/3) Operações a serem incluídas e verificadas na versão final: 1-Reservar livro 2-Emprestar exemplar 2.1-com reserva prévia 2.2-imediata 3-Retornar exemplar 4-Tratar Leitores em atraso 4.1 menos de 30 dias 4.2 mais de 30 e menos de 90 dias 4.3 mais de 30 dias Data entrega: 25/5/2016 (antes das 8 horas)

9 Laboratório 4 (1/-) 1-Estude o modelo R&L apresentado na seção 2.1 do livro de OCL 2-Construa um modelo USE de acordo com o texto. 3-Implemente as operações 1-enroll(c:Customer) 2-getservoces():Set(Services) 4-Construa cenários de teste para as operações acima. Data entrega: 1/6//2016