Engenharia Dirigida por Modelos, ou Model Driven Engineering (MDE), é uma abordagem para desenvolvimento de software a partir de modelos. Código-fonte ou artefatos executáveis são gerados de forma automática, total ou parcialmente, a partir de transformações descritas por funções de mapeamento. Com isso, obtém-se as vantagens de desenvolver software em nível de abstração maior em relação às linguagens de programação tradicionais e da possibilidade de gerar implementações do mesmo sistema para diversas plataformas a partir do mesmo modelo. Uma das áreas de pesquisa da MDE é a formalização de teorias e conceitos relacionados a essa abordagem, tais como modelos, metamodelos, relação de conformidade, operações sobre metamodelos, etc. Embora existam na literatura propostas de formalização, observam-se lacunas e falta de consenso geral, o que leva autores a introduzir suas próprias definições quando desejam apresentar desenvolvimentos ou deduções, as quais nem sempre se encaixam entre si. Alguns autores consideram que, enquanto uma completa formalização de conceitos e relações da MDE não for estabelecida, seus potenciais podem não ser plenamente atingidos. A partir de estudos de proposições existentes na literatura, identificação de lacunas e necessidades, este trabalho apresenta uma proposta de arcabouço teórico para MDE, baseada nas teorias de conjuntos e linguagens, e em lógica de primeira ordem. Conceitos e operações relacionados à MDE são definidos sobre uma base comum e, a partir dela, algumas formulações originais são desenvolvidas, tais como a função de mesclagem de metamodelos e uma definição de modelos executáveis, que podem servir como base para a construção de motores de execução de modelos, consolidando e ampliando o conhecimento da área teórica da MDE. Do ponto de vista de aplicabilidade prática, a proposta é validada por meio de uma ferramenta de prova de conceito, criada também como parte desta pesquisa, e pela apresentação de exemplos de aplicações. / Model Driven Engineering (MDE) is a software development approach in which models are essential artifacts to build software systems. Source code or executable artifacts are automatically generated, completely or partially, by transformations described by mapping functions. Two main advantages can be obtained: software development in a higher level of abstraction than that of traditional programming languages and the possibility of generating implementations of the same system for multiple platforms from the same source model. One of the research fields of MDE is the formalization of theories and concepts related to this approach, such as models, metamodels, conformity relationship, operations over metamodels, etc. Although there are proposals of formalization in the literature, some gaps and a lack of general consensus can be identified, which leads some authors to introduce their own definitions when they want to present their work. These definitions not always fit to each other. Some authors claim that unless a complete formalization of MDE concepts and relations is given, the potentials of this approach may not be fully unfolded. Starting from studies on existing proposals, gaps and requirements, this work proposes a theoretical framework for MDE based on the set theory, language theory and first order logic. Concepts and operations related to MDE are defined over a common basis and some original formulations are developed, such as the metamodel merging function and definitions about executable models, which can be used as a foundation to build model execution engines, consolidating and expanding the theoretical field of MDE. From the applicability point of view, the proposal is validated by a proof-of-concept tool, created as part of this research, and by examples of applications.

Engenharia Dirigida por Modelos, ou Model Driven Engineering (MDE), é uma abordagem para desenvolvimento de software a partir de modelos. Código-fonte ou artefatos executáveis são gerados de forma automática, total ou parcialmente, a partir de transformações descritas por funções de mapeamento. Com isso, obtém-se as vantagens de desenvolver software em nível de abstração maior em relação às linguagens de programação tradicionais e da possibilidade de gerar implementações do mesmo sistema para diversas plataformas a partir do mesmo modelo. Uma das áreas de pesquisa da MDE é a formalização de teorias e conceitos relacionados a essa abordagem, tais como modelos, metamodelos, relação de conformidade, operações sobre metamodelos, etc. Embora existam na literatura propostas de formalização, observam-se lacunas e falta de consenso geral, o que leva autores a introduzir suas próprias definições quando desejam apresentar desenvolvimentos ou deduções, as quais nem sempre se encaixam entre si. Alguns autores consideram que, enquanto uma completa formalização de conceitos e relações da MDE não for estabelecida, seus potenciais podem não ser plenamente atingidos. A partir de estudos de proposições existentes na literatura, identificação de lacunas e necessidades, este trabalho apresenta uma proposta de arcabouço teórico para MDE, baseada nas teorias de conjuntos e linguagens, e em lógica de primeira ordem. Conceitos e operações relacionados à MDE são definidos sobre uma base comum e, a partir dela, algumas formulações originais são desenvolvidas, tais como a função de mesclagem de metamodelos e uma definição de modelos executáveis, que podem servir como base para a construção de motores de execução de modelos, consolidando e ampliando o conhecimento da área teórica da MDE. Do ponto de vista de aplicabilidade prática, a proposta é validada por meio de uma ferramenta de prova de conceito, criada também como parte desta pesquisa, e pela apresentação de exemplos de aplicações. / Model Driven Engineering (MDE) is a software development approach in which models are essential artifacts to build software systems. Source code or executable artifacts are automatically generated, completely or partially, by transformations described by mapping functions. Two main advantages can be obtained: software development in a higher level of abstraction than that of traditional programming languages and the possibility of generating implementations of the same system for multiple platforms from the same source model. One of the research fields of MDE is the formalization of theories and concepts related to this approach, such as models, metamodels, conformity relationship, operations over metamodels, etc. Although there are proposals of formalization in the literature, some gaps and a lack of general consensus can be identified, which leads some authors to introduce their own definitions when they want to present their work. These definitions not always fit to each other. Some authors claim that unless a complete formalization of MDE concepts and relations is given, the potentials of this approach may not be fully unfolded. Starting from studies on existing proposals, gaps and requirements, this work proposes a theoretical framework for MDE based on the set theory, language theory and first order logic. Concepts and operations related to MDE are defined over a common basis and some original formulations are developed, such as the metamodel merging function and definitions about executable models, which can be used as a foundation to build model execution engines, consolidating and expanding the theoretical field of MDE. From the applicability point of view, the proposal is validated by a proof-of-concept tool, created as part of this research, and by examples of applications.

Uma das principais responsabilidades da área de Engenharia de Requisitos é refinar requisitos em especificações. Em sistemas empresariais esse refinamento deve considerar o contexto empresarial no qual o sistema fará parte. Apesar de existirem algumas abordagens para refinar requisitos algumas delas até mesmo considerando o contexto empresarial essa tarefa é realizada manualmente. Baseado em conceitos de Engenharia Dirigida por Modelos, este trabalho propõe uma transformação semiautomática usando um modelo da empresa como modelo dos requisitos e um modelo de casos de uso como modelo das especificações. Para isso, considera-se que ao usar um modelo de empresa como origem dessa transformação é possível representar tanto os requisitos quanto os conhecimentos de domínio necessários para obter especificações através de uma transformação. Com isso, este trabalho apresenta os metamodelos de origem e de destino, um conjunto de regras de transformação e uma ferramenta que permite executar a transformação. Por fim, este trabalho também discute um experimento que foi executado para analisar alguns aspectos desta proposta. / One of the key responsibilities of Requirements Engineering is to refine requirements into specifications. For enterprise systems, this refinement must consider the enterprise context where the system will be deployed. Although there are some approaches for requirements refinement, some of them even considering the enterprise context, this task is executed manually. Based on Model-Driven Engineering concepts, this study proposes a semi-automatic transformation using an enterprise model as a requirements model and a use case model as a specifications model. For that, this work considers that using an enterprise model as a source it is possible to represent both the requirements and the domain knowledge that are necessary to obtain specifications through a transformation. Therefore, this study presents the source and target meta-models, a set of transformation rules, and a tool to support the transformation. Finally, this study also discusses an experiment executed to analyze some aspects of this proposal.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-27T14:21:14Z No. of bitstreams: 1 Ruy Guilherme.pdf: 4333694 bytes, checksum: dc411f45b9fe05154bdee07704d50d65 (MD5) / Made available in DSpace on 2017-04-27T14:21:14Z (GMT). No. of bitstreams: 1 Ruy Guilherme.pdf: 4333694 bytes, checksum: dc411f45b9fe05154bdee07704d50d65 (MD5) Previous issue date: 2017-01-23 / The recent emergence of Free-to-Play games, also known as Freemium games, has considerably changed the way games are made. The definition of monetization strategies is now part of the process of making games. Choosing which strategy to adopt among the various ones and understanding how they work could be an arduous task. When analysing the market, to realize that popular games use similar strategies is not difficult, which demonstrates that the reuse of strategies is common among developers. Although there are catalogs of popular monetization strategies used by Free-to-Play games in the literature, little attention has been given to formalize the description of those strategies, leaving openings for misunderstandings and making the reuse harder. For that reason, a meta-model of Free-to-Play games monetization that allows the representation of Free-toPlay games monetization strategies based on a set of popular strategies is proposed. That meta-model, called Meta-F2P, was elaborated from the investigation of the most rentable Free-to-Play games for mobile devices. Besides that, case studies were used to validate and refine the accuracy, expressiveness and extensibility of that meta-model. Based on the results obtained, the applicability of the meta-model in the process of making games and the advantages and disadvantages of the use of case studies in the concept of meta-models are analyzed. / A recente ascensão dos jogos Free-to-Play, também conhecidos como Freemium, provocou mudanças consideráveis na forma como os jogos são produzidos. A elaboração de estratégias de monetização passou a fazer parte do processo de desenvolvimento. Escolher qual estratégias adotar dentre as diversas existentes e entender o seu funcionamento pode tornar esta uma tarefa árdua. Ao se analisar o mercado não é difícil perceber que os jogos mais rentáveis abordam estratégias de monetização similares, demonstrando que reuso de estratégias é uma abordagem adotada por diversos desenvolvedores. Embora existam na literatura catálogos de estratégias de monetização populares em jogos Free-to-Play, pouca atenção tem sido dada no intuito de formalizar a descrição das estratégias, dando margem para interpretações errôneas e dificultando o reuso. Assim propõe-se um meta-modelo que permite representar as estratégias de monetização de jogos Free-to-Play a partir de um conjunto de estratégias populares. O meta-modelo denominado Meta-F2P foi elaborado a partir da análise de jogos Free-to-Play para dispositivos móveis mais rentáveis. Além disso, utilizou-se estudos de caso para a validação e o refinamento da exatidão, expressividade e extensibilidade do meta-modelo. A partir dos resultados obtidos analisa-se a aplicabilidade do meta-modelo no processo de design de jogos e as vantagens e desvantagens da aplicação de estudos de caso na elaboração de meta-modelos.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-07-26T13:52:12Z No. of bitstreams: 1 Debora Stefanello.pdf: 4211863 bytes, checksum: 01fdbcf038800472fbd854b22bc2e341 (MD5) / Made available in DSpace on 2017-07-26T13:52:12Z (GMT). No. of bitstreams: 1 Debora Stefanello.pdf: 4211863 bytes, checksum: 01fdbcf038800472fbd854b22bc2e341 (MD5) Previous issue date: 2017-01-25 / CAPES / In recent years, some research has taken into account problems related to the development of software systems, especially those that make use of context, i.e. context-aware systems. In this dissertation the complexity of context-aware system development is discussed. The proposed solution aims to provide support for the context-aware system development through a framework based on MDE and Weaving. On the one hand, MDE allows the use of models to manage complexity in software development, while the weaving technique supports the creation of interrelations between elements of different but complementary models. The weaving technique is used to create a weaving model that establishes interrelationships between the elements of a Platform Independent Model (PIM) and several Platform Description Model (PDMs). An implementation of the proposed framework and an illustrative example help to understand the proposal and its feasibility. A comparison between the proposed solution and the works found in the literature Done, showing the negative and positive points of the proposed solution. / Nos últimos anos, algumas pesquisas têm levado em conta as problemáticas relacionadas ao desenvolvimento de sistema de software, em especial, aqueles que fazem o uso de contexto, i.e. context-aware systems. Nesta dissertação de mestrado, abordase a complexidade no desenvolvimento de context-aware system. A solução proposta visa fornecer suporte para o desenvolvimento de context-aware system através de um framework baseado em MDE e Weaving. Por um lado, MDE permite a utilização de modelos para gerenciar a complexidade no desenvolvimento de sofware, enquanto a técnica de weaving suporta a criação de inter-relacionamentos entre elementos de modelos diferentes, mas complementares. A técnica de weaving é utilizada para criar um modelo de weaving que estabelece inter-relacionamentos entre os elementos de um PIM (Platform Independent Model) e de vários PDMs (Platform Description Model). Uma implementação do framework proposto e um exemplo ilustrativo ajudam a entender a proposta e mostram a sua viabilidade. Um comparativo entre a solução proposta e os trabalhos encontrados na literatura é feito, mostrando os pontos negativos e positivos da solução proposta.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-24T11:52:22Z No. of bitstreams: 1 Pablo.pdf: 5598718 bytes, checksum: cce40776950abfd027f223d50cfca06c (MD5) / Made available in DSpace on 2017-08-24T11:52:22Z (GMT). No. of bitstreams: 1 Pablo.pdf: 5598718 bytes, checksum: cce40776950abfd027f223d50cfca06c (MD5) Previous issue date: 2015-08-31 / CAPES,CNPQ,FAPEMA / The development and use of software based on cloud computing have been highlighted more and more nowadays. Software as a Service (SaaS) has been considered as a trend for small, medium and large companies, subtly acquiring presence in personal computing too. This service popularizing brings with it many challenges concerning to information security handled by their suppliers and the vulnerability of their applications. In this work, we propose a SaaS development framework by combining the Model-Driven Engineering (MDE) with merging techniques of domain-security models and domainapplication model. This approach involves the use of MDE techniques for achieving such adaptation and assist in the software development process. By adopting the MDE approach, it is possible to combine elements of different models, from source models reaching a target model by using weaving techniques. A prototype implements the proposed framework and reuses the Mapping Tool for Model Driven Engineering (MT4MDE) and Semi-Automatic Matching Tool for Model Driven Engineering (SAMT4MDE) in order to demonstrate the used methodology. The results demonstrate the feasibility and benefits of combining several security aspects in the development process of SaaS. / O desenvolvimento e a utilização de softwares baseados em computação em nuvem têm conquistado cada vez mais destaque na atualidade. A oferta de SaaS (Software as a Service) se mostra uma tendência não apenas para as grandes empresas, mas também para as pequenas e médias, adquirindo espaço também na computação pessoal de forma transparente. Esta relativa popularização do serviço traz consigo muitos desafios no que se refere à segurança da informação manipulada pelos seus fornecedores e a vulnerabilidade de suas respectivas aplicações. Neste trabalho, propomos um framework de desenvolvimento de SaaS, fazendo uso da Engenharia Dirigida por Modelos (MDE) aliada a técnicas de fusão de modelos do domínio de segurança a modelos do domínio da aplicação. Esta abordagem envolve a utilização de técnicas de MDE para se alcançar tal adaptação e auxiliar na condução do processo de desenvolvimento do software. Através da adoção da abordagem MDE é possível realizar a junção de elementos de modelos diferentes, a partir de modelos fonte alcançando-se um modelo alvo pela utilização de técnicas de weaving. Um protótipo implementa o framework proposto e reutiliza as ferramentas Mapping Tool for Model Driven Engineering (MT4MDE) e Semi-Automatic Matching Tool for Model Driven Engineering (SAMT4MDE) na demonstração da metodologia usada. Os resultados demonstram a viabilidade e os benefícios da combinação de vários aspectos de segurança no processo de desenvolvimento de um SaaS.

Uma das principais responsabilidades da área de Engenharia de Requisitos é refinar requisitos em especificações. Em sistemas empresariais esse refinamento deve considerar o contexto empresarial no qual o sistema fará parte. Apesar de existirem algumas abordagens para refinar requisitos algumas delas até mesmo considerando o contexto empresarial essa tarefa é realizada manualmente. Baseado em conceitos de Engenharia Dirigida por Modelos, este trabalho propõe uma transformação semiautomática usando um modelo da empresa como modelo dos requisitos e um modelo de casos de uso como modelo das especificações. Para isso, considera-se que ao usar um modelo de empresa como origem dessa transformação é possível representar tanto os requisitos quanto os conhecimentos de domínio necessários para obter especificações através de uma transformação. Com isso, este trabalho apresenta os metamodelos de origem e de destino, um conjunto de regras de transformação e uma ferramenta que permite executar a transformação. Por fim, este trabalho também discute um experimento que foi executado para analisar alguns aspectos desta proposta. / One of the key responsibilities of Requirements Engineering is to refine requirements into specifications. For enterprise systems, this refinement must consider the enterprise context where the system will be deployed. Although there are some approaches for requirements refinement, some of them even considering the enterprise context, this task is executed manually. Based on Model-Driven Engineering concepts, this study proposes a semi-automatic transformation using an enterprise model as a requirements model and a use case model as a specifications model. For that, this work considers that using an enterprise model as a source it is possible to represent both the requirements and the domain knowledge that are necessary to obtain specifications through a transformation. Therefore, this study presents the source and target meta-models, a set of transformation rules, and a tool to support the transformation. Finally, this study also discusses an experiment executed to analyze some aspects of this proposal.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-05-30T21:50:59Z No. of bitstreams: 1 MariliaAranhaFreire_TESE.pdf: 5649879 bytes, checksum: 2335924edd2ff84ad849308b4297dd7d (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-06-01T18:52:23Z (GMT) No. of bitstreams: 1 MariliaAranhaFreire_TESE.pdf: 5649879 bytes, checksum: 2335924edd2ff84ad849308b4297dd7d (MD5) / Made available in DSpace on 2016-06-01T18:52:23Z (GMT). No. of bitstreams: 1 MariliaAranhaFreire_TESE.pdf: 5649879 bytes, checksum: 2335924edd2ff84ad849308b4297dd7d (MD5) Previous issue date: 2015-03-05 / A condu??o de estudos emp?ricos ? de vital import?ncia para coletar evid?ncias cient?ficas sobre novas tecnologias de software. Neste sentido, nos ?ltimos anos centenas de experimentos controlados v?m sendo realizados na ?rea da engenharia de software. Um experimento controlado ? uma t?cnica que permite aos cientistas testarem uma hip?tese de pesquisa e a rela??o causa e efeito entre as vari?veis envolvidas no ambiente de estudo. Entretanto, o planejamento, execu??o, an?lise e empacotamento de um experimento controlado s?o considerados atividades complexas, custosas e propensas a erros. As poucas ferramentas existentes de apoio ao processo de experimenta??o auxiliam v?rias atividades envolvidas em um experimento mas possuem limita??es e grande necessidade de melhorias. Neste contexto, este trabalho prop?e : (i) investigar abordagens e ambientes existentes de apoio a formaliza??o e condu??o de experimentos controlados em ES identificando suas limita??es e benef?cios; (ii) propor uma linguagem espec?fica de dom?nio para a formaliza??o de experimentos controlados; e (iii) desenvolver uma abordagem dirigida por modelos que usa a formaliza??o de um experimento para gera??o de workflows customiz?veis de apoio ? condu??o de experimentos controlados. O trabalho ? avaliado atrav?s da condu??o de: (i) um estudo de viabilidade da abordagem dirigida por modelos atrav?s da modelagem de um experimento existente e gera??o de workflows customiz?veis a partir do seu projeto estat?stico; (ii) um estudo emp?rico de an?lise da expressividade e completude da linguagem espec?fica de dom?nio proposta atrav?s da modelagem de 16 experimentos; (iii) um experimento controlado que investiga ? compreens?o da linguagem pelos experimentadores; e (iv) um experimento controlado que investiga a usabilidade da linguagem atrav?s do seu uso direto na especifica??o de experimentos. Os resultados obtidos em tais estudos trazem evid?ncias que a abordagem proposta ? vi?vel, e que a linguagem tem um bom n?vel de expressividade e completude. Al?m disso, as an?lises mostram que a compreens?o do plano experimental escrito na linguagem proposta ? mais f?cil e mais r?pida que quando analisando a especifica??o de um plano experimental descrito em artigos cient?ficos. Por fim, a percep??o dos experimentadores foi positiva em rela??o ? utiliza??o da linguagem. / The conduction of empirical studies is very important to gather scientific evidences of new software technologies. Over the last years, a hundred of controlled experiments have been conducted in the software engineering area. A controlled experiment is a technique that allows researchers to test a research hypothesis and the causal effect analysis among the variables involved in the study environment. However, the planning, execution, analysis and packaging of a controlled experiment are considered work intensive, time consuming and error-prone activities. A few existing supporting tools can help the accomplishment of many of these activities but they still have many limitations and improvement needs. In this context, this thesis proposes: (i) to investigate existing approaches and environments to support the formalization and conduction of SE controlled experiments by identifying their limitations and benefits; (ii) to propose a domain-specific language (DSL) to formalize the specification of controlled experiments; and (iii) to develop a model-driven approach that can use the experiment specification in the DSL to generate customized workflows to support the execution of controlled experiments. This work is evaluated through the conduction of: (i) a feasibility study of the modeldriven approach through the modeling of a real experiment and the generation of workflows according to its experimental design; (ii) an empirical study that assesses the expressivity and completeness of the domain-specific language through the modeling of 16 existing experiments; (iii) a controlled experiment that investigates the DSL comprehensibility by the experimenters; and (iv) a controlled experiment that investigates the language usability through the specification of experiments. The studies results bring evidences of the approach feasibility, and the expressiveness and completeness of the DSL. In addition, our controlled experiments results show that: (i) the experimental plan comprehension when written in the proposed DSL is easier to understand and faster to specify when compared to the experiment specification described in scientific papers; and (ii) the experimenters? perception was positive when using the DSL.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-03-22T17:53:33Z No. of bitstreams: 2 Dissertação - Gustavo Cipriano Mota Sousa - 2012.pdf: 2362932 bytes, checksum: 554bee516fc979b416ec8ff1b253e521 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-23T14:15:40Z (GMT) No. of bitstreams: 2 Dissertação - Gustavo Cipriano Mota Sousa - 2012.pdf: 2362932 bytes, checksum: 554bee516fc979b416ec8ff1b253e521 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) / Made available in DSpace on 2016-03-23T14:15:40Z (GMT). No. of bitstreams: 2 Dissertação - Gustavo Cipriano Mota Sousa - 2012.pdf: 2362932 bytes, checksum: 554bee516fc979b416ec8ff1b253e521 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) Previous issue date: 2012-10-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The combination of domain-specific modeling languages and model-driven engineering techniques hold the promise of a breakthrough in the way applications are developed. By raising the level of abstraction and specializing in building blocks that are familiar in a particular domain, it has the potential to turn domain experts into application developers. Applications are developed as models, which in turn are interpreted at runtime by a specialized execution engine in order to produce the intended behavior. In this approach models are processed by domain-specific execution engines that embed knowledge about how to execute the models. This approach has been successfully applied in different domains, such as communication and smart grid management to execute applications described by models that can be created and changed at runtime. However, each time the approach has to be realized in a different domain, substantial re-implementation has to take place in order to put together an execution engine for the respective DSML. In this work, we present a generalization of the approach in the form of a metamodel that captures the domain-independent aspects of runtime model interpretation and allow the definition of a particular class of domain-specific execution engines which provide a highlevel service upon an underlying set of heterogenous set of resources. / Abordagens de engenharia de software dirigida por modelos propõem o uso de modelos como uma forma de lidar com a crescente complexidade das aplicações atuais. Por meio de linguagens de modelagem específicas de domínio, essas abordagens visam elevar o nível de abstração utilizado na engenharia de software, possibilitando que usuários que conheçam o domínio de negócio sejam capazes de construir aplicações. As aplicações são definidas como modelos que são então processados de forma automatizada por mecanismos capazes de executá-los. Essa abordagem tem sido aplicada em domínios como comunicação e redes elétricas inteligentes para possibilitar a construção de aplicações por meio de modelos que podem ser criados e modificados em tempo de execução. Nessa abordagem, modelos são processados por máquinas de execução específicas de domínio, que encapsulam o conhecimento necessário para executá-los. No entanto, a aplicação dessa mesma abordagem em outros domínios exige que novas máquinas de execução sejam implementadas por completo, o que exige um grande esforço de implementação. Neste trabalho, apresentamos uma abordagem dirigida por modelos para a construção dessas máquinas de execução de modelos. Essa abordagem propõe um metamodelo que captura os aspectos independentes de domínio de uma classe particular de máquinas de execução de modelos, os quais descrevem aplicações baseadas no provimento de serviços a partir de um conjunto heterogêneo de recursos. A partir do metamodelo proposto, podem ser construídos modelos que definem máquinas de execução para domínios específicos, as quais são capazes de executar modelos descritos na linguagem de modelagem específica do domínio em questão.

Made available in DSpace on 2016-08-17T14:52:42Z (GMT). No. of bitstreams: 1 Dissertacao-GersonLobatoRabelo.pdf: 4450245 bytes, checksum: 15830f76fa41def073930b74d39d40e2 (MD5) Previous issue date: 2015-08-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Cloud Computing is a computational paradigm which came with the idea of cloud-based services, resources and functionalities offered by enterprises to end users through service delivery models. The main models are Infrastructure as a Service (IaaS), Platform as a Service (PaaS), and Software as a Service (SaaS). Offered services and resources are commonly tested by testing and maintenance teams with the purpose of detecting and eliminating present failures. In relation to SaaS models, the most common test types used are functional, performance, scalability, component-based and tenant-based ones. However, tests like reliability, availability, usability and acceptance ones, more oriented to users, are less performed. In the field of Model Driven Engineering (MDE), the tests in SaaS, PaaS and IaaS models are performed through approaches like transformation of models and generation of test cases according to test types, allowing services and resources being tested with great quality and efficiency. This dissertation shows an approach based on Model Driven Engineering to support generation of availability, reliability, usability (after user uses the open-source SaaS model and answer a questionnaire about his/her profile and about the model) and acceptance test cases for SaaS models with open source code (Open Software as a Service Open SaaS). A framework and metamodels are proposed to this end, besides quantitatives metrics with the purpose of analize these criteria for the proposed Open SaaS model. / A Computação em Nuvem é um paradigma computacional que surgiu com a ideia de serviços, recursos e funcionalidades baseados em nuvem e que são ofertados por empresas para usuários finais através de modelos de entregas de serviços. Os modelos principais são Infrastructure as a Service (IaaS), Platform as a Service (PaaS) e Software as a Service (SaaS). Os serviços e recursos ofertados são constantemente testados pelas equipes de manutenção e teste com o objetivo de detectarem e eliminarem as falhas presentes. Em relação aos modelos SaaS, os tipos de teste mais usados são os funcionais, de performance, de escalabilidade, de componentes e os testes baseados nos inquilinos dos modelos SaaS. No entanto, testes como os de confiabilidade, de usabilidade, de disponibilidade e de aceitação, mais orientados ao cliente, são pouco realizados. No campo da Engenharia Dirigida por Modelos (Model Driven Engineering - MDE), os testes em modelos SaaS, PaaS e IaaS são feitos através de abordagens como a transformação de modelos e a geração de casos de teste de acordo com os tipos de teste, permitindo que os serviços e recursos sejam testados com maior qualidade e eficiência. Esta dissertação apresenta uma abordagem baseada em Engenharia Dirigida por Modelos para suportar a geração de casos de teste de disponibilidade, confiabilidade, usabilidade (após o usuário utilizar o modelo SaaS de código aberto e responder um questionário sobre seu perfil e sobre o modelo) e aceitação para modelos SaaS de código aberto (Open Software as a Service Open SaaS). Um framework e metamodelos são propostos para este fim, além de métricas quantitativas com o propósito de analisar estes critérios para o modelo Open SaaS proposto.