Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber...
-
Upload
cecilia-portales -
Category
Documents
-
view
219 -
download
3
Transcript of Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber...
![Page 1: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/1.jpg)
Modelagem de Sistemas de Informação I2014/1
Laboratórios de EspecificaçãoProf. Eber
equipe.nce.ufrj.br/eber
![Page 2: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/2.jpg)
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.
![Page 3: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/3.jpg)
Laboratório 2
Domínio EscolaNesta 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/2/2014 antes das 8 horas.
![Page 4: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/4.jpg)
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: 12/3/2014 antes das 8 horas.
![Page 5: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/5.jpg)
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: 12/3/2014 antes das 8 horas.
![Page 6: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/6.jpg)
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: 19/3/2014 antes das 8 horas.
![Page 7: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/7.jpg)
Laboratório 61. 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 domínio, 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: 26/03/2014 antes das 8 horas.
![Page 8: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/8.jpg)
Laboratório 7
1. Preparar, no Alloy, a primeira versão de um modelo do domínio Vc. Aluga, representando a reserva de carro. Para isso, descreva os tipos de entidades, relacionamentos e regras do negócio que sejam relevantes e especifique a operação de “Cliente Reserva Carro”.
2. Data entrega: 07/05/2014 antes das 8 horas.
![Page 9: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/9.jpg)
Laboratório 8 (Final – parte 1)1. Especificar, em Alloy, o conjunto de regras de
negócio especificadas no documento “Regras de Negócio para Especificação Alloy”. Dentre essas um conjunto de 5 regras e, para cada uma delas, escreva uma versão “com ruído” descrevendo uma possível tradução errônea dessas regras.
2. Data entrega: 11/06/2014 antes das 8 horas.
![Page 10: Modelagem de Sistemas de Informação I 2014/1 Laboratórios de Especificação Prof. Eber equipe.nce.ufrj.br/eber.](https://reader036.fdocumentos.com/reader036/viewer/2022082616/570638441a28abb8238f231b/html5/thumbnails/10.jpg)
Laboratório 8 (Final – parte 2)1. Especificar, em Alloy, as operações de “Reservar
carro”, “Alugar carro” e “Retornar carro”. Defina uma ordem (util/ordering) para as respectivas assinaturas que permita visualizar os “traces” com cenários de reservas, aluguéis e retornos de carros de uma filial.
2. Data entrega: 11/06/2014 antes das 8 horas.