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

Apresentação em tema: "Modelagem de Sistemas de Informação I 2013/2 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 2013/2 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber

2 Laboratório 1 1.Baixar e instalar o arquivo com a ferramenta USE 3.0 2.Baixar, da hp da disciplina, 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: 05/09/2013

3 Laboratório 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.Preparar a primeira versão de um modelo conceitual do domínio Escola no arquivo escola.use 2.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 3.Data entrega: 12/9/2013 antes das 8 horas.

4 Laboratório 3 1.Ler as seções 1 e 2 do estudo de caso VocêAluga. 2.Preparar, no USE, a primeira versão de um modelo estrutural do domínio, identificando os tipos de entidades, relacionamentos e restrições de cardinalidade. 3.Data entrega: 18/9/2013 antes das 8 horas.

5 Laboratório 4 1.Preparar, no USE, a segunda versão de um modelo estrutural do domínio, contendo a especificação OCL das regras de negócio descritas nas seções 3.1,3.2 e 3.4. 2.Data entrega: 25/9/2013 antes das 8 horas.

6 Laboratório 5 1.Preparar, no USE, a terceira versão de um modelo estrutural do domínio, contendo a especificação OCL das regras de negócio descritas nas seções 3.1,3.2,3.4.35. e 3.7. 2.Data entrega: 2/10/2013 antes das 8 horas.

7 Laboratório 6 1.Preparar, no USE, a quarta versão de um modelo estrutural do domínio, contendo em adição aos requisitos anteriores, a especificação OCL das regras de negócio descritas na seção 3.3. 2.Data entrega: 16/10/2013 antes das 8 horas.

8 Laboratório 7 1.Especificar, no USE, dois eventos de requisição de ação: 1.Cliente faz uma reserva 2.Motorista aluga um carro. 2.A especificação deve conter as classes do tipo evento, seus relacionamentos com as classes de dominio, as restrições para a criação dos objetos evento e a especificação das respectivas operações effect(). 3.Crie 2 cenários, na forma de scripts.soil, para cada um dos eventos. 4.Data entrega: 6/11/2013 antes das 8 horas.

9 Laboratório 8 1.Especificar usando a linguagem Alloy um fragmento do modelo Royal&Loyal compreendendo as seguintes classes: Loyalty Program, Customer, Membership e Customer Card. 2.Data entrega: 13/11/2013 antes das 8 horas.