Contrato de Transformação

Contrato de TransformaçãoVisão geral

[email protected] Contrato de Transformação

Origens

• Design by Contract• Definição e especificação formal, precisa e

verificável dos componentes do sistema• Baseado na idéia de obrigações e benefícios• Obrigações

• Pré-condições antes de executar uma rotina• Garantir pós-condições após uma rotina• Manter uma propriedade durante toda a rotina

(invariante)• Benefício

• Não é necessário efetuar verificações internas a rotina


Origens

• Design by Contract• Formalização das obrigações e benefícios• Obrigações devem ser definidas na fase de

Design• Algumas linguagens dão suporte a assertivas

para garantir o contrato


Subindo o nível

Contrato de transformação =

Design by Contract no nível de modelos

4

Modelo de entrada

Modelo de saídaTransformação

Pré condições

Pós condições

Condições da transformação


O que é?

• Uma especificação sobre o que uma transformação de modelo deve fazer

• Deve existir uma relação entre o metamodelo de entrada e de saída, que é definido como o metamodelo de transformação• União disjunta entre os metamodelo de

entrada, metamodelo de saída e relações entre eles

• Para validar a transformação, um conjunto de invariantes são aplicados sobre o modelo de transformação, que devem ser respeitados [email protected] Contrato de Transformação

Passos para a transformação

• Passos• Carregar o modelo de entrada• Validar o modelo de entrada carregado• Transformar do modelo de entrada para o

modelo de saída• Validar o modelo de transformação e de saída• Gerar a sintaxe concreta do modelo de saída


Passos para a transformação

• Benefícios• Padronização de como deve ocorrer a

transformação• Garantia que os invariantes são respeitados

(passos de validação)


Uso dos invariantes

• Maior garantia de qualidade

10

Designer da linguagem de modelagem

Desenvolvedor da transformação de modelos

Usuário do transformador de modelos

Define sintaxe e semântica da linguagem de modelagem

Define a relação entre duas ou mais linguagens de modelagem

Modela a aplicação e aplica o transformador ao modelo

€

τ

€

τ(......)


Uso dos invariantes


11







€

τ

€

τ(......)


Uso dos invariantes


12







€

τ

€

τ(......)


Uso dos invariantes


13







€

τ

€

τ(......)


Uso dos invariantes


14







€

τ

€

τ(......)


Uso dos invariantes


15







€

τ

€

τ(......)


Uso dos invariantes


16







€

τ

€

τ(......)


Uso dos invariantes


17







€

τ

€

τ(......)


Contrato de TransformaçãoPadrão de projeto


Diagrama de classe



Diagrama de seqüência

20


Diagrama de seqüência

21

TCLibImplementação do padrão de projeto


23

Diagrama de classe


TCLib

Exemplo de uso


Metamodelo UML


Código-fonte (metamodelo)


Invariantes


Parser


Metamodelo conjunto


Invariantes


Código Java para a transformação


ProjetosVisão geral


UMLtoSQL

• Transformador de diagramas de classe UML para SQL

• Transformação baseada no livro “MDA Explained”

• Validação por invariantes nos três domínios

• Geração de comandos em SQL para criação de tabelas


Metamodelo UML


Metamodelo SQL


UMLtoJava

• Transformador de diagramas de classe UML para código-fonte em Java

• Validação por invariantes nos três domínios

• Geração de código-fonte em Java (classes com atributos e seus getters/setters)


Metamodelo Java


ProjetosTrabalho a ser entregue


Trabalho a ser feito


• Consertar alguns problemas no transformador

• Melhorar alguns aspectos do transformador

• Implementar um elemento de modelagem não suportado

• O trabalho deve compilar em três diagramas de classe• Blog.xmi• Meeting.xmi• Breakfast.xmi

Erro/Melhoria no UMLtoSQL

• Permitir que o código resultante funcione um um banco de dados relacional

• Adicionar as “constraints” de foreign key no pretty-print• MySQL:

... FOREIGN KEY (fk_id) REFERENCES OtherTable(column_id) ...

• Consertar os invariantes inválidos


Erro/Melhoria no UMLtoJava

• Permitir que o código resultante seja compilável• Falta adicionar o código referente aos setters

gerados• Adicionar código nos getters gerados• Consertar os invariantes inválidos


Implementação de um novo elemento

• Adicionar suporte a classes associativas• Requer mudanças em todo o processo de

transformação• Criação de invariantes nos três domínios• Carregar esses elementos durante “parse”• Criar a regra de transformação e implementá-la• Atualizar o “pretty-print”


Dúvidas

48


Contrato de Transformação

Documents

Transcript of Contrato de Transformação