SlideShare uma empresa Scribd logo
1 de 14
Automatizando
Mudanças na Evolução
da Engenharia Dirigida
a Modelos
Rayane Meneses da Silva – meneses.matemática@gmail.com
Raquel Machado de Sousa – rachel.msousanet@gmail.com
DISCIPLINA: ENGENHARIA E DESENVOLVIMENTO DE SISTEMAS
PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DA ELETRICIDADE
UNIVERSIDADE FEDERAL DO MARANHÃO – UFMA
INTRODUÇÃO
 A complexidade crescente de modelos de software e do sistema é o que torna difícil explorar
rapidamente os efeitos de uma decisão de projeto.
 Surge a necessidade urgente de administrar a mudança da evolução complexa dentro do
modelo de representação.
 Ferramenta que simula cada nova configuração do projeto.
◦ Deve acomodar duas categorias de mudanças
◦ A primeira categoria inclui mudanças que cortam a hierarquia da representação do modelo.
◦ A segunda categoria envolve ampliação de partes do modelo de uma preocupação especial na
concepção de, em tempo real, sistemas de larga escala distribuídos embutidos, que podem ter milhares
de componentes de granularidade alta.
 Ambas as categorias da mudança da evolução beneficiaria muito com a automação.
C-SAW
 Desenvolveu-se um mecanismo de transformação usado para manipular modelos chamado C-
SAW (Aspect Weaver Constraint-Specification).
 C-Saw é um plug-in para o Ambiente de Modelagem Genérico (GME) da Universidade de
Vanderbilt.
O GME é um conjunto de ferramentas configurável que apoia a criação de ambientes de
modelagem específicas de domínio.
TRANFORMAÇÃO DE MODELO
AUTOMATIZADO
 A ideia de transformação do modelo é permitir automação que irá remover complexidades de
projeto acidentais no processo de modelagem.
 A transformação do modelo pode assumir uma das duas abordagens:
◦ transformação de modelo para código
◦ de modelo para modelo
LINGUAGEM DE
TRANSFORMAÇÃO DE MODELOS
 Existem várias ferramentas de modelagem, para apoiar a automatização de transformação do
modelo.
 É essencial que os engenheiros e desenvolvedores usem uma linguagem para especificar e
executar as transformações desejadas de modelo.
 Essa linguagem deve ter duas características principais:
◦ Deve ser focada em um determinado domínio ou contexto do usuário;
◦ Deve abordar tarefas específicas da evolução do modelo.
LINGUAGEM DE
TRANSFORMAÇÃO DE MODELOS
 Para atender a esses requisitos a C-SAW usa a Linguagem de Restrição Incorporada (ECL) que
uma extensão para a Linguagem de Restrição a Objeto (OCL).
 ECL reflete conceitos do domínio de modelagem do usuário e permite que os engenheiros do
modelo refinam o modelo de uma forma gradual.
As construções de ECL que suportam cada transformação inclui:
◦ Um tipo de sistema;
◦ Um mecanismo de seleção de elemento;
◦ Um conjunto de operadores para manipular os modelos de origem
LINGUAGEM DE
TRANSFORMAÇÃO DE MODELOS
 Tipo de sistema
◦ ECL fornece um sistema de tipo básico para descrever valores e objetos de modelo de transformação
 Seleção de elemento
◦ ECL suporta consultas de modelo, proporcionando a escolha do operador, de um conjunto de operadores
especiais para selecionar uma coleção de objetos do modelo, e um conjunto de operadores para encontrar um
único objeto de modelo.
 Operações de transformação
◦ ECL fornece um conjunto de operadores para mudar a estrutura do modelo.
PROPRIEDADES TRANSVERSAIS
DO PROJETO
 Quando um interesse se espalha por um artefato, fica difícil de compreender e mudar um
modelo de vários componentes.
 Desenvolvimento de Software Orientado a Aspectos (AOSD) oferece técnicas para modularizar
o interesse de corte transversal dos componentes do sistema.
 Uma das motivações para o desenvolvimento de C-Saw foi a necessidade de especificar
restrições que cortam o modelo de um sistema embarcado distribuído de tempo real.
 Por exemplo, mudança de uma regra de interesse transversal em um subsistema com mais de
2000 mil componentes pode ser bastante dispendioso para a capacidade humana de localizar e
modificar todos esses componentes.
PROPRIEDADES TRANSVERSAIS
DO PROJETO
 Com a Linguagem de Restrição Embutida (ECL), os engenheiros de modelo definem um aspecto
de modelagem para especificar a intenção de um interesse transversal.
PROPRIEDADES TRANSVERSAIS
DO PROJETO
 C-Saw realiza cada estratégia num contexto de modelagem específica, que fornece o aspecto. O
contexto pode ser um projeto inteiro, um modelo específico, átomo, ou conexão, ou uma
coleção de elementos de modelagem reunidos.
 Usando ECL, os engenheiros podem definir aspectos para quantificar os elementos de
modelagem que deseja alterar e aplicar a estratégia de construção para executar a
transformação desejada.
MODELO DE ESCALABILIDADE
AUTOMATIZADO
 Apoio a escalabilidade dentro de ferramentas de modelagem é de extrema preocupação para
projetistas de sistemas embarcados de tempo real distribuídos.
 O problema de escalabilidade afeta o desempenho da atividade de modelagem, bem como a
correção da representação do modelo.
 Transformadores de modelos que servem como replicadores podem automatizar
significamente uma tarefa manual.
 Por exemplo, escalar um modelo de três sites e dois gateways por site para um modelo com
oito sites e sete gateways por site, o engenheiro modelo teria que inserir mais de 120 novos
elementos de modelagem e quase 150 conexões entre todos os novos elementos.
MODELO DE ESCALABILIDADE
AUTOMATIZADO
MODELO DE ESCALABILIDADE
AUTOMATIZADO
 Utilizando estratégias reutilizáveis do C-Saw, o engenheiro de modelo pode explorar a
flexibilidade do projeto, aplicando a transformação de vários sites.
 É especificado um conjunto de transformações para escalar o número de sites mais externa.
 Utilizando uma abordagem manual, o engenheiro deverá repetir a mesma tarefa desde o início.
 Com o C-Saw, o engenheiro simplesmente entra com novos parâmetros para as estratégias.
 O motor de transformação C-Saw foi aplicado em várias linguagens de modelagem no domínio
do sistema em tempo real embarcados e distribuídos para modularizar propriedades
transversais e replicar elementos de um modelo de núcleo.
 C-Saw é apenas uma das muitas abordagens de transformação de modelos, que diferem
amplamente na sua aplicação e resultados.
REFERÊNCIAS
 Jeff Gray, Yuehua Lin, and Jing Zhang, IEEE Computer, Special Issue on Model-Driven
Engineering, vol. 39, no. 2, February 2006, pp. 51- 58.

Mais conteúdo relacionado

Destaque

La investigación
La investigación La investigación
La investigación Linda Suarez
 
Horario de evaluaciones 2013 2
Horario de evaluaciones 2013 2Horario de evaluaciones 2013 2
Horario de evaluaciones 2013 2Liceo Matovelle
 
Redes informatica marti y erick
Redes informatica marti y erickRedes informatica marti y erick
Redes informatica marti y erickMarti Jofre
 
Importancia cancer
Importancia cancerImportancia cancer
Importancia cancerSol Sánchez
 
13º Torneio de Natal Salesianos / Moche 2013 - Resultados
13º Torneio de Natal Salesianos / Moche 2013 - Resultados13º Torneio de Natal Salesianos / Moche 2013 - Resultados
13º Torneio de Natal Salesianos / Moche 2013 - Resultadosjpms
 
Coolhunting cool examples-final
Coolhunting   cool examples-finalCoolhunting   cool examples-final
Coolhunting cool examples-finalVictor Gonçalves
 
Presentación 2014 profe gabriel
Presentación 2014 profe gabrielPresentación 2014 profe gabriel
Presentación 2014 profe gabrielEnrique Morales
 
Pai 2 - matemática auto instrutivo - professor
Pai   2 - matemática auto instrutivo - professorPai   2 - matemática auto instrutivo - professor
Pai 2 - matemática auto instrutivo - professorRenato Tonay
 
Gestão do Conhecimento para Unidades de Informação
Gestão do Conhecimento para Unidades de InformaçãoGestão do Conhecimento para Unidades de Informação
Gestão do Conhecimento para Unidades de InformaçãoJuliana Gulka
 
Ana nery detergentes, sabões e xampus
Ana nery   detergentes, sabões e xampusAna nery   detergentes, sabões e xampus
Ana nery detergentes, sabões e xampusJoseval Estigaribia
 
Direito eleitoral e propagandas políticas na web
Direito eleitoral e propagandas políticas na webDireito eleitoral e propagandas políticas na web
Direito eleitoral e propagandas políticas na webMaria Fernanda Hosken
 

Destaque (20)

Delitos informáticos
Delitos informáticos Delitos informáticos
Delitos informáticos
 
Redes sociais - Qualidade vs. Quantidade
Redes sociais - Qualidade vs. QuantidadeRedes sociais - Qualidade vs. Quantidade
Redes sociais - Qualidade vs. Quantidade
 
La investigación
La investigación La investigación
La investigación
 
Tutorial - Relatórios
Tutorial - RelatóriosTutorial - Relatórios
Tutorial - Relatórios
 
Wiki
WikiWiki
Wiki
 
peñarroya s,a y la mineria
peñarroya  s,a y la mineriapeñarroya  s,a y la mineria
peñarroya s,a y la mineria
 
Horario de evaluaciones 2013 2
Horario de evaluaciones 2013 2Horario de evaluaciones 2013 2
Horario de evaluaciones 2013 2
 
Redes informatica marti y erick
Redes informatica marti y erickRedes informatica marti y erick
Redes informatica marti y erick
 
Conceptualizacion
ConceptualizacionConceptualizacion
Conceptualizacion
 
Importancia cancer
Importancia cancerImportancia cancer
Importancia cancer
 
MABE 2014-2017 RBE
MABE 2014-2017 RBEMABE 2014-2017 RBE
MABE 2014-2017 RBE
 
13º Torneio de Natal Salesianos / Moche 2013 - Resultados
13º Torneio de Natal Salesianos / Moche 2013 - Resultados13º Torneio de Natal Salesianos / Moche 2013 - Resultados
13º Torneio de Natal Salesianos / Moche 2013 - Resultados
 
Coolhunting cool examples-final
Coolhunting   cool examples-finalCoolhunting   cool examples-final
Coolhunting cool examples-final
 
Septima secundaria
Septima secundariaSeptima secundaria
Septima secundaria
 
Presentación 2014 profe gabriel
Presentación 2014 profe gabrielPresentación 2014 profe gabriel
Presentación 2014 profe gabriel
 
Pai 2 - matemática auto instrutivo - professor
Pai   2 - matemática auto instrutivo - professorPai   2 - matemática auto instrutivo - professor
Pai 2 - matemática auto instrutivo - professor
 
Gestão do Conhecimento para Unidades de Informação
Gestão do Conhecimento para Unidades de InformaçãoGestão do Conhecimento para Unidades de Informação
Gestão do Conhecimento para Unidades de Informação
 
Ana nery detergentes, sabões e xampus
Ana nery   detergentes, sabões e xampusAna nery   detergentes, sabões e xampus
Ana nery detergentes, sabões e xampus
 
Direito eleitoral e propagandas políticas na web
Direito eleitoral e propagandas políticas na webDireito eleitoral e propagandas políticas na web
Direito eleitoral e propagandas políticas na web
 
2. Espacio
2. Espacio2. Espacio
2. Espacio
 

Semelhante a Automatizando mudanças na engenharia dirigida a modelos

Proposta de uma Abordagem Formal para o Gerenciamento de Variabilidades em Mo...
Proposta de uma Abordagem Formal para o Gerenciamento de Variabilidades em Mo...Proposta de uma Abordagem Formal para o Gerenciamento de Variabilidades em Mo...
Proposta de uma Abordagem Formal para o Gerenciamento de Variabilidades em Mo...Edson Oliveira Junior
 
TEES - MDA Apresentação Final
TEES - MDA Apresentação FinalTEES - MDA Apresentação Final
TEES - MDA Apresentação Finalguestc7f5eb
 
Saam & arquiteturas_iu_halan
Saam & arquiteturas_iu_halanSaam & arquiteturas_iu_halan
Saam & arquiteturas_iu_halanHalan Ridolphi
 
Palestra do FISL15: QtModeling: Metamodelagem e Model-Driven Software Enginee...
Palestra do FISL15: QtModeling: Metamodelagem e Model-Driven Software Enginee...Palestra do FISL15: QtModeling: Metamodelagem e Model-Driven Software Enginee...
Palestra do FISL15: QtModeling: Metamodelagem e Model-Driven Software Enginee...Sandro Andrade
 
Engenharia De Software
Engenharia De SoftwareEngenharia De Software
Engenharia De SoftwareCursoSENAC
 
Mda Apresentacao
Mda ApresentacaoMda Apresentacao
Mda Apresentacaoguestff06a
 
Análise e Projeto de Sistemas com UML e Java
Análise e Projeto de Sistemas com UML e JavaAnálise e Projeto de Sistemas com UML e Java
Análise e Projeto de Sistemas com UML e Javaarmeniocardoso
 
Treinamento ASP.NET 2014
Treinamento ASP.NET 2014Treinamento ASP.NET 2014
Treinamento ASP.NET 2014Eric Gallardo
 
Refactoring Databases
Refactoring DatabasesRefactoring Databases
Refactoring DatabasesIsmael
 
Implementing Product Line Variabilities
Implementing Product Line VariabilitiesImplementing Product Line Variabilities
Implementing Product Line VariabilitiesMichel Alves
 
Banco de Dados Ágeis e Refatoração
Banco de Dados Ágeis e RefatoraçãoBanco de Dados Ágeis e Refatoração
Banco de Dados Ágeis e Refatoraçãoelliando dias
 
Reutilização
ReutilizaçãoReutilização
Reutilizaçãoemjorge
 
Engenharia de-software-1217199594686494-9
Engenharia de-software-1217199594686494-9Engenharia de-software-1217199594686494-9
Engenharia de-software-1217199594686494-9wilsonguns
 
Aula 3 - Processos de Software.pdf
Aula 3 - Processos de Software.pdfAula 3 - Processos de Software.pdf
Aula 3 - Processos de Software.pdfFChico2
 
Validação de Transformações e Model-Driven Engineering (MDE)
Validação de Transformações e Model-Driven Engineering (MDE)Validação de Transformações e Model-Driven Engineering (MDE)
Validação de Transformações e Model-Driven Engineering (MDE)Alexandre Augusto Giron
 

Semelhante a Automatizando mudanças na engenharia dirigida a modelos (20)

Proposta de uma Abordagem Formal para o Gerenciamento de Variabilidades em Mo...
Proposta de uma Abordagem Formal para o Gerenciamento de Variabilidades em Mo...Proposta de uma Abordagem Formal para o Gerenciamento de Variabilidades em Mo...
Proposta de uma Abordagem Formal para o Gerenciamento de Variabilidades em Mo...
 
TEES - MDA Apresentação Final
TEES - MDA Apresentação FinalTEES - MDA Apresentação Final
TEES - MDA Apresentação Final
 
Saam & arquiteturas_iu_halan
Saam & arquiteturas_iu_halanSaam & arquiteturas_iu_halan
Saam & arquiteturas_iu_halan
 
Palestra do FISL15: QtModeling: Metamodelagem e Model-Driven Software Enginee...
Palestra do FISL15: QtModeling: Metamodelagem e Model-Driven Software Enginee...Palestra do FISL15: QtModeling: Metamodelagem e Model-Driven Software Enginee...
Palestra do FISL15: QtModeling: Metamodelagem e Model-Driven Software Enginee...
 
Engenharia De Software
Engenharia De SoftwareEngenharia De Software
Engenharia De Software
 
Mda Apresentacao
Mda ApresentacaoMda Apresentacao
Mda Apresentacao
 
Mvc - Semifinal
Mvc - SemifinalMvc - Semifinal
Mvc - Semifinal
 
Análise e Projeto de Sistemas com UML e Java
Análise e Projeto de Sistemas com UML e JavaAnálise e Projeto de Sistemas com UML e Java
Análise e Projeto de Sistemas com UML e Java
 
Treinamento ASP.NET 2014
Treinamento ASP.NET 2014Treinamento ASP.NET 2014
Treinamento ASP.NET 2014
 
Aula 05
Aula 05Aula 05
Aula 05
 
Refactoring Databases
Refactoring DatabasesRefactoring Databases
Refactoring Databases
 
Travalho versao final
Travalho versao finalTravalho versao final
Travalho versao final
 
Implementing Product Line Variabilities
Implementing Product Line VariabilitiesImplementing Product Line Variabilities
Implementing Product Line Variabilities
 
Banco de Dados Ágeis e Refatoração
Banco de Dados Ágeis e RefatoraçãoBanco de Dados Ágeis e Refatoração
Banco de Dados Ágeis e Refatoração
 
Programação de robo
Programação de roboProgramação de robo
Programação de robo
 
Arquitetura de sistemas web
Arquitetura de sistemas webArquitetura de sistemas web
Arquitetura de sistemas web
 
Reutilização
ReutilizaçãoReutilização
Reutilização
 
Engenharia de-software-1217199594686494-9
Engenharia de-software-1217199594686494-9Engenharia de-software-1217199594686494-9
Engenharia de-software-1217199594686494-9
 
Aula 3 - Processos de Software.pdf
Aula 3 - Processos de Software.pdfAula 3 - Processos de Software.pdf
Aula 3 - Processos de Software.pdf
 
Validação de Transformações e Model-Driven Engineering (MDE)
Validação de Transformações e Model-Driven Engineering (MDE)Validação de Transformações e Model-Driven Engineering (MDE)
Validação de Transformações e Model-Driven Engineering (MDE)
 

Último

Simulado 2 Etapa - 2024 Proximo Passo.pdf
Simulado 2 Etapa  - 2024 Proximo Passo.pdfSimulado 2 Etapa  - 2024 Proximo Passo.pdf
Simulado 2 Etapa - 2024 Proximo Passo.pdfEditoraEnovus
 
Governo Provisório Era Vargas 1930-1934 Brasil
Governo Provisório Era Vargas 1930-1934 BrasilGoverno Provisório Era Vargas 1930-1934 Brasil
Governo Provisório Era Vargas 1930-1934 Brasillucasp132400
 
Modelos de Desenvolvimento Motor - Gallahue, Newell e Tani
Modelos de Desenvolvimento Motor - Gallahue, Newell e TaniModelos de Desenvolvimento Motor - Gallahue, Newell e Tani
Modelos de Desenvolvimento Motor - Gallahue, Newell e TaniCassio Meira Jr.
 
trabalho wanda rocha ditadura
trabalho wanda rocha ditaduratrabalho wanda rocha ditadura
trabalho wanda rocha ditaduraAdryan Luiz
 
Programa de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasPrograma de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasCassio Meira Jr.
 
UFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfUFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfManuais Formação
 
Pedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxPedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxleandropereira983288
 
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumGÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumAugusto Costa
 
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresLilianPiola
 
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)Mary Alvarenga
 
Slides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSlides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSilvana Silva
 
Música Meu Abrigo - Texto e atividade
Música   Meu   Abrigo  -   Texto e atividadeMúsica   Meu   Abrigo  -   Texto e atividade
Música Meu Abrigo - Texto e atividadeMary Alvarenga
 
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxSlides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxLuizHenriquedeAlmeid6
 
Bullying - Texto e cruzadinha
Bullying        -     Texto e cruzadinhaBullying        -     Texto e cruzadinha
Bullying - Texto e cruzadinhaMary Alvarenga
 
A Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesA Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesMary Alvarenga
 
A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.silves15
 
Habilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasHabilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasCassio Meira Jr.
 
Simulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfSimulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfEditoraEnovus
 

Último (20)

Simulado 2 Etapa - 2024 Proximo Passo.pdf
Simulado 2 Etapa  - 2024 Proximo Passo.pdfSimulado 2 Etapa  - 2024 Proximo Passo.pdf
Simulado 2 Etapa - 2024 Proximo Passo.pdf
 
Governo Provisório Era Vargas 1930-1934 Brasil
Governo Provisório Era Vargas 1930-1934 BrasilGoverno Provisório Era Vargas 1930-1934 Brasil
Governo Provisório Era Vargas 1930-1934 Brasil
 
Modelos de Desenvolvimento Motor - Gallahue, Newell e Tani
Modelos de Desenvolvimento Motor - Gallahue, Newell e TaniModelos de Desenvolvimento Motor - Gallahue, Newell e Tani
Modelos de Desenvolvimento Motor - Gallahue, Newell e Tani
 
trabalho wanda rocha ditadura
trabalho wanda rocha ditaduratrabalho wanda rocha ditadura
trabalho wanda rocha ditadura
 
Bullying, sai pra lá
Bullying,  sai pra láBullying,  sai pra lá
Bullying, sai pra lá
 
Programa de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasPrograma de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades Motoras
 
UFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfUFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdf
 
Pedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptxPedologia- Geografia - Geologia - aula_01.pptx
Pedologia- Geografia - Geologia - aula_01.pptx
 
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumGÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
 
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
 
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
 
Slides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSlides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptx
 
Em tempo de Quaresma .
Em tempo de Quaresma                            .Em tempo de Quaresma                            .
Em tempo de Quaresma .
 
Música Meu Abrigo - Texto e atividade
Música   Meu   Abrigo  -   Texto e atividadeMúsica   Meu   Abrigo  -   Texto e atividade
Música Meu Abrigo - Texto e atividade
 
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxSlides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
 
Bullying - Texto e cruzadinha
Bullying        -     Texto e cruzadinhaBullying        -     Texto e cruzadinha
Bullying - Texto e cruzadinha
 
A Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesA Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das Mães
 
A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.
 
Habilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasHabilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e Específicas
 
Simulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfSimulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdf
 

Automatizando mudanças na engenharia dirigida a modelos

  • 1. Automatizando Mudanças na Evolução da Engenharia Dirigida a Modelos Rayane Meneses da Silva – meneses.matemática@gmail.com Raquel Machado de Sousa – rachel.msousanet@gmail.com DISCIPLINA: ENGENHARIA E DESENVOLVIMENTO DE SISTEMAS PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DA ELETRICIDADE UNIVERSIDADE FEDERAL DO MARANHÃO – UFMA
  • 2. INTRODUÇÃO  A complexidade crescente de modelos de software e do sistema é o que torna difícil explorar rapidamente os efeitos de uma decisão de projeto.  Surge a necessidade urgente de administrar a mudança da evolução complexa dentro do modelo de representação.  Ferramenta que simula cada nova configuração do projeto. ◦ Deve acomodar duas categorias de mudanças ◦ A primeira categoria inclui mudanças que cortam a hierarquia da representação do modelo. ◦ A segunda categoria envolve ampliação de partes do modelo de uma preocupação especial na concepção de, em tempo real, sistemas de larga escala distribuídos embutidos, que podem ter milhares de componentes de granularidade alta.  Ambas as categorias da mudança da evolução beneficiaria muito com a automação.
  • 3. C-SAW  Desenvolveu-se um mecanismo de transformação usado para manipular modelos chamado C- SAW (Aspect Weaver Constraint-Specification).  C-Saw é um plug-in para o Ambiente de Modelagem Genérico (GME) da Universidade de Vanderbilt. O GME é um conjunto de ferramentas configurável que apoia a criação de ambientes de modelagem específicas de domínio.
  • 4. TRANFORMAÇÃO DE MODELO AUTOMATIZADO  A ideia de transformação do modelo é permitir automação que irá remover complexidades de projeto acidentais no processo de modelagem.  A transformação do modelo pode assumir uma das duas abordagens: ◦ transformação de modelo para código ◦ de modelo para modelo
  • 5. LINGUAGEM DE TRANSFORMAÇÃO DE MODELOS  Existem várias ferramentas de modelagem, para apoiar a automatização de transformação do modelo.  É essencial que os engenheiros e desenvolvedores usem uma linguagem para especificar e executar as transformações desejadas de modelo.  Essa linguagem deve ter duas características principais: ◦ Deve ser focada em um determinado domínio ou contexto do usuário; ◦ Deve abordar tarefas específicas da evolução do modelo.
  • 6. LINGUAGEM DE TRANSFORMAÇÃO DE MODELOS  Para atender a esses requisitos a C-SAW usa a Linguagem de Restrição Incorporada (ECL) que uma extensão para a Linguagem de Restrição a Objeto (OCL).  ECL reflete conceitos do domínio de modelagem do usuário e permite que os engenheiros do modelo refinam o modelo de uma forma gradual. As construções de ECL que suportam cada transformação inclui: ◦ Um tipo de sistema; ◦ Um mecanismo de seleção de elemento; ◦ Um conjunto de operadores para manipular os modelos de origem
  • 7. LINGUAGEM DE TRANSFORMAÇÃO DE MODELOS  Tipo de sistema ◦ ECL fornece um sistema de tipo básico para descrever valores e objetos de modelo de transformação  Seleção de elemento ◦ ECL suporta consultas de modelo, proporcionando a escolha do operador, de um conjunto de operadores especiais para selecionar uma coleção de objetos do modelo, e um conjunto de operadores para encontrar um único objeto de modelo.  Operações de transformação ◦ ECL fornece um conjunto de operadores para mudar a estrutura do modelo.
  • 8. PROPRIEDADES TRANSVERSAIS DO PROJETO  Quando um interesse se espalha por um artefato, fica difícil de compreender e mudar um modelo de vários componentes.  Desenvolvimento de Software Orientado a Aspectos (AOSD) oferece técnicas para modularizar o interesse de corte transversal dos componentes do sistema.  Uma das motivações para o desenvolvimento de C-Saw foi a necessidade de especificar restrições que cortam o modelo de um sistema embarcado distribuído de tempo real.  Por exemplo, mudança de uma regra de interesse transversal em um subsistema com mais de 2000 mil componentes pode ser bastante dispendioso para a capacidade humana de localizar e modificar todos esses componentes.
  • 9. PROPRIEDADES TRANSVERSAIS DO PROJETO  Com a Linguagem de Restrição Embutida (ECL), os engenheiros de modelo definem um aspecto de modelagem para especificar a intenção de um interesse transversal.
  • 10. PROPRIEDADES TRANSVERSAIS DO PROJETO  C-Saw realiza cada estratégia num contexto de modelagem específica, que fornece o aspecto. O contexto pode ser um projeto inteiro, um modelo específico, átomo, ou conexão, ou uma coleção de elementos de modelagem reunidos.  Usando ECL, os engenheiros podem definir aspectos para quantificar os elementos de modelagem que deseja alterar e aplicar a estratégia de construção para executar a transformação desejada.
  • 11. MODELO DE ESCALABILIDADE AUTOMATIZADO  Apoio a escalabilidade dentro de ferramentas de modelagem é de extrema preocupação para projetistas de sistemas embarcados de tempo real distribuídos.  O problema de escalabilidade afeta o desempenho da atividade de modelagem, bem como a correção da representação do modelo.  Transformadores de modelos que servem como replicadores podem automatizar significamente uma tarefa manual.  Por exemplo, escalar um modelo de três sites e dois gateways por site para um modelo com oito sites e sete gateways por site, o engenheiro modelo teria que inserir mais de 120 novos elementos de modelagem e quase 150 conexões entre todos os novos elementos.
  • 13. MODELO DE ESCALABILIDADE AUTOMATIZADO  Utilizando estratégias reutilizáveis do C-Saw, o engenheiro de modelo pode explorar a flexibilidade do projeto, aplicando a transformação de vários sites.  É especificado um conjunto de transformações para escalar o número de sites mais externa.  Utilizando uma abordagem manual, o engenheiro deverá repetir a mesma tarefa desde o início.  Com o C-Saw, o engenheiro simplesmente entra com novos parâmetros para as estratégias.  O motor de transformação C-Saw foi aplicado em várias linguagens de modelagem no domínio do sistema em tempo real embarcados e distribuídos para modularizar propriedades transversais e replicar elementos de um modelo de núcleo.  C-Saw é apenas uma das muitas abordagens de transformação de modelos, que diferem amplamente na sua aplicação e resultados.
  • 14. REFERÊNCIAS  Jeff Gray, Yuehua Lin, and Jing Zhang, IEEE Computer, Special Issue on Model-Driven Engineering, vol. 39, no. 2, February 2006, pp. 51- 58.