FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z
| Ano de defesa: | 2011 |
|---|---|
| Autor(a) principal: |
MENDES, Carlos César Gomes
 |
| Orientador(a): |
ABDELOUAHAB, Zair
|
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal do Maranhão
|
| Programa de Pós-Graduação: |
PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DE ELETRICIDADE/CCET
|
| Departamento: |
Engenharia
|
| País: |
BR
|
| Palavras-chave em Português: | |
| Palavras-chave em Inglês: | |
| Área do conhecimento CNPq: | |
| Link de acesso: | http://tedebc.ufma.br:8080/jspui/handle/tede/481 |
Resumo: | In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model transformation process in the MDE context. The precision absence in these the models lead the user to misinterpret complex structures present in the mapping of the source model elements to the target model elements. In this context, we proposed to develop a formal methodology that eliminates the ambiguities and inconsistencies present in the informal representations of model transformation in MDE. To solve this problem, a Formal and Conceptual Framework is developed that groups the elements involved in the process of transformation, represented by mathematical artifacts from the Set Theory and specified on Z language. This Framework is validated through a case study that contains complex transformations, tested on the mathematical proof tool Z/EVES, which supports statements made in Z language. |
| id |
UFMA_b9be4c8d7dc7d01ebb2a85f03e037414 |
|---|---|
| oai_identifier_str |
oai:tede2:tede/481 |
| network_acronym_str |
UFMA |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da UFMA |
| repository_id_str |
|
| spelling |
ABDELOUAHAB, ZairCPF:61438154372http://lattes.cnpq.br/3277510464047127Lopes, Denivaldo Cícero PavãoCPF:61364371391http://lattes.cnpq.br/7611180871627212CPF:00715594346http://lattes.cnpq.br/6042462937499346MENDES, Carlos César Gomes2016-08-17T14:53:19Z2012-04-302011-07-29MENDES, Carlos César Gomes. FORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE Z. 2011. 136 f. Dissertação (Mestrado em Engenharia) - Universidade Federal do Maranhão, São Luís, 2011.http://tedebc.ufma.br:8080/jspui/handle/tede/481In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model transformation process in the MDE context. The precision absence in these the models lead the user to misinterpret complex structures present in the mapping of the source model elements to the target model elements. In this context, we proposed to develop a formal methodology that eliminates the ambiguities and inconsistencies present in the informal representations of model transformation in MDE. To solve this problem, a Formal and Conceptual Framework is developed that groups the elements involved in the process of transformation, represented by mathematical artifacts from the Set Theory and specified on Z language. This Framework is validated through a case study that contains complex transformations, tested on the mathematical proof tool Z/EVES, which supports statements made in Z language.Nesta dissertação, apresenta-se uma abordagem baseada na Teoria dos Conjuntos e na Linguagem de Especificação Formal Z para formalizar a Transformação entre Modelos dentro do contexto da Engenharia Dirigida a Modelos (MDE). A motivação desta pesquisa se deu devido a constatação de que a literatura sobre MDE tem apresentado ambiguidades e inconsistências nos modelos utilizados para abstrair o processo de transformação de modelos no contexto da MDE. Esta falta de precisão nestes tipos de modelos leva o usuário a interpretar de forma errada estruturas complexas presentes no mapeamento de elementos do modelo fonte para o modelo alvo. Sendo assim, propõe-se desenvolver uma metodologia formal que elimine as ambiguidades e inconsistências presentes nas representações informais da transformação de modelos da MDE. Para solucionar este problema, desenvolveu-se um Framework Conceitual Formal que agrupa os elementos envolvidos no processo de transformação, onde estes são representados através de artefatos matemáticos da Teoria dos Conjuntos e especificados em linguagem Z. Este Framework é validado através de um estudo de caso que contêm transformações, testadas na ferramenta de prova matemática Z/EVES, que suporta declarações feitas em linguagem Z.Made available in DSpace on 2016-08-17T14:53:19Z (GMT). No. of bitstreams: 1 dissertacao Carlos Cesar.pdf: 5267302 bytes, checksum: 26bac06a2f7777c938fb717c801f59cd (MD5) Previous issue date: 2011-07-29Coordenação de Aperfeiçoamento de Pessoal de Nível Superiorapplication/pdfporUniversidade Federal do MaranhãoPROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DE ELETRICIDADE/CCETUFMABREngenhariaEngenharia Dirigida a ModelosArquitetura Dirigida a ModelosMétodos FormaisTeoria dos ConjuntosLinguagem Formal ZZ/EVESModel Driven EngineeringModel Driven ArchitectureFormal MethodsSet TheoryZ Formal LanguageZ / EVESCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE SISTEMAS DE COMPUTACAOFORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM ZFORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFMAinstname:Universidade Federal do Maranhão (UFMA)instacron:UFMAORIGINALdissertacao Carlos Cesar.pdfapplication/pdf5267302http://tedebc.ufma.br:8080/bitstream/tede/481/1/dissertacao+Carlos+Cesar.pdf26bac06a2f7777c938fb717c801f59cdMD51tede/4812017-12-07 16:07:46.603oai:tede2:tede/481Biblioteca Digital de Teses e Dissertaçõeshttps://tedebc.ufma.br/jspui/PUBhttp://tedebc.ufma.br:8080/oai/requestrepositorio@ufma.br||repositorio@ufma.bropendoar:21312017-12-07T19:07:46Biblioteca Digital de Teses e Dissertações da UFMA - Universidade Federal do Maranhão (UFMA)false |
| dc.title.por.fl_str_mv |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z |
| dc.title.alternative.eng.fl_str_mv |
FORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE Z |
| title |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z |
| spellingShingle |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z MENDES, Carlos César Gomes Engenharia Dirigida a Modelos Arquitetura Dirigida a Modelos Métodos Formais Teoria dos Conjuntos Linguagem Formal Z Z/EVES Model Driven Engineering Model Driven Architecture Formal Methods Set Theory Z Formal Language Z / EVES CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE SISTEMAS DE COMPUTACAO |
| title_short |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z |
| title_full |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z |
| title_fullStr |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z |
| title_full_unstemmed |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z |
| title_sort |
FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z |
| author |
MENDES, Carlos César Gomes |
| author_facet |
MENDES, Carlos César Gomes |
| author_role |
author |
| dc.contributor.advisor1.fl_str_mv |
ABDELOUAHAB, Zair |
| dc.contributor.advisor1ID.fl_str_mv |
CPF:61438154372 |
| dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/3277510464047127 |
| dc.contributor.advisor-co1.fl_str_mv |
Lopes, Denivaldo Cícero Pavão |
| dc.contributor.advisor-co1ID.fl_str_mv |
CPF:61364371391 |
| dc.contributor.advisor-co1Lattes.fl_str_mv |
http://lattes.cnpq.br/7611180871627212 |
| dc.contributor.authorID.fl_str_mv |
CPF:00715594346 |
| dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/6042462937499346 |
| dc.contributor.author.fl_str_mv |
MENDES, Carlos César Gomes |
| contributor_str_mv |
ABDELOUAHAB, Zair Lopes, Denivaldo Cícero Pavão |
| dc.subject.por.fl_str_mv |
Engenharia Dirigida a Modelos Arquitetura Dirigida a Modelos Métodos Formais Teoria dos Conjuntos Linguagem Formal Z Z/EVES |
| topic |
Engenharia Dirigida a Modelos Arquitetura Dirigida a Modelos Métodos Formais Teoria dos Conjuntos Linguagem Formal Z Z/EVES Model Driven Engineering Model Driven Architecture Formal Methods Set Theory Z Formal Language Z / EVES CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE SISTEMAS DE COMPUTACAO |
| dc.subject.eng.fl_str_mv |
Model Driven Engineering Model Driven Architecture Formal Methods Set Theory Z Formal Language Z / EVES |
| dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO::ARQUITETURA DE SISTEMAS DE COMPUTACAO |
| description |
In this thesis, an approach based on Set Theory and on the Z Formal Language Specification is presented to formalize the transformations between models in the context of Model Driven Engineering (MDE). The motivation for this research is justified due the ambiguities and inconsistencies present in the models of transformation used to abstract the model transformation process in the MDE context. The precision absence in these the models lead the user to misinterpret complex structures present in the mapping of the source model elements to the target model elements. In this context, we proposed to develop a formal methodology that eliminates the ambiguities and inconsistencies present in the informal representations of model transformation in MDE. To solve this problem, a Formal and Conceptual Framework is developed that groups the elements involved in the process of transformation, represented by mathematical artifacts from the Set Theory and specified on Z language. This Framework is validated through a case study that contains complex transformations, tested on the mathematical proof tool Z/EVES, which supports statements made in Z language. |
| publishDate |
2011 |
| dc.date.issued.fl_str_mv |
2011-07-29 |
| dc.date.available.fl_str_mv |
2012-04-30 |
| dc.date.accessioned.fl_str_mv |
2016-08-17T14:53:19Z |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
| format |
masterThesis |
| status_str |
publishedVersion |
| dc.identifier.citation.fl_str_mv |
MENDES, Carlos César Gomes. FORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE Z. 2011. 136 f. Dissertação (Mestrado em Engenharia) - Universidade Federal do Maranhão, São Luís, 2011. |
| dc.identifier.uri.fl_str_mv |
http://tedebc.ufma.br:8080/jspui/handle/tede/481 |
| identifier_str_mv |
MENDES, Carlos César Gomes. FORMALISATION OF THE TRANSFORMATION OF MODEL USING THE LANGUAGE Z. 2011. 136 f. Dissertação (Mestrado em Engenharia) - Universidade Federal do Maranhão, São Luís, 2011. |
| url |
http://tedebc.ufma.br:8080/jspui/handle/tede/481 |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Universidade Federal do Maranhão |
| dc.publisher.program.fl_str_mv |
PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DE ELETRICIDADE/CCET |
| dc.publisher.initials.fl_str_mv |
UFMA |
| dc.publisher.country.fl_str_mv |
BR |
| dc.publisher.department.fl_str_mv |
Engenharia |
| publisher.none.fl_str_mv |
Universidade Federal do Maranhão |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFMA instname:Universidade Federal do Maranhão (UFMA) instacron:UFMA |
| instname_str |
Universidade Federal do Maranhão (UFMA) |
| instacron_str |
UFMA |
| institution |
UFMA |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da UFMA |
| collection |
Biblioteca Digital de Teses e Dissertações da UFMA |
| bitstream.url.fl_str_mv |
http://tedebc.ufma.br:8080/bitstream/tede/481/1/dissertacao+Carlos+Cesar.pdf |
| bitstream.checksum.fl_str_mv |
26bac06a2f7777c938fb717c801f59cd |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFMA - Universidade Federal do Maranhão (UFMA) |
| repository.mail.fl_str_mv |
repositorio@ufma.br||repositorio@ufma.br |
| _version_ |
1853507978473242624 |