contratos
Download
Skip this Video
Download Presentation
Contratos

Loading in 2 Seconds...

play fullscreen
1 / 18

Contratos - PowerPoint PPT Presentation


  • 154 Views
  • Uploaded on

Contratos. Modelagem Funcional. Modelagem Funcional. Especificação das funções externas  isto é, a cargo dos atores  do sistema Operações Diagrama de Sequência de Operações Consultas / Relatórios. Contrato. Dentro da modelagem funcional, Contratos especificam somente as operações

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Contratos' - ivria


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
contratos

Contratos

Modelagem Funcional

modelagem funcional
Modelagem Funcional
  • Especificação das funções externas  isto é, a cargo dos atores  do sistema
    • Operações
      • Diagrama de Sequência de Operações
    • Consultas / Relatórios
contrato
Contrato
  • Dentro da modelagem funcional, Contratos especificam somente as operações
  • Consultas / Relatórios são próprios de especificação de interface
artefatos necess rios aos contratos
Artefatos Necessários aos Contratos
  • Modelo conceitual
  • Diagramas de seqüência
elementos de um contrato de opera o
Elementos de um Contrato de Operação
  • Identificação
  • Referências Cruzadas
    • Casos de uso onde a operação aparece
  • Pré-condições
  • Pós-condições
pr condi es
Pré-condições
  • Definem o que deve ser verdadeiro na estrutura da informação armazenada para que uma operação possa ser executada
    • Certos objetos devem existir (ou não existir!)
    • Certas associações entre objetos devem existir (ou não existir!)
  • As pré-condições não serão testadas durante a execução da operação
  • Algum mecanismo externo deverá garantir as pré-condições antes de executar a operação
p s condi es
Pós-condições
  • Estabelecem como o estado do sistema deve mudar, em função da execução da operação
    • Criação / destruição de objetos
    • Criação / destruição de associações entre objetos
    • Mudança de estado de objetos
template de um contrato
Template de um Contrato

Operação: Nome e parâmetros

[Referências cruzadas]: Use cases em que a operação

pode ocorrer

Pré-condições: Hipóteses acerca do estado do

sistema ou dos objetos do modelo do domínio,

antes da execução da operação

Pós-condições: O estado dos objetos do

modelo do domínio, depois que a operação foi realizada

exemplos de contrato
Exemplos de Contrato
  • Estudo de Caso
    • Um sistema de terminal de vendas em um supermercado  Sistema TV
      • Detalhado no livro de Larman
contrato para a opera o iniciarvenda
Contrato para a Operação IniciarVenda()

Contrato C1: IniciarVenda()

Referências cruzadas:Caso de Uso Processar

Vendas

Pré-condições

- Um objeto TV e um objeto Caixa existem

- A associação TV É operado por Caixa existe

Pós-condições

- Uma instância v de Venda foi cria

- v foi associada segundo Venda Registrada em TV

- v.data := data

- v.tempo := tempo

contrato para a opera o entraritem
Contrato para a Operação EntrarItem()

Contrato C2: EntrarItem(IDItem, quantidade)

Referências cruzadas:Caso de Uso Processar

Vendas

Pré-condições

- Um objeto Venda criado

Pós-condições

- Uma instância lv de Linha de Venda foi criada

- lv foi associada segundo Contida em,

Registra venda de, Descrita por

- lv.idItem := IDItem

- lv.quantidade := quantidade

contrato para a opera o terminarvenda
Contrato para a Operação TerminarVenda()

Contrato C3: TerminarVenda()

Referências cruzadas:Caso de Uso

Processar Vendas

Pré-condições

- Um objeto v de Venda criado

Pós-condições

- v.completa := verdade

contrato para a opera o fazerpagto
Contrato para a Operação FazerPagto()

Contrato C4: FazerPagto()

Referências cruzadas:Caso de Uso

Processar Vendas

Pré-condições

- Um objeto vVenda, e objetos lvLinha de Venda

criados

Pós-condições

- uma instância p de Pagto foi criada

- p foi associada a v segundo Paga

- p.valor := valor

- v foi associada segundo É arquivada por

contratos s o tamb m um meio de validar refinar modelos conceituais
Contratos São Também um Meio de Validar / Refinar Modelos Conceituais
  • Estudo de Caso
    • O atributo completa da entidade Venda só foi descoberto durante a especificação do contrato C3

Venda

Completa

Data

Tempo

preparando se para a mini prova 6
Preparando-se para a Mini-prova #6
  • Estudo de caso: o seu projeto!
    • Casos de Uso expandidos
    • Modelo do domínio detalhado
    • Diagramas de Sequência para cada caso de uso
  • Especificar os contratos de cada uma das operações dos diagramas de sequência
  • Refinar / validar o modelo do domínio
ad