Repositório para o Projeto de da Disciplina de Lógica usando Alloy.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src/models
README.md

README.md

logica.alloy

Repositório para o Projeto da Disciplina de Lógica usando Alloy.

Requerimentos mínimos comuns a todos os projetos

  • Definição de 5 assinaturas, pelo menos uma herança
  • Definição de 5 predicados e 3 funções
  • Definição de 5 operações que simulam o comportamento temporal do sistema (usar assinatura Time)
  • Definição e verificação de 3 asserts (testes sobre o sistema)

MÍNIMO de 5 integrantes por equipe.

Tema 5: Central de Segurança (cliente: Tiago Massoni) Uma empresa de segurança residencial atua nos bairros Alto Branco e Centro em Campina Grande. A empresa oferece serviços de cerca elétrica, ronda noturna e monitoramento via câmeras 24h. Para solicitarem os serviços da empresa, os clientes devem morar nos bairros em questão e escolher os serviços que desejam contratar pela empresa. O serviço de cerca elétrica é o mais básico, sendo os outros dois só contratáveis se este for solicitado ou já estiver em operação. Quando a cerca elétrica é disparada, uma equipe de segurança utilizando motos é enviada ao domicílio, fazendo a verificação de intrusão e desativando a cerca ao final do procedimento. Três equipes de segurança estão disponíveis e devem ser alocadas pela ordem de ocorrência dos disparos. No caso do monitoramento via câmeras os funcionários alocados para este setor não devem ter turnos maiores que 6h consecutivas. No mínimo, dois funcionários devem atuar na monitoração simultaneamente.

Integrantes: Tercio de Melo, Samuel Thiago. C. dos Santos, Aparecido Alburquerque, Bruno Rafael A. Vasconcelos