Automatizando Mudanas na Evoluo da Engenharia Dirigida a Modelos

Rayane Meneses da Silva meneses.matemtica@gmail.com

Raquel Machado de Sousa rachel.msousanet@gmail.com

D I S C I P L I N A : E N G E N H A R I A E D E S E N V O LV I M E N T O D E S I S T E M A S PROGRAMA DE PS-GRADUAO EM ENGENHARIA DA ELETRICIDADE UNIVERSIDADE FEDERAL DO MARANHO UFMA

INTRODUO
A complexidade crescente de modelos de software e do sistema o que torna difcil explorar rapidamente os efeitos de uma deciso de projeto. Surge a necessidade urgente de administrar a mudana da evoluo complexa dentro do modelo de representao. Ferramenta que simula cada nova configurao do projeto.
Deve acomodar duas categorias de mudanas A primeira categoria inclui mudanas que cortam a hierarquia da representao do modelo. A segunda categoria envolve ampliao de partes do modelo de uma preocupao especial na concepo de, em tempo real, sistemas de larga escala distribudos embutidos, que podem ter milhares de componentes de granularidade alta.

Ambas as categorias da mudana da evoluo beneficiaria muito com a automao.

C-SAW
Desenvolveu-se um mecanismo de transformao usado para manipular modelos chamado CSAW (Aspect Weaver Constraint-Specification). C-Saw um plug-in para o Ambiente de Modelagem Genrico (GME) da Universidade de Vanderbilt.

O GME um conjunto de ferramentas configurvel que apoia a criao de ambientes de modelagem especficas de domnio.

TRANFORMAO DE MODELO AUTOMATIZADO

A ideia de transformao do modelo permitir automao que ir remover complexidades de projeto acidentais no processo de modelagem. A transformao do modelo pode assumir uma das duas abordagens:
transformao de modelo para cdigo de modelo para modelo

LINGUAGEM DE TRANSFORMAO DE MODELOS

Existem vrias ferramentas de modelagem, para apoiar a automatizao de transformao do modelo. essencial que os engenheiros e desenvolvedores usem uma linguagem para especificar e executar as transformaes desejadas de modelo.

Essa linguagem deve ter duas caractersticas principais:

Deve ser focada em um determinado domnio ou contexto do usurio; Deve abordar tarefas especficas da evoluo do modelo.

LINGUAGEM DE TRANSFORMAO DE MODELOS

Para atender a esses requisitos a C-SAW usa a Linguagem de Restrio Incorporada (ECL) que uma extenso para a Linguagem de Restrio a Objeto (OCL). ECL reflete conceitos do domnio de modelagem do usurio e permite que os engenheiros do modelo refinam o modelo de uma forma gradual.

As construes de ECL que suportam cada transformao inclui:

Um tipo de sistema; Um mecanismo de seleo de elemento; Um conjunto de operadores para manipular os modelos de origem

LINGUAGEM DE TRANSFORMAO DE MODELOS

Tipo de sistema
ECL fornece um sistema de tipo bsico para descrever valores e objetos de modelo de transformao

Seleo de elemento
ECL suporta consultas de modelo, proporcionando a escolha do operador, de um conjunto de operadores especiais para selecionar uma coleo de objetos do modelo, e um conjunto de operadores para encontrar um nico objeto de modelo.

Operaes de transformao
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 difcil de compreender e mudar um modelo de vrios componentes. Desenvolvimento de Software Orientado a Aspectos (AOSD) oferece tcnicas para modularizar o interesse de corte transversal dos componentes do sistema. Uma das motivaes para o desenvolvimento de C-Saw foi a necessidade de especificar restries que cortam o modelo de um sistema embarcado distribudo de tempo real. Por exemplo, mudana 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 Restrio Embutida (ECL), os engenheiros de modelo definem um aspecto de modelagem para especificar a inteno de um interesse transversal.

PROPRIEDADES TRANSVERSAIS DO PROJETO

C-Saw realiza cada estratgia num contexto de modelagem especfica, que fornece o aspecto. O contexto pode ser um projeto inteiro, um modelo especfico, tomo, ou conexo, ou uma coleo de elementos de modelagem reunidos.

Usando ECL, os engenheiros podem definir aspectos para quantificar os elementos de modelagem que deseja alterar e aplicar a estratgia de construo para executar a transformao desejada.

MODELO DE ESCALABILIDADE AUTOMATIZADO

Apoio a escalabilidade dentro de ferramentas de modelagem de extrema preocupao para projetistas de sistemas embarcados de tempo real distribudos. O problema de escalabilidade afeta o desempenho da atividade de modelagem, bem como a correo da representao do modelo. Transformadores de modelos que servem como replicadores podem automatizar significamente uma tarefa manual. Por exemplo, escalar um modelo de trs 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 conexes entre todos os novos elementos.

MODELO DE ESCALABILIDADE AUTOMATIZADO

MODELO DE ESCALABILIDADE AUTOMATIZADO

Utilizando estratgias reutilizveis do C-Saw, o engenheiro de modelo pode explorar a flexibilidade do projeto, aplicando a transformao de vrios sites. especificado um conjunto de transformaes para escalar o nmero de sites mais externa. Utilizando uma abordagem manual, o engenheiro dever repetir a mesma tarefa desde o incio. Com o C-Saw, o engenheiro simplesmente entra com novos parmetros para as estratgias. O motor de transformao C-Saw foi aplicado em vrias linguagens de modelagem no domnio do sistema em tempo real embarcados e distribudos para modularizar propriedades transversais e replicar elementos de um modelo de ncleo. C-Saw apenas uma das muitas abordagens de transformao de modelos, que diferem amplamente na sua aplicao e resultados.

REFERNCIAS
Jeff Gray, Yuehua Lin, and Jing Zhang, IEEE Computer, Special Issue on Model-Driven Engineering, vol. 39, no. 2, February 2006, pp. 51- 58.