Uma abordagem de verificação e validação para sistemas de middleware específicos de domínio dirigidos a modelo

dc.contributor.advisor1Costa, Fábio Moreira
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/0925150626762308eng
dc.contributor.referee1Costa, Fábio Moreira
dc.contributor.referee2Coutinho, Luciano Reis
dc.contributor.referee3Graciano Neto, Valdemar Vicente
dc.creatorFortes, Marcelo Rodrigues
dc.creator.Latteshttp://lattes.cnpq.br/3225119028129131eng
dc.date.accessioned2018-11-13T11:10:09Z
dc.date.issued2018-10-01
dc.description.abstractMiddleware platforms aim to facilitate the construction of distributed applications, hiding the complexities and specificities inherent in the underlying platform. However, while middleware facilitates the construction of applications, its own construction is quite complex, requiring good knowledge in software design and implementation. In this sense, some approaches have been proposed, with the aim of presenting more flexible and configurable ways to build middleware, for example, reflective middleware, model-driven middleware and component-based middleware. Another example is the Model-Driven Domain-Specific Middleware (MD-DSM) approach, which employs Model-Driven Engineering concepts for building middleware platforms that support the execution of model-based applications. MD-DSM solves several problems related to building middleware for different domains. However, the entire process of verifying and validating the final MDDSM product is performed in an ad hoc way, without a methodology that guides the middleware engineer during these activities, possibly compromising the quality of the final product. In this work, we present a verification and validation (V&V) methodology that systematizes the entire quality assurance activities of this category of middleware. In addition, we present a tool that automates much of the V&V activities that need to be performed to ensure the quality of a middleware system built using MD-DSM. We also present a quantitative evaluation of the V&V tool.eng
dc.description.provenanceSubmitted by Luciana Ferreira (lucgeral@gmail.com) on 2018-11-13T10:55:28Z No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)eng
dc.description.provenanceApproved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-11-13T11:10:09Z (GMT) No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)eng
dc.description.provenanceMade available in DSpace on 2018-11-13T11:10:09Z (GMT). No. of bitstreams: 2 Dissertação - Marcelo Rodrigues Fortes - 2018.pdf: 2838097 bytes, checksum: d4a5cf0a63ac4bf2c855f5bbaf4d5b65 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-10-01eng
dc.description.resumoSistemas de middleware têm como objetivo facilitar a construção de aplicações distribuídas, ocultando as complexidades e especificidades inerentes à plataforma subjacente. Entretanto, embora o middleware facilite a construção de aplicações, sua própria construção é bastante complexa, exigindo um bom conhecimento em design e implementação de software. Nesse sentido, algumas abordagens têm sido propostas, com o objetivo de apresentar formas mais flexíveis e configuráveis para construção de middleware, por exemplo, middleware reflexivo, middleware dirigido por modelos e middleware baseado em componentes. Outro exemplo é a abordagem denominada Model-Driven Domain-Specific Middleware (MD-DSM), que emprega conceitos de Engenharia Dirigida por Modelos para construção de plataformas de middleware que suportam a execução de aplicações também baseadas em modelos. MD-DSM resolve vários problemas relacionados à construção de middleware para diferentes domínios. No entanto, todo o processo de verificação e validação do produto final MD-DSM é realizado de forma ad hoc, sem uma metodologia que guie o engenheiro de middleware durante essas atividades, reduzindo a qualidade do produto final. Neste trabalho, apresentamos uma metodologia de verificação e validação (V&V) que sistematiza todo o processo de garantia de qualidade dessa categoria de middleware. Além disso, apresentamos uma ferramenta que automatiza grande parte das atividades de V&V para middleware baseado em MD-DSM. Também apresentamos uma avaliação quantitativa da ferramenta de V&V implementada.eng
dc.description.sponsorshipCoordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESeng
dc.formatapplication/pdf*
dc.identifier.citationFORTES, M. R. Uma abordagem de verificação e validação para sistemas de middleware específicos de domínio dirigidos a modelo. 2018. 88 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás, Goiânia, 2018.eng
dc.identifier.urihttp://repositorio.bc.ufg.br/tede/handle/tede/9062
dc.languageporeng
dc.publisherUniversidade Federal de Goiáseng
dc.publisher.countryBrasileng
dc.publisher.departmentInstituto de Informática - INF (RG)eng
dc.publisher.initialsUFGeng
dc.publisher.programPrograma de Pós-graduação em Ciência da Computação (INF)eng
dc.rightsAcesso Aberto
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectMiddlewarepor
dc.subjectVerificação e validaçãopor
dc.subjectEngenharia dirigida a modelospor
dc.subjectConsistênciapor
dc.subjectGarantia de qualidadepor
dc.subjectMiddlewareeng
dc.subjectVerification and validationeng
dc.subjectModel-driven engineeringeng
dc.subjectConsistencyeng
dc.subjectQuality assuranceeng
dc.subject.cnpqCIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOeng
dc.titleUma abordagem de verificação e validação para sistemas de middleware específicos de domínio dirigidos a modeloeng
dc.typeDissertaçãoeng

Arquivos

Pacote Original
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
Dissertação - Marcelo Rodrigues Fortes - 2018.pdf
Tamanho:
2.71 MB
Formato:
Adobe Portable Document Format
Descrição:
Licença do Pacote
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
license.txt
Tamanho:
2.11 KB
Formato:
Item-specific license agreed upon to submission
Descrição: