Comportamento Dinâmico: Contratos

• Ainda estamos em Análise

Objetivos

• Criar contratos para as operações do sistema

Introdução

• Estamos continuando a investigar o comportamento dinâmico do sistema
• Contratos descrevem os efeitos que as operações têm no sistema
• Em UML, contratos são especificados usando pré-condições e pós-condições
• Contratos são estabelecidos depois temos o modelo conceitual, que fizemos os diagramas de sequência e que identificamos as operações no sistema
• Continuamos com uma visão de caixa preta para o sistema (queremos caracterizar o que o sistema faz e não como o faz)

Contratos

• O diagrama de sequência não menciona a funcionalidade das operações
  • Isto é, o comportamento do sistema
• Um contrato é um documento que descreve o que uma operação promete cumprir
• As pré- e pós-condições descrevem as mudanças de estado do sistema
• Contratos podem ser associados a operações do sistema como um todo ou a métodos individuais (na fase de projeto)
  • Consideraremos apenas contratos de operações de sistema

Exemplo de um contrato

Segue um contrato possível para a operação entrarItem

• Alguns comentários
  • O tipo pode ser Sistema, Classe de software ou Interface, dependendo do tipo de contrato que se está elaborando
  • As anotações podem indicar dicar para a fase de projeto, algoritmos especiais desejados, etc.
  • A saída indica informação que sai do sistema (mensagens, registros, ...), sem incluir a interface com o usuário
  • As pré-condições mencionam as suposições sobre o estado do sistema antes da execução da operação
    • Muitas dessas coisas poderão ser testadas durante a implementação (programação defensiva)
  • As pós-condições mencionam as alterações ao estado do sistema como resultado da execução da operação (isto, é depois que a operação terminou)
    • As pós-condições podem ser descobertas nas seguintes categorias:
      • Criação e destruição de instâncias
      • Modificação de atributos
      • Associações formadas e quebradas
    • Não mencione ações que são feitas na operação mas mudanças que ocorreram no estado do sistema
      • Tire uma foto do sistema antes e depois da operação e descreva a diferença entre as duas fotos
      • Descrevemos o que ocorreu e não como ocorreu
  • Outros contratos podem ser vistos no livro de Larman

Relação com outros artefatos

anal1-6 programa anterior