Contrato de Transformação

Contrato de TransformaçãoVisão geral

1robertowm@gmail.com 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

Modelo de entrada

Modelo de saídaTransformação

Pré condições

Pós condições

Condições da transformação

robertowm@gmail.com Contrato de 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 6robertowm@gmail.com 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

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

τ(......)

Uso dos invariantes

τ(......)

Uso dos invariantes

τ(......)

Uso dos invariantes

τ(......)

Uso dos invariantes

τ(......)

Uso dos invariantes

τ(......)

Uso dos invariantes

τ(......)

Contrato de TransformaçãoPadrão de projeto

Diagrama de classe

Diagrama de seqüência

TCLibImplementação do padrão de projeto

Diagrama de classe

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

?robertowm@gmail.com Contrato de Transformação

Contrato de Transformação

Documents

Transcript of Contrato de Transformação

O SÍMBOLO DA TRANSFORMAÇÃO€¦ · Para nós o Eneagrama é o símbolo da TRANSFORMAÇÃO. Transformação pessoal. Transformação profissional. Transformação social. Transformação

Transformação de Ondas

Guia de Transformação Thelemico

Como transformar o negócio digitalmente? Transformação ... · A Transformação Digital Hoje Pilares da transformação digital Liderança Omni-experiência Contratação de talento

Panorama do Sistema de Automação Topográfica - POSIÇÃO · Transformação de Coordenadas UTM para Geográfica, Transformação entre Sistemas Geodésicos e Transformação UTM

Transformação ODMG Relacional. Implementação Relacional de BDs OO Transformação Esquema Objeto Esquema Relacional Transformação Esquema Objeto Esquema.

TRANSFORMAÇÃO DIGITAL

Sociedade Felupe: Desintegração ou transformação social? · transformação social? ... Desintegração ou transformação social? Cadernos de Estudos Africanos ... no plano político

PROPÓSITO DE TRANSFORMAÇÃO

Transformação de Dados

Uma jornada de transformação

Métodos de transformação

Mensagem de Transformação

CHINA EM TRANSFORMAÇÃO CHINA EM TRANSFORMAÇÃO

GLA ANGOLA - LEI DAS SOCIEDADES UNIPESSOAIS · prescinde da celebração de uma escritura pública para a sua constituição, ... a fixar no contrato social, ... No caso de transformação

Polímeros09 - Processo de Transformação

Transformação Digital

Transformação moral

CONTRATO Nº 2050.0093386.14.2 CONTRATO CELEBRADO … · CONTRATO Nº 2050.0093386.14.2 I0101414 – Contrato de Afretamento – Sistac Esperança Página 3 de 35 2.2.5. O CONTRATO

Identificando a Transformação Ambiental de uma região Teoria Geral da Transformação Ambiental de uma região - © RKM, 2012 A Teoria Geral da Transformação.