Modelagem de Sistemas de Informação I
2014/1
Laboratórios de Especificação
Prof. Eber
equipe.nce.ufrj.br/eber
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.
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.
2.
3.
Preparar a primeira versão de um modelo conceitual do domínio Escola no
arquivo “escola.use”
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
Data entrega: 12/2/2014 antes das 8 horas.
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.
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.
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.
Laboratório 6
1.
Especificar, no USE, dois eventos de requisição de ação:
1.
2.
2.
3.
4.
“Cliente faz uma reserva”
“Motorista aluga um carro”.
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().
Crie 2 cenários, na forma de scripts .soil, para cada um dos
eventos.
Data entrega: 26/03/2014 antes das 8 horas.
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.
Laboratório 8 (Final – parte 1)
1.
2.
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.
Data entrega: 11/06/2014 antes das 8 horas.
Laboratório 8 (Final – parte 2)
1.
2.
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.
Data entrega: 11/06/2014 antes das 8 horas.