Um estudo sobre o uso do formalismo da rede de Petri em transformações de modelos baseados na arquitetura dirigida por modelos
A Arquitetura Dirigida por Modelos (Model-Driven Architecture MDA) (OMG, 2009) é uma abordagem onde o desenvolvimento de softwares está baseado em modelos, metamodelos e transformações de modelos. Dentro do contexto da MDA, (BARBOSA, 2011) entendem-se como modelos as representações da estrutura, e...
| Autor principal: | Stephany Castro da Silva |
|---|---|
| Grau: | Relatório de Pesquisa |
| Idioma: | pt_BR |
| Publicado em: |
Universidade Federal do Amazonas
2016
|
| Assuntos: | |
| Acesso em linha: |
http://riu.ufam.edu.br/handle/prefix/3194 |
| id |
oai:localhost:prefix-3194 |
|---|---|
| recordtype |
dspace |
| spelling |
oai:localhost:prefix-31942021-11-26T13:58:15Z Um estudo sobre o uso do formalismo da rede de Petri em transformações de modelos baseados na arquitetura dirigida por modelos Stephany Castro da Silva Christophe Saint-Christie de Lima Xavier MDA Modelos Transformações de modelos CIÊNCIAS EXATAS E DA TERRA: ENGENHARIA DE SOFTWARE A Arquitetura Dirigida por Modelos (Model-Driven Architecture MDA) (OMG, 2009) é uma abordagem onde o desenvolvimento de softwares está baseado em modelos, metamodelos e transformações de modelos. Dentro do contexto da MDA, (BARBOSA, 2011) entendem-se como modelos as representações da estrutura, e do comportamento de sistemas. Os metamodelos são modelos que descrevem a estrutura dos modelos. Definem a forma de entender os modelos e as linguagens para a construção das modelagens sem que ocorra ambiguidades. As transformações entre modelos são conjuntos de regras que descrevem como gerar um modelo de saída a partir de um ou vários modelos de entrada, usando para isso consultas aos metamodelos. A MDA foi desenvolvida pela OMG (Object Management Group) nas ideias presentes no cenário da Engenharia Dirigida Por Modelos (Model-Driven Engineering MDE), uma abordagem onde modelos é a base para a implementação e evolução dos softwares. As transformações de modelos possuem um papel chave dentro do processo MDA, (PELLEGRINI, 2010), permitem a criação de sistemas baseados em modelos independentes de plataforma (Plataform Independent Model - PIM), que através dessas transformações geram modelos para plataformas específicas (Plataform Specific Model PSM) e, assim a partir desses modelos geram códigos-fonte livres de erros. Para que as transformações entre modelos sejam expressas de uma forma simples e, que a execução automática do código aconteça, utiliza-se a linguagem padrão criada pela OMG chamada (Query View Transformation - QVT), (OMG, 2005). A sigla QVT vem de consulta, visão e transformação. Durante a consulta, o modelo é inserido na entrada e elementos específicos deles são extraídos. Na visão ocorre uma projeção de um metamodelo que gera modelos na linguagem de modelagem UML e nas transformações, o modelo inserido na entrada é atualizado, gerando um novo modelo. A construção de ferramentas capazes de gerar códigos automáticos utilizando as transformações entre modelos torna-se cada vez mais atrativa, por permitir a implementação de sistemas a partir de uma modelagem. Com isso, o encontro de soluções para possíveis erros acontecem de forma mais clara e concisa, o que não ocasiona excessos de informações no código-fonte final. Porém, apesar das transformações de modelos e, a própria MDA ser uma tendência dentro da área de desenvolvimento de software (BARBOSA, 2011), ainda assim não existe a formalização de alguns de seus processos, o que não permite a verificação formal dos modelos criados e acarreta vários tipos de questionamentos sobre a corretude dos códigos gerados durante as transformações de modelos. Nesse contexto, o uso de um método formal durante o processo de modelagem poderá ser uma solução para esses problemas que ocorrem dentro das transformações entre modelos. A linguagem formal conhecida como Rede de Petri é uma ferramenta gráfica que permite a modelagem de sistemas, e, a verificação formal dos modelos criados. FAPEAM 2016-09-23T15:25:40Z 2016-09-23T15:25:40Z 2013-07-31 Relatório de Pesquisa http://riu.ufam.edu.br/handle/prefix/3194 pt_BR Acesso Restrito PDF Universidade Federal do Amazonas Brasil Instituto de Ciências Exatas e Tecnologia - Itacoatiara PROGRAMA PIBIC 2012 UFAM |
| institution |
Repositório Institucional - Universidade Federal do Amazonas |
| collection |
RI-UFAM |
| language |
pt_BR |
| topic |
MDA Modelos Transformações de modelos CIÊNCIAS EXATAS E DA TERRA: ENGENHARIA DE SOFTWARE |
| spellingShingle |
MDA Modelos Transformações de modelos CIÊNCIAS EXATAS E DA TERRA: ENGENHARIA DE SOFTWARE Stephany Castro da Silva Um estudo sobre o uso do formalismo da rede de Petri em transformações de modelos baseados na arquitetura dirigida por modelos |
| topic_facet |
MDA Modelos Transformações de modelos CIÊNCIAS EXATAS E DA TERRA: ENGENHARIA DE SOFTWARE |
| description |
A Arquitetura Dirigida por Modelos (Model-Driven Architecture MDA) (OMG, 2009) é uma abordagem onde o desenvolvimento de softwares está baseado em modelos, metamodelos e transformações de modelos. Dentro do contexto da MDA, (BARBOSA, 2011) entendem-se como modelos as representações da estrutura, e do comportamento de sistemas. Os metamodelos são modelos que descrevem a estrutura dos modelos. Definem a forma de entender os modelos e as linguagens para a construção das modelagens sem que ocorra ambiguidades. As transformações entre modelos são conjuntos de regras que descrevem como gerar um modelo de saída a partir de um ou vários modelos de entrada, usando para isso consultas aos metamodelos.
A MDA foi desenvolvida pela OMG (Object Management Group) nas ideias presentes no cenário da Engenharia Dirigida Por Modelos (Model-Driven Engineering MDE), uma abordagem onde modelos é a base para a implementação e evolução dos softwares. As transformações de modelos possuem um papel chave dentro do processo MDA, (PELLEGRINI, 2010), permitem a criação de sistemas baseados em modelos independentes de plataforma (Plataform Independent Model - PIM), que através dessas transformações geram modelos para plataformas específicas (Plataform Specific Model PSM) e, assim a partir desses modelos geram códigos-fonte livres de erros. Para que as transformações entre modelos sejam expressas de uma forma simples e, que a execução automática do código aconteça, utiliza-se a linguagem padrão criada pela OMG chamada (Query View Transformation - QVT), (OMG, 2005). A sigla QVT vem de consulta, visão e transformação. Durante a consulta, o modelo é inserido na entrada e elementos específicos deles são extraídos. Na visão ocorre uma projeção de um metamodelo que gera modelos na linguagem de modelagem UML e nas transformações, o modelo inserido na entrada é atualizado, gerando um novo modelo.
A construção de ferramentas capazes de gerar códigos automáticos utilizando as transformações entre modelos torna-se cada vez mais atrativa, por permitir a implementação de sistemas a partir de uma modelagem. Com isso, o encontro de soluções para possíveis erros acontecem de forma mais clara e concisa, o que não ocasiona excessos de informações no código-fonte final. Porém, apesar das transformações de modelos e, a própria MDA ser uma tendência dentro da área de desenvolvimento de software (BARBOSA, 2011), ainda assim não existe a formalização de alguns de seus processos, o que não permite a verificação formal dos modelos criados e acarreta vários tipos de questionamentos sobre a corretude dos códigos gerados durante as transformações de modelos. Nesse contexto, o uso de um método formal durante o processo de modelagem poderá ser uma solução para esses problemas que ocorrem dentro das transformações entre modelos. A linguagem formal conhecida como Rede de Petri é uma ferramenta gráfica que permite a modelagem de sistemas, e, a verificação formal dos modelos criados. |
| author_additional |
Christophe Saint-Christie de Lima Xavier |
| author_additionalStr |
Christophe Saint-Christie de Lima Xavier |
| format |
Relatório de Pesquisa |
| author |
Stephany Castro da Silva |
| title |
Um estudo sobre o uso do formalismo da rede de Petri em transformações de modelos baseados na arquitetura dirigida por modelos |
| title_short |
Um estudo sobre o uso do formalismo da rede de Petri em transformações de modelos baseados na arquitetura dirigida por modelos |
| title_full |
Um estudo sobre o uso do formalismo da rede de Petri em transformações de modelos baseados na arquitetura dirigida por modelos |
| title_fullStr |
Um estudo sobre o uso do formalismo da rede de Petri em transformações de modelos baseados na arquitetura dirigida por modelos |
| title_full_unstemmed |
Um estudo sobre o uso do formalismo da rede de Petri em transformações de modelos baseados na arquitetura dirigida por modelos |
| title_sort |
um estudo sobre o uso do formalismo da rede de petri em transformações de modelos baseados na arquitetura dirigida por modelos |
| publisher |
Universidade Federal do Amazonas |
| publishDate |
2016 |
| url |
http://riu.ufam.edu.br/handle/prefix/3194 |
| _version_ |
1831969381047861248 |
| score |
11.755432 |