Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-31T17:53:13Z No. of bitstreams: 1 gabriellacastrobarbosacosta.pdf: 2243060 bytes, checksum: 0aef87199975808e0973490875ce39b5 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-01T11:50:00Z (GMT) No. of bitstreams: 1 gabriellacastrobarbosacosta.pdf: 2243060 bytes, checksum: 0aef87199975808e0973490875ce39b5 (MD5) / Made available in DSpace on 2017-06-01T11:50:00Z (GMT). No. of bitstreams: 1 gabriellacastrobarbosacosta.pdf: 2243060 bytes, checksum: 0aef87199975808e0973490875ce39b5 (MD5) Previous issue date: 2013-02-27 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Uma forma de aprimorar a reutilização e a manutenção de uma família de produtos de software é através da utilização de uma abordagem de Linha de Produtos de Software (LPS). Em algumas situações, tais como aplicações científicas para uma determinada área, é vantajoso desenvolver uma coleção de produtos de software relacionados, utilizando uma abordagem de LPS. Linhas de Produtos de Software Científico (LPSC) diferem-se de Li nhas de Produtos de Software pelo fato de que LPSC fazem uso de um modelo abstrato de workflow científico. Esse modelo abstrato de workflow é definido de acordo com o domínio científico e, através deste workflow, os produtos da LPSC serão instanciados. Analisando as dificuldades em especificar experimentos científicos e considerando a necessidade de composição de aplicações científicas para a sua implementação, constata-se a necessidade de um suporte semântico mais adequado para a fase de análise de domínio. Para tanto, este trabalho propõe uma abordagem baseada na associação de modelo de features e onto logias, denominada PL-Science, para apoiar a especificação e a condução de experimentos científicos. A abordagem PL-Science, que considera o contexto de LPSC, visa auxiliar os cientistas através de um workflow que engloba as aplicações científicas de um dado experimento. Usando os conceitos de LPS, os cientistas podem reutilizar modelos que especificam a LPSC e tomar decisões de acordo com suas necessidades. Este trabalho enfatiza o uso de ontologias para facilitar o processo de aplicação de LPS em domínios científicos. Através do uso de ontologia como um modelo de domínio consegue-se fornecer informações adicionais, bem como adicionar mais semântica ao contexto de LPSC. / A way to improve reusability and maintainability of a family of software products is through the Software Product Line (SPL) approach. In some situations, such as scientific applications for a given area, it is advantageous to develop a collection of related software products, using an SPL approach. Scientific Software Product Lines (SSPL) differs from the Software Product Lines due to the fact that SSPL uses an abstract scientific workflow model. This workflow is defined according to the scientific domain and, using this abstract workflow model, the products will be instantiated. Analyzing the difficulties to specify scientific experiments, and considering the need for scientific applications composition for its implementation, an appropriated semantic support for the domain analysis phase is necessary. Therefore, this work proposes an approach based on the combination of feature models and ontologies, named PL-Science, to support the specification and conduction of scientific experiments. The PL-Science approach, which considers the context of SPL and aims to assist scientists to define a scientific experiment, specifying a workflow that encompasses scientific applications of a given experiment, is presented during this disser tation. Using SPL concepts, scientists can reuse models that specify the scientific product line and carefully make decisions according to their needs. This work also focuses on the use of ontologies to facilitate the process of applying Software Product Line to scientific domains. Through the use of ontology as a domain model, we can provide additional information as well as add more semantics in the context of Scientific Software Product Lines.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-07-25T11:45:46Z No. of bitstreams: 1 anrafelfernandespereira.pdf: 2313256 bytes, checksum: 6c0ecfc310a8132b96bf765825f34222 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-09T13:49:22Z (GMT) No. of bitstreams: 1 anrafelfernandespereira.pdf: 2313256 bytes, checksum: 6c0ecfc310a8132b96bf765825f34222 (MD5) / Made available in DSpace on 2017-08-09T13:49:22Z (GMT). No. of bitstreams: 1 anrafelfernandespereira.pdf: 2313256 bytes, checksum: 6c0ecfc310a8132b96bf765825f34222 (MD5) Previous issue date: 2014-07-11 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A necessidade de colaboração no domínio científico vem sendo discutida em alguns trabalhos. A sua relevância no contexto desta dissertação é justificada por problemas clássicos neste domínio, como a falta de apoio para a composição de workflows científicos, dificuldade para reutilização de aplicações científicas, dificuldade de cooperação e comunicação entre as equipes de cientistas geograficamente distribuídas, entre outros. Abordagens como Linha de Produtos de Software - LPS têm sido empregadas para apoiar os cientistas na concepção de workflows científicos. Entretanto muitas informações relevantes sobre estas aplicações são perdidas ou mesmo não fornecidas pelos cientistas. Esta dissertação apresenta uma abordagem denominada Collaborative PL-Science, a qual é uma extensão de uma abordagem denominada PL-Science. Na abordagem PL-Science os cientistas possuíam apenas os artefatos persistidos no núcleo da LPS como componentes de trabalho. Com isso, o cientista desenvolvia um workflow científico baseado apenas em seu conhecimento sobre o domínio. Nenhum histórico, ou "rationale", era gerado neste ambiente, ficando todo o conhecimento sobre as funcionalidades dos artefatos, as experiências do cientista e as tomadas de decisões por conta do usuário. Como proposta de solução para estes problemas, a Collaborative PL-Science utiliza elementos de colaboração, tais como informações de percepção, contexto e um mecanismo de suporte à comunicação, em uma Linha de Produtos de Software Científico - LPSC. Com isso, espera-se gerar oportunidades de interação entre os pesquisadores e contextualizá-los em sua atividade de concepção de workflows científicos. / The need for collaboration in the scientific field has been discussed in some papers. Its relevance in the context of this thesis is justified by classical problems in this area, such as lack of support for the composition of scientific workflows, difficult reuse to scientific applications, difficulty of cooperation and communication among geographically distributed teams of scientists, among others. Approaches to Software Product Line - SPL have been used to support scientists in the design of scientific workflows. However many relevant information about scientific applications are lost or even not provided by scientists. This paper presents an approach named Collaborative PL-Science, which is an extension of an approach called PL-Science. In the PL-Science approach scientists had only the artifacts persisted in the core of the SPL as components of work. No historical or "rationale" was generated in this environment. Therefore all the knowledge about the functionalities of the artifacts, the experiences of the scientist and the decisions made are attributed to the user. As a proposed solution to these problems, the Collaborative PL-Science uses collaboration elements, such as awareness and context information and a mechanism to support communication in a Scientific Software Product Line - SSPL. Thus, it is expected to generate opportunities for interaction between researchers and contextualize them in their activity of designing scientific workflows.

With the aim to identify the best practices for small and medium manufacture firms in local production systems (LPS) in their mutual proximity and access to knowledge that improves their innovation abilities (spillovers), the correlation of institutional, organizational, social and cognitive proximities is studied, as well as firm characteristics (production, innovation, experience) with its growth (production, employees, sales). Interviews are done to 53 footwear firms from two LPS (Jaú, São Paulo, Brazil and Cali, Valle, Colombia), classified in ten intersected subgroups (region, type of product, size) that correlate in Spearman coefficient matrixes (Rho). It concludes that proximity dimensions are not a direct vehicle to achieve growth results in firms, since only cognitive proximity evidences permanent correlations with all growth indexes, although this is only for specialized LPS (one type of product for one market). It is also found that the behaviour of firms is very varied, and correlations are differentiated whether it is a specialized or diverse sector, which moves discussion to differences in the results of production models. / Com o propósito de identificar as melhores práticas para pequenas e médias empresas de manufatura nos sistemas de produção local (SPL) em sua aproximação mútua, e ter acesso ao conhecimento que poderia favorecer as suas capacidades de inovação (derramas), é estudada a correlação das dimensões de proximidade cognitiva, social, organizacional e institucional e as características da empresa (produção, inovação, experiência) com o seu crescimento (produção, empregados, vendas). São entrevistadas 53 empresas de dois SPL calçadistas (Jaú, São Paulo, Brasil e Cali, Valle, Colômbia), classificadas em dez subconjuntos intersectados (região, tipo de produto, tamanho) que se correlacionam em matrizes de coeficiente de Spearman (Rho). Conclui-se que as dimensões de proximidade não são um veículo direto para alcançar resultados de crescimento nas empresas, dado que só a proximidade cognitiva evidência correlações com todos os indicadores de crescimento, mas apenas nos SPL de carácter especializado (um tipo de produto, para um mercado único). Além disso, verificou-se que o comportamento das empresas é diverso, e que as correlações se manifestam diferenciadas se o setor é especializado ou diverso, que muda a discussão para as diferenças nos resultados dos modelos de produção.

Made available in DSpace on 2016-06-02T19:05:51Z (GMT). No. of bitstreams: 1 3769.pdf: 7885518 bytes, checksum: 7723f0868651af930744610d4adb9ccb (MD5) Previous issue date: 2011-05-30 / Financiadora de Estudos e Projetos / Embedded systems have been used in a myriad of devices that are present in our daily lives, thereby the market for such sort of system has increased significantly over the last few years. These systems were once associated with low-level code, however, this is an outdated view of embedded systems technology. Although the current embedded systems are mostly composed of software, no systematic reuse technique is used in throughout their development. Thus, since previous successful experiences are not reused, forcing the developer to create some of the involved elements from the scratch, there is a considerable delay in the production of these systems. Due to the ever increasing complexity of embedded systems it is necessary to apply reuse techniques in order to lessen the effort needed to develop such systems. Within this context, software product lines (SPL) are reuse techniques that allow the creation of several systems belonging to a certain domain. SPL can be used to generate products of a specific domain that share common features but are each different in a specific way. Model-driven development is another reuse technique whose main objective is to reduce the semantic distance between the domain problem and its solution/implementation; thus, the developer does not need to direct interact with the solution source code, being able to focus on models and transforming those models in source code or yet other models. Based on these techniques, a process for the development of SPL in the domain of mobile robots was developed. In order to properly use the proposed process, a SPL called LegoMobileRobots Software Product Line (LMRSPL) was devised. Moreover, a domain specific language (DSL) was also developed. This DSL, called F2MoC, assists the application engineer in instantiating LMRSPL members. / Sistemas embarcados são utilizados em vários dispositivos que fazem parte da vida cotidiana, de modo que o mercado de tais sistemas tem crescido de maneira expressiva. Esses sistemas sempre foram associados com código de baixo nível, no entanto, essa visão está desatualizada. Nas aplicações embarcadas correntes o software é a principal parcela, embora nenhuma técnica sistemática de reuso seja utilizada para sua concepção. Desse modo ocorre um atraso considerável na produtividade dos sistemas, uma vez que experiências anteriores bem sucedidas não são reaproveitadas, sendo necessário que o desenvolvedor comece do zero toda vez que um software for desenvolvido. Com a crescente complexidade dos sistemas embarcados é necessário utilizar técnicas de reuso para diminuir o atrasado da produção de tais sistemas. Nesse contexto, Linha de Produtos de Software (LPS) é definida como uma técnica de reuso que permite a construção de vários sistemas pertencentes a um mesmo domínio. LPS é aplicável para a geração de produtos específicos de um domínio, mas que possuem um conjunto de características comuns e pontos de variabilidades bem definidos. O Desenvolvimento de Software Orientado a Modelos (do inglês Model-Driven Development - MDD) é outra técnica de reuso na qual tem como principal objetivo reduzir a distância semântica entre o problema do domínio e solução/implementação, fazendo com que o engenheiro não precise interagir diretamente como o código-fonte, podendo se concentrar em modelos que possuem maiores níveis de abstração e posteriormente realizar transformações Model-To-Code e/ou Model-To-Model. A partir dessas técnicas de reuso é introduzido um processo para o desenvolvimento de linhas de produtos de software no domínio de Robôs Moveis. A fim de utilizar o processo proposto foi desenvolvida uma LPS intitulada LegoRobosMoveis Linha de Produtos de Software (LRMLPS). Adicionalmente, foi desenvolvida uma linguagem especifica de domínio denominada F2MoC que auxilia o engenheiro de aplicação na instanciação automática de membros da LRMLPS.

Made available in DSpace on 2016-06-02T19:06:22Z (GMT). No. of bitstreams: 1 6616.pdf: 3224245 bytes, checksum: 3bea5c064e483543e0961a78c51613d2 (MD5) Previous issue date: 2014-10-20 / Software as a Service (SaaS) represent a form of software distribution on demand and accessible via the Internet. The development of SaaS enables service users (tenants) to benefit from the low cost of deployment and maintenance. The Multi-Tenant (MT) architecture is often used in the development of SaaS, it allows the sharing of software and hardware resources, providing cost savings to the costumers and the service provider. A challenge that the SaaS developer has is to keep sharing the instance of the software in scenarios with tenants who have differing needs. In this project, to address the variability of tenants in SaaS MT were set some patterns, based on Software Product Lines techniques for customizing user interfaces, data, processes and permissions. A framework called FoSaaS (Framework of Software as a Service) has also been developed to support the use of patterns, providing support to developers in SaaS MT coding. In addition to allowing the customization of SaaS MT, experiments in this project indicated that patterns improve reuse, quality and productivity in developed SaaS MT. The applicability of the patterns was evidenced through real projects in developing commercial applications. / Softwares como um Serviço (SaaS) representam uma forma de distribuição de software sob demanda e acessíveis via Internet. O desenvolvimento de SaaS possibilita aos consumidores do serviço (tenants) se beneficiarem do baixo custo de implantação e manutenção. A arquitetura Multi-Tenant (MT) é frequentemente utilizada no desenvolvimento de SaaS, pois permite o compartilhamento de recursos de software e hardware, proporcionando a redução de custos ao consumidor e ao fornecedor do serviço. Um desafio que o desenvolvedor de SaaS tem é o de manter o compartilhamento da instância do software em cenários com tenants que possuem necessidades divergentes. Neste projeto, para tratar a variabilidade dos tenants em SaaS MT foram criados alguns padrões, com base em técnicas de linhas de produtos de software, para customização de interfaces de usuários, dados, processos e permissões. Um framework denominado FoSaaS (Framework of Software as a Service) também foi desenvolvido para apoiar o uso dos padrões criados fornecendo apoio aos desenvolvedores na codificação de SaaS MT. Além de permitir a customização de SaaS MT, experimentos realizados neste projeto indicaram que os padrões melhoram o reúso, a qualidade e a produtividade dos SaaS MT desenvolvidos. A aplicabilidade dos padrões foi evidenciada por meio da realização de projetos reais no desenvolvimento de aplicações comerciais.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer adaptaÃÃes inconsistentes e, consequentemente, comprometer o comportamento esperado. Por esse motivo, à essencial a criaÃÃo de um processo de verificaÃÃo que consiga checar a corretude e a consistÃncia dessas LPSS, bem como checar a corretude tanto dos produtos derivados como dos produtos adaptados dessas LPSs. Sendo assim, nesta tese de doutorado à proposto o PRECISE - um Processo de VerificaÃÃo Formal para Modelos de CaracterÃsticas de AplicaÃÃes MÃveis e SensÃveis ao Contexto. O PRECISE auxilia na identificaÃÃo de defeitos na modelagem da variabilidade de uma LPS para aplicaÃÃes mÃveis e sensÃveis ao contexto e, assim, minimiza problemas que ocorreriam durante a execuÃÃo dos produtos gerados a partir dessa LPS. à importante ressaltar que o PRECISE à definido com base em uma especificaÃÃo formal e em um conjunto de propriedades de boa formaÃÃo elaborados usando LÃgica de Primeira Ordem. Essa especificaÃÃo à um prÃ-requisito para a realizaÃÃo de uma modelagem da variabilidade sem ambiguidades. Para avaliar o PRECISE, uma validaÃÃo à realizada a partir da especificaÃÃo formal e das propriedades de boa formaÃÃo definidas no processo. Essa validaÃÃo tem como objetivo mostrar que o PRECISE consegue identificar defeitos, anomalias e inconsistÃncias existentes em um modelo de variabilidades de uma LPS para aplicaÃÃes mÃveis e sensÃveis ao contexto. Nessa validaÃÃo, cinco tÃcnicas diferentes sÃo utilizadas: Perfil UML, OCL, LÃgica Proposicional, Prolog e SimulaÃÃo. AlÃm de minimizar os defeitos e inconsistÃncias dos modelos de variabilidades das LPSs, o PRECISE ainda se beneficia da generalidade e flexibilidade intrÃnsecas à notaÃÃo formal usada na sua especificaÃÃo. / SPLc have been used to develop different types of applications, including the ones that run on mobile devices and are able to adapt when the context elements in which they are located change. These applications can change due to variations in their execution environment and inconsistent adaptations can occur, compromising the expected behavior. Then there is a need for creating a verification process to check the correctness and consistency of these SPLs as well as to check the correctness of both derived products and adapted products from these SPLs. Thus, this work proposes PRECISE - A Formal Verification Process for Feature Models of Mobile and Context-Aware Applications. PRECISE helps to identify defects in the variability modeling of an SPL for mobile and context-aware applications, minimizing problems that can take place during the execution of products generated from this SPL. It is worth noting that PRECISE is defined based on a formal specification and a set of well-formedness properties developed using First-Order Logic, which are prerequisites for the achievement of an unambiguous variability modeling. To evaluate PRECISE, a validation is performed from the formal specification and well-formedness properties defined in the process. This validation intends to show that PRECISE is able to identify defects, anomalies and inconsistencies in a variability model of an SPL for mobile and context-aware applications. In this validation, five different techniques are used: UML Profile, OCL, Propositional Logic, Prolog and Simulation. While minimizing the defects and inconsistencies in the variability models of an SPL, PRECISE still benefits from the generality and flexibility intrinsic to the formal notation used in its specification.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / As Linhas de produtos de software sÃo uma forma de maximizar o reuso de software, dado que proveem a customizaÃÃo de software em massa. Recentemente, Linhas de produtos de software (LPSs) tÃm sido usadas para oferecer suporte ao desenvolvimento de aplicaÃÃes sensÃveis ao contexto nas quais adaptabilidade em tempo de execuÃÃo à um requisito importante. Neste caso, as LPSs sÃo denominadas Linhas de produtos de software sensÃveis ao contexto (LPSSCs). O sucesso de uma LPSSC depende, portanto, da modelagem de suas caracterÃsticas e do contexto que lhe à relevante. Neste trabalho, essa modelagem à feita usando o diagrama de caracterÃsticas e o diagrama de contexto. Entretanto, um processo manual para construÃÃo e configuraÃÃo desses modelos pode facilitar a inclusÃo de diversos erros, tais como duplicaÃÃo de caracterÃsticas, ciclos, caracterÃsticas mortas e falsos opcionais sendo, portanto, necessÃrio o uso de tÃcnicas de verificaÃÃo de consistÃncia. A verificaÃÃo de consistÃncia neste domÃnio de aplicaÃÃes assume um papel importante, pois as aplicaÃÃes usam contexto tanto para prover serviÃos como para auto-adaptaÃÃo caso seja necessÃrio. Neste sentido, as adaptaÃÃes disparadas por mudanÃas de contexto podem levar a aplicaÃÃo a um estado indesejado. AlÃm disso, a descoberta de que algumas adaptaÃÃes podem levar a estados indesejados sà pode ser atestada durante a execuÃÃo pois o erro à condicionado à configuraÃÃo atual do produto. Ao considerar que tais aplicaÃÃes estÃo sujeitas a um grande volume de mudanÃas contextuais, a verificaÃÃo manual torna-se impraticÃvel. Logo, à interessante que seja possÃvel realizar a verificaÃÃo da consistÃncia de forma automatizada de maneira que uma entidade computacional possa realizar essas operaÃÃes. Dado o pouco suporte automatizado oferecido a esses processos, o objetivo deste trabalho à propor a automatizaÃÃo completa desses processos com uma ferramenta, chamada FixTure (FixTure), para realizar a verificaÃÃo da construÃÃo dos modelos de caracterÃsticas para LPSSC e da configuraÃÃo de produtos a partir desses modelos. A ferramenta FixTure tambÃm provà uma simulaÃÃo de situaÃÃes de contexto no ciclo de vida de uma aplicaÃÃo de uma LPSSC, com o objetivo de identificar inconsistÃncias que ocorreriam em tempo de execuÃÃo. / Software product lines are a way to maximize software reuse once it provides mass software customization. Software product lines (SPLs) have been also used to support contextaware applicationâs development where adaptability at runtime is an important issue. In this case, SPLs are known as Context-aware software product lines. Context-aware software product line (CASPL) success depends on the modelling of their features and relevant context. However, a manual process to build and configure these models can add several errors such as replicated features, loops, and dead and false optional features. Because of this, there is a need of techniques to verify the model consistency. In the context-aware application domain, the consistency verification plays an important role, since application in this domain use context to both provide services and self-adaptation, when it is needed. In this sense, context-triggered adaptations may lead the application to undesired state. Moreover, in some cases, the statement that a contex-triggered adaptation is undesired only can be made at runtime, because the error is conditioned to the current product configuration. Additionally, applications in this domain are submitted to large volumes of contextual changes, which imply that manual verification is virtually not viable. So, it is interesting to do consistency verification in a automated way such that a computational entity may execute these operations. As there is few automated support for these proccesses, the objective of this work is to propose the complete automation of these proccesses with a software tool, called FixTure, that does consistency verification of feature diagrams during their development and product configuration. FixTure tool also supports contextual changes simulation during the lifecycle of a CASPL application in order to identify inconsistencies that can happen at runtime.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-02-25T17:40:15Z No. of bitstreams: 1 gevaschaeferpereiramartins.pdf: 2682934 bytes, checksum: 33ec1a1ae839b115cb034d5d0518f377 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-03-03T13:32:32Z (GMT) No. of bitstreams: 1 gevaschaeferpereiramartins.pdf: 2682934 bytes, checksum: 33ec1a1ae839b115cb034d5d0518f377 (MD5) / Made available in DSpace on 2016-03-03T13:32:32Z (GMT). No. of bitstreams: 1 gevaschaeferpereiramartins.pdf: 2682934 bytes, checksum: 33ec1a1ae839b115cb034d5d0518f377 (MD5) Previous issue date: 2014-09-03 / As vantagens da utilização de jogos com objetivos educacionais podem ser consideradas como um consenso entre professores e alunos. No entanto, jogos sérios constituem-se objetos multimídia complexos e caros de se produzir. A natureza multidisciplinar dos jogos educacionais pressupõe o envolvimento e coordenação de uma equipe especializada. Com o objetivo de auxiliar no desenvolvimento de jogos educacionais é proposto o modelo computacional BROAD-PLG. O modelo é composto por uma arquitetura de alto nível, modelagens de domínio baseadas em características que descrevem três diferentes tipos dos jogos educacionais, e uma ferramenta de engenharia de aplicação, que permite instanciação de um arcabouço pronto para ser utilizado no desenvolvimento desses tipos de jogos. A separação de interesses divide o domínio de jogos educacionais em conjuntos de características que englobam aspectos educacionais, mecânica de jogos e elementos de gamificação. Ao final do trabalho são construídos três exemplos distintos de aplicações demonstrando esses três aspectos. Avaliando-se os exemplos pode-se concluir que o BROAD-PLG, apesar de estar na versão inicial, demonstra grande potencial para ser utilizado como uma ferramenta tanto na forma de geração de aplicações, quanto como referência na modelagem de domínio do problema. / The advantages of using games for educational purposes can be considered as a consensus among teachers and students. However, serious games constitute complex and expensive to produce multimedia objects. The multidisciplinary nature of educational games requires the involvement and coordination of a specialized team. With the objective of assisting in the development of educational games is proposed the computational model BROAD-PLG. The model consists of a high-level architecture, domain modeling based on features that describe three different faces of educational games and application engineering tool that allows instantiation of a framework ready to be used in game development. The separation of concerns splits the domain of educational games into sets of features that include educational aspects of game mechanics and gamification elements. At the end of the work three different application examples are constructed demonstrating these three aspects. In reviewing the examples it can be concluded that the broad-PLG despites being in the initial stage shows great potential to be used as a tool in generating applications as reference in modeling the problem domain.