Contratos
Download
1 / 18

Contratos - PowerPoint PPT Presentation


  • 153 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 Análise ...

  • 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 Análise ...

  • 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 Análise ...

  • 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 Análise ... 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 Análise ...

  • Estudo de Caso

    • Um sistema de terminal de vendas em um supermercado  Sistema TV

      • Detalhado no livro de Larman



Diagrama de sequ ncia para o caso de uso processar vendas
Diagrama de Sequência para o Caso de Uso Análise ...Processar Vendas


Contrato para a opera o iniciarvenda
Contrato para a Operação Análise ...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 Análise ...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 Análise ...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 Análise ...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 Conceituais

  • 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