Made available in DSpace on 2016-06-02T19:05:53Z (GMT). No. of bitstreams: 1 3904.pdf: 4532803 bytes, checksum: c80f4984c56dad9f691df40c1f9c2758 (MD5) Previous issue date: 2011-10-03 / Universidade Federal de Sao Carlos / Due to the problems faced in Healthcare, this is heading towards a paradigm shift. This change suggests that the care is no longer focused exclusively on large hospitals and into the hands of specialized professionals. Thus, the goal is to distribute the Healthcare, making the patient play a key role in the process. Hence, the Pervasive Healthcare intends to provide the distribution of the model through the use of Information and Communication Technologies (ICT), enabling access to Healthcare anywhere and anytime. The creation of Pervasive Healthcare environments brings different challenges, which include the variety of devices to access information and the diversity of Hospital Information Systems (HIS) that may constitute such environment. In this context, the interoperability appears to be a fundamental requirement, since the information should be shared regardless of the existing heterogeneities. Aiming to provide this interoperability, different standards were set in order to facilitate the interaction between heterogeneous HISs. Some examples of these standards are the communication protocols developed by the Health Level Seven (HL7) committee, which are exclusive to the Healthcare domain. However, the standards set by the HL7 committee bring deficiencies to the clinical concepts representation and also has a relatively complex development process. An alternative to the knowledge representation in Healthcare is the use of archetypes, which are pieces of knowledge that show how to represent concepts or information of a given domain via computable expressions. Thus, this work presents an approach that integrates archetypes to HL7 v3 messages, for the communication of ubiquitous applications in Pervasive Healthcare. With the help of Model Driven Development, a process, which consists of activities designed to assist developers in adopting these standards, is defined. This approach makes use of modeling and partial code generation for simplifying and turning the development of the messages used in the environment more intuitive. The combination of these technologies enables an already established communication standard to improve its semantic quality, thus contributing to the achievement of the interoperability. / Devido aos problemas enfrentados no Cuidado de Saúde, este caminha para uma mudança de paradigma. Tal mudança propõe que o cuidado deixe de estar centrado exclusivamente nos grandes centros hospitalares e nas mãos de profissionais especializados. O objetivo então é tornar o Cuidado de Saúde distribuído, onde o próprio paciente desempenha um papel fundamental no processo. Nesse sentido, o Cuidado de Saúde Pervasivo visa habilitar esse modelo distribuído através do emprego de Tecnologias de Informação e Comunicação (TIC), permitindo o acesso ao Cuidado de Saúde de qualquer local e a qualquer momento. A construção de ambientes para o Cuidado de Saúde Pervasivo apresenta diferentes desafios, dentre os quais estão a diversidade de dispositivos de acesso às informações e a diversidade de Sistemas de Informação Hospitalar (SIH) que podem constituir tal ambiente. Nesse contexto, a interoperabilidade aparece como um requisito fundamental, já que as informações devem ser compartilhadas independentemente das heterogeneidades existentes. Visando prover essa interoperabilidade, diferentes padrões surgiram com o objetivo de facilitar a interação entre SIHs heterogêneos. Exemplos são os protocolos de comunicação desenvolvidos pelo comitê Health Level Seven (HL7), os quais são exclusivos do domínio Cuidado de Saúde. No entanto, os padrões desenvolvidos pelo comitê HL7 apresentam deficiências na representação dos conceitos clínicos, além de possuir um processo de desenvolvimento relativamente complexo. Uma alternativa para a representação do conhecimento no domínio Cuidado de Saúde é o uso de arquétipos, que são pedaços de conhecimento que indicam como representar conceitos ou informações de um dado domínio via expressões computáveis. Neste sentido, este trabalho apresenta uma abordagem, que integra arquétipos às mensagens HL7 v3, para a comunicação de aplicações ubíquas no Cuidado de Saúde Pervasivo. Com o auxílio do Desenvolvimento Dirigido a Modelos, é definido um processo composto por atividades que visam auxiliar os desenvolvedores na adoção desses padrões. Essa abordagem faz uso de modelagem e geração parcial de código para simplificar e tornar mais intuitivo o desenvolvimento das mensagens utilizadas no ambiente. A combinação dessas tecnologias permite que um padrão de comunicação já estabelecido tenha sua qualidade semântica aprimorada, contribuindo assim para o alcance da interoperabilidade. Devido aos problemas enfrentados no Cuidado de Saúde, este caminha para uma mudança de paradigma. Tal mudança propõe que o cuidado deixe de estar centrado exclusivamente nos grandes centros hospitalares e nas mãos de profissionais especializados. O objetivo então é tornar o Cuidado de Saúde distribuído, onde o próprio paciente desempenha um papel fundamental no processo. Nesse sentido, o Cuidado de Saúde Pervasivo visa habilitar esse modelo distribuído através do emprego de Tecnologias de Informação e Comunicação (TIC), permitindo o acesso ao Cuidado de Saúde de qualquer local e a qualquer momento. A construção de ambientes para o Cuidado de Saúde Pervasivo apresenta diferentes desafios, dentre os quais estão a diversidade de dispositivos de acesso às informações e a diversidade de Sistemas de Informação Hospitalar (SIH) que podem constituir tal ambiente. Nesse contexto, a interoperabilidade aparece como um requisito fundamental, já que as informações devem ser compartilhadas independentemente das heterogeneidades existentes. Visando prover essa interoperabilidade, diferentes padrões surgiram com o objetivo de facilitar a interação entre SIHs heterogêneos. Exemplos são os protocolos de comunicação desenvolvidos pelo comitê Health Level Seven (HL7), os quais são exclusivos do domínio Cuidado de Saúde. No entanto, os padrões desenvolvidos pelo comitê HL7 apresentam deficiências na representação dos conceitos clínicos, além de possuir um processo de desenvolvimento relativamente complexo. Uma alternativa para a representação do conhecimento no domínio Cuidado de Saúde é o uso de arquétipos, que são pedaços de conhecimento que indicam como representar conceitos ou informações de um dado domínio via expressões computáveis. Neste sentido, este trabalho apresenta uma abordagem, que integra arquétipos às mensagens HL7 v3, para a comunicação de aplicações ubíquas no Cuidado de Saúde Pervasivo. Com o auxílio do Desenvolvimento Dirigido a Modelos, é definido um processo composto por atividades que visam auxiliar os desenvolvedores na adoção desses padrões. Essa abordagem faz uso de modelagem e geração parcial de código para simplificar e tornar mais intuitivo o desenvolvimento das mensagens utilizadas no ambiente. A combinação dessas tecnologias permite que um padrão de comunicação já estabelecido tenha sua qualidade semântica aprimorada, contribuindo assim para o alcance da interoperabilidade.

The Model Driven Development (MDD) promotes the use of models to generate software solutions, in which models are the primary development artifact. In recent years, studies in software engineering area (ES) have been intensified and several solutions, definitions, methods and structures are being generated. However, this paradigm, as it is considered by some authors, has not been effectively used, as the ES covers various aspects, and not everyone is prepared for MDD. The Requirements Engineering (RE) is highlighted in this scenario, since it comprises the initial phase of the development process and the product generated must meet the requirements set out in that time. Once the code ceases to be the focus of development in the context of MDD, it is necessary to identify whether the requirements defined at the beginning of the project while under transformation remain faithful as well as the allocated elements to each requirement at all stages and possible impacts in case of change. In this context, it is important to introduce the concepts of traceability requirements in MDD. Thus, this work presents the R2MDD, a framework which aims to monitor and track requirements for the transformation of models to the generation of source code. The R2MDD seeks to identify impacts, ensure the consistency of requirements and other characteristics, as well as generate information management level, benefiting all stakeholders. An experimental study was conducted with the assistance of Qualitas model at the University Hospital of the Federal University of Sergipe (HU - UFS) to assess the R2MDD, highlighting its advantages and limitations. / O Model Driven Development (MDD) promove o uso de modelos na geração de soluções de software, na qual os modelos são o artefato principal do desenvolvimento. Nos últimos anos, estudos na área de Engenharia de Software (ES) tem sido intensificados e diversas soluções, definições, métodos e estruturas estão sendo geradas. Entretanto, esse paradigma, como é considerado por alguns autores, ainda não é utilizado de forma efetiva, visto que a ES abrange diversos aspectos e nem todos estão preparados para o MDD. A Engenharia de Requisitos (ER) ganha destaque nesse cenário, pois compreende a fase inicial do processo de desenvolvimento e o produto gerado deve atender aos requisitos definidos nesse momento. Uma vez que o código deixa de ser o foco do desenvolvimento no contexto de MDD, surge a necessidade de identificar se os requisitos definidos no início do projeto, ao serem transformados, mantém-se fieis, bem como identificar os elementos alocados a cada requisito em todas as fases e possíveis impactos em caso de alteração. Nesse contexto, torna-se importante introduzir os conceitos da rastreabilidade de requisitos em MDD. Dessa forma, este trabalho apresenta o R2MDD, um framework que visa monitorar e rastrear requisitos durante as transformações de modelos até a geração de código fonte. O R2MDD busca identificar impactos, garantir a consistência dos requisitos e demais características, bem como gerar informações a nível gerencial, que beneficiam todos os stakeholders. Um caso exemplo foi realizado com o auxílio do modelo Qualitas no Hospital Universitário da Universidade Federal de Sergipe (HU – UFS) a fim de avaliar o R2MDD, destacar suas vantagens e identificar suas limitações.

Requirements Engineering (ER) has an important role in Software Engineering for being an early stage of the software development process. ER serves as the basis for implementation of other activities, contributing decisively to the quality of the final software product. Requirements Elicitation process is among the main concerns of ER. It involves the recognition and description of customer needs, in such a way that it is possible to reflect the business accurately and consistent. Moreover, in general, most problems that occur during the process of software development are caused by failures in the early stages. In this context, emerging approaches such as Model-Driven Developement (MDD) and Business Process Modeling (MPN). Such approaches seek to understand and describe business processes and enable a closer look of the domain. As well, especially when backed by support tools, using approaches such as MDD and MPN can contribute to improving the quality of the requirements and the requirements Elicitation process. This work presents ModelER approach, which seeks to promote improvements in Requirements Elicitation process, through the use of concepts and practices of the MDD and the MPN for identifying software requirements. / A Engenharia de Requisitos (ER) possui um importante papel na Engenharia de Software pelo fato de compreender uma fase inicial do processo de desenvolvimento de software. Ela serve de base para a realização das demais atividades, contribuindo decisivamente para a qualidade do produto de software final. O processo de Elicitação de Requisitos está entre as principais preocupações da ER. Ele envolve o reconhecimento e a descrição das necessidades dos clientes, de tal forma que seja possível refletir o negócio de forma precisa e coerente. Além disso, de maneira geral, a maior parte dos problemas que ocorrem durante o processo de desenvolvimento de software é causada por falhas nas fases iniciais. Diante desse contexto, surgem abordagens tais como o Desenvolvimento Orientado por Modelos (Model-Driven Developement MDD) e a Modelagem de Processos de Negócio (Business Process Modeling MPN1). Tais abordagens tanto buscam compreender e descrever os processos de negócio, quanto permitem uma visão mais próxima do domínio. Assim, sobretudo quando apoiadas por ferramentas de suporte, o uso de abordagens como MDD e MPN pode contribuir para a melhoria da qualidade dos requisitos e do processo de Elicitação de Requisitos. Este trabalho apresenta a abordagem ModelER, a qual busca promover melhorias no processo de Elicitação de Requisitos, através da utilização de conceitos e práticas do MDD e da MPN para identificação de requisitos de software.

Made available in DSpace on 2014-07-29T14:57:53Z (GMT). No. of bitstreams: 1 wilane_mestrado.pdf: 4461079 bytes, checksum: da62fa9aebf506f095f41942a579aecc (MD5) Previous issue date: 2010-04-16 / Building and maintaining a Graphical User Interface (GUI) for Enterprise Information Systems usually requires much Software Engineering staff time and effort. This paper describes a model-driven approach to create dynamically and manage these GUIs. In this approach, the Software Engineer designs conceptual models of the information system using object-oriented meta-models. A set of predefined mapping rules is applied to automatically transform and refine the conceptual models in order to generate, in runtime, the look and feel of the GUI, without source code creation. This improves the software usability, assuring consistency and homogeneity of the GUI, increases the productivity of the software engineering staff and simplifies maintenance. In our experiments we have observed an average productivity fifteen times higher than traditional methods of GUI development. / Construir e manter uma Interface Gráfica com Usuário (GUI) para Sistemas de Informação (SI) demanda muito tempo e esforço da equipe de Engenharia de Software. Esta dissertação descreve uma abordagem dirigida por modelos para criar dinamicamente e gerenciar essas interfaces. Nessa abordagem, o Engenheiro de Software projeta um modelo conceitual do sistema de informação usando um meta-modelo orientado a objetos. Um conjunto de regras de mapeamento predefinidas é aplicado para refinar e transformar o modelo conceitual do SI, gerando, em tempo de execução, a sua interface gráfica, com aparência e comportamentos específicos. Esse mecanismo melhora a usabilidade do software, assegurando consistência e homogeneidade das GUIs, aumenta a produtividade da equipe de Engenharia de Software e simplifica a manutenção do SI. Nos experimentos realizados foi observada uma média de produtividade quinze vezes maior do que os métodos tradicionais no desenvolvimento de GUIs.

Made available in DSpace on 2016-08-17T14:53:02Z (GMT). No. of bitstreams: 1 Helaine_Cristina_Silva_Sousa.pdf: 2630560 bytes, checksum: fb46a7db2abe38334d4a7e684f39c287 (MD5) Previous issue date: 2009-05-14 / FUNDAÇÃO DE AMPARO À PESQUISA E AO DESENVOLVIMENTO CIENTIFICO E TECNOLÓGICO DO MARANHÃO / The emergence of model driven approaches provides a new alternative for managing the complexity involved in the creation of test cases, for enhancing the automation of software testing and for promoting the broad reuse of models developed during the analysis of requirements and design of software. In addition, it reduces the injection of errors and software development time. However, in the use of model driven approaches, possible errors can be injected during the manual creation of transformation rules applyied to develop a software system. In this dissertation, we propose metamodels for test, a methodology and a framework called Automatic Test Case based on Models (ATCM) in order to generate test cases to test the source code generated by an model driven approach. A prototype of the framework ATCM was developed, providing tools that minimize the injection of errors during the generation of test cases, making this task less dependent on people and less error-prone reducing the development time and providing high quality and efficiency of test cases. / O surgimento das Abordagens Dirigidas por Modelos fornece uma nova alternativa para o gerenciamento da complexidade do desenvolvimento de software, para criação de testes de software, para automação dos processos de testes e para fornecimento da ampla reutilização de modelos desenvolvidos durante a fase de análise dos requisitos e projeto de software, reduzindo a possível injeção de erros e o tempo de desenvolvimento do software. No entanto, com a utilização das Abordagens Dirigidas por Modelos, possíveis erros podem ser injetados na criação das regras de transformação para implementar um determinado sistema de software. Propõe-se neste trabalho metamodelos de testes, uma metodologia e um framework ATCM (Automatic Test Case based on Models) com a finalidade de gerar casos de teste a fim de testar o código-fonte gerado por uma Abordagem Dirigida por Modelos. Um protótipo do framework ATCM foi desenvolvido, fornecendo ferramentas que minimizam a injeção de erros durante a geração dos casos de teste, tornando esta tarefa menos dependente de pessoas e menos propensa a erros reduzindo o tempo de desenvolvimento e provendo maior qualidade e eficiência nos casos de teste gerados.

[ES] Entre los grandes desafíos actuales de las aplicaciones Web podemos citar la portabilidad, adaptabilidad y evolución. Estos desafíos se dan tanto en el ambiente en que operan así como en su desarrollo, ya que a menudo requieren de diferentes lenguajes, frameworks, herramientas, entornos, plataformas, etc. El Desarrollo Dirigido por Modelos (MDD) y en particular, la Arquitectura Dirigida por Modelos (MDA) contemplan estos desafíos proponiendo distintos niveles de abstracción para las diferentes fases de modelado, partiendo de modelos más orientados al problema, que no deberían contemplar aspectos de implementación (CIM, PIM), hasta llegar a los modelos más orientados a la solución planteada (PSM, ISM). Sin embargo, encarar adecuadamente este tema puede depender del grado de independencia que adquieren los modelos. Este trabajo de Tesis presenta un método que considera el problema de la evolución y portabilidad hacia diferentes entornos o arquitecturas en el diseño y desarrollo de aplicaciones Web. La propuesta se denomina MoWebA (del inglés, Model Oriented Web Approach). Durante el desarrollo de la tesis, hemos identificado una serie de aspectos que podrían tener un impacto positivo sobre los problemas de portabilidad y adaptabilidad que son: i) incorporación de un modelo específico de la arquitectura ASM (del inglés, Architecture Specific Model), que permita la portabilidad de los PIMs con respecto a la arquitectura (por ejemplo, RIA, SOA, Mobile); ii) clara separación de la capa de presentación con respecto a las capas navegacionales y de comportamiento; iii) definición de la estructura navegacional de acuerdo a un mecanismo orientado al comportamiento, que prevenga la modificación del diseño navegacional causada por cambios en la implementación; iv) uso de estándares para facilitar la independencia de las herramientas. Se ha llevado a cabo una revisión del estado de la literatura teniendo en cuenta los fundamentos de la Ingeniería Dirigida por Modelos MDE (Model Driven Engineering), las propuestas metodológicas para el desarrollo de Aplicaciones Web, las tendencias actuales, analizando en forma especial de qué manera las propuestas Web las contemplan, y las evidencias empíricas tanto en la academia como en la Industria. Presentamos así la propuesta MoWebA a partir de una serie de consideraciones sobre las aplicaciones Web que han sido identificadas durante el proceso de revisión del estado del arte. Posteriormente, detallamos cada una de las etapas del proceso de modelado, incluyendo los diagramas y notaciones propuestos, sus definiciones a través de sus metamodelos y ejemplos de uso. Seguidamente, presentamos el proceso de transformación adoptado por MoWebA, con los mecanismos de transformación Modelo-A-Modelo y Modelo-A-Código. Hemos dedicado un importante esfuerzo en la validación de la propuesta. Se realizó una primera validación, adoptando los modelos de MoWebA y en algunos casos generando aplicaciones para diferentes dominios. Con estas primeras experiencias de validación hemos podido identificar fortalezas y debilidades de la propuesta PIM de MoWebA, además de determinar en qué grado la misma cubre las necesidades de diferentes dominios. Como segunda experiencia, hemos realizado una validación preliminar con un grupo de estudiantes de último año de la carrera de Ingeniería Informática de la Universidad Católica "Nuestra Señora de la Asunción" (Paraguay), que consistió en la definición de ASM para tres arquitecturas diferentes. Finalmente, como tercera experiencia de validación, hemos llevado a cabo un Caso de Estudio que consistió en la definición de tres extensiones para MoWebA. Dicha validación fue desarrollada como parte de un proyecto de investigación liderado por la Universidad Católica "Nuestra Señora de la Asunción". La experiencia ha permitido analizar el grado de adaptabilidad de MoWebA y automatización en las transformacinoes PIM-ASM, así como el grado de independiencia del PIM. / [CA] Entre els grans desafiaments actuals de les aplicacions Web podem citar la portabilitat, adaptabilitat i evolució. El Desenvolupament Dirigit per Models (MDD) contemple aquests desafiaments proposant diferents nivells d'abstracció per a les diferents fases de modelatge. No obstant això, encarar adequadament aquest tema pot dependre del grau d'independència que adquireixen els models. Aquest treball de Tesi presenta un mètode que considera el problema de l'evolució i la portabilitat, en diferents entorns o arquitectures, per al disseny i desenvolupament d'aplicacions Web. La proposta s'anomena MoWebA (Model Oriented Web Approach). Durant el desenvolupament de la tesi hem identificat una sèrie d'aspectes que podrien tenir un impacte positiu sobre els problemes de portabilitat i adaptabilitat. Aquestos són: i) la incorporació d'un model específic d'arquitectura ASM (Architecture Specific Model), que permet la portabilitat dels models PIM respecte a l'arquitectura (per exemple, RIA, SOA, Mobile); ii) la clara separació de la capa de presentació respecte a les capes navegacionals i de comportament; iii) la definició de l'estructura navegacional d'acord amb un mecanisme orientat al comportament, que restringisca la modificació del disseny navegacional causada per canvis en la implementació; i per últim, iv) l'ús d'estàndards per tal de facilitar la independència de les eines. S'ha realitzat una revisió de l'estat de la literatura considerant els fonaments de l'Enginyeria Dirigida per Models MDE (Model Driven Engineering), les propostes metodològiques per al desenvolupament d'Aplicacions Web, les tendències actuals (analitzant de forma especial la manera en que les propostes Web les consideren), i les evidències empíriques tant en l'acadèmia com en la Indústria. Presentem així la proposta MoWebA a partir d'una sèrie de consideracions sobre les aplicacions Web que són identificades durant el procés de revisió de l'estat de l'art. Posteriorment, detallem cadascuna de les etapes del procés de modelatge, incloent els diagrames i les notacions proposades, les seues definicions (a través dels seus metamodels), i alguns exemples d'ús. Seguidament, presentem el procés de transformació adoptat per MoWebA, emprant mecanismes de transformació Model-a-Model i Model-a-Codi. Hem dedicat un esforç considerable en la validació de la proposta. Es realitzà una primera validació adoptant els models de MoWebA, i en alguns casos es generaren aplicacions per a diferents dominis. Aquestes experiències van ser realitzades per modeladors amb poca experiència, així com també per modeladors i desenvolupadors experimentats. Les experiències van ser desenvolupades en ambients tant acadèmics com industrials. Amb aquestes primeres experiències de validació s'identificaren fortaleses i febleses de la proposta PIM de MoWebA. També permeteren determinar fins quin grau la proposta respon a les necessitats dels diferents dominis. Com a segona experiència es realitzà una validació preliminar amb un grup d'estudiants d'últim curs de la carrera d'Enginyeria Informàtica de la Universitat Catòlica "Nuestra Señora de la Asunción" (Paraguai), que va consistir en la definició del model d'arquitectura ASM per a tres arquitectures diferents. Amb aquesta segona experiència de validació s'aconseguí valorar com de factible és d'adaptar la proposta a altres arquitectures. Finalment, com a tercera experiència de validació, es dugué a terme un Cas d'Estudi que va consistir en la definició de tres extensions per a MoWebA. L'experiència permeté analitzar el grau d'adaptabilitat i d'automatització en les transformacions PIM-ASM que s'obté amb MoWebA, així com el grau de independència del PIM amb respecte als altres models. Durant aquesta validació, s'han realitzat a més experiències de satisfacció d'usuaris amb un grup de modeladors i desenvolupadors. / [EN] Some of the major challenges facing Web applications today are those of portability, adaptability and evolution, not only in the environment in which they run, but also in the way in which they must be developed, often requiring different languages, frameworks, tools, environments, platforms, etc. MDD and MDA take into account these issues. However, to achieve portability, adaptability and evolution depends to some extent on the degree of independence that the models adopt. This Thesis presents a method that take into account the problem of evolution and portability towards different environments. The approach is called MoWebA (Model Oriented Web Approach). Some key aspects of MoWebA that could have a positive impact in the portability and adaptability are:i) incorporation of an Architecture Specific Model (ASM) as a new modeling layer, in order to keep the portability of the Platform Independent Model (PIM) regarding the different architectures (e.g., RIA, SOA, Mobile); ii) clear separation of the presentation layer with regard to the navigation and behavior layers; iii) definition of the navigational structure according to a function-oriented approach, which prevents the modification of the navigation design caused by implementation changes; iv) and use of standards in order to facilitate the independence from the tools. We justify MoWebA by highlighting a series of concerns for Web applications development. We present an overview of the method including the dimensions and the diagrams that we propose. Subsequently, we present each step in the modeling process, including the diagrams and notation, its definition (metamodels) and examples of use. Afterwards, we present the transformation process adopted by MoWebA, which includes model-to-model and model-to-code transformations. We have devoted special attention to the validation of the approach. As a first validation, MoWebA has been used for modelling and generating different types of applications by both novice and experienced modellers and developers. These experiences were done in academic and industrial contexts. The experiences have allowed to identify strengths and weaknesses of the PIM proposal, and to verify that the proposed notation covers the needs of different domains. Next, we present a preliminary validation of the ASM proposal, considering an experience of different ASM definitions made by a group of computer science students at the Catholic University "Nuestra Señora de la Asunción" (Paraguay). This preliminary validation has allowed us to determine how feasible is to adapt the proposal to other architectures. The analysis of the validation sought to answer the following questions: Can the same PIM model be used for different architectures?; Is it possible to specify clear limits between platform independent models (PIM) and architectural specific models (ASM)?; How does an architectural specific model facilitate the transformation rules definition?. Finally, we present a Case Study to validate the extensions of MoWebA to three different architectures. The experience was structured taking into account the framework of Runeson et al. This experience have allowed to carry out three complete extensions. In such extensions we could analysed the grade of adaptability of MoWebA and of automation PIM-ASM, as well as the grade of independence of the PIM metamodel. We have also conducted some user's satisfaction experiences with modelers and developers. / González Toñánez, M. (2022). A Navigational Role-Centric Model Oriented Web Approach MoWebA [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/181470 / TESIS

Structure learning of Bayesian Networks (BNs) is an NP-hard problem, and the use of sub-optimal strategies is essential in domains involving many variables. One of them is to generate multiple approximate structures and then to reduce the ensemble to a representative structure. It is possible to use the occurrence frequency (on the structures ensemble) as the criteria for accepting a dominant directed edge between two nodes and thus obtaining the single structure. In this doctoral research, it was made an analogy with an adapted one-dimensional random-walk for analytically deducing an appropriate decision threshold to such occurrence frequency. The obtained closed-form expression has been validated across benchmark datasets applying the Matthews Correlation Coefficient as the performance metric. In the experiments using a recent medical dataset, the BN resulting from the analytical cutoff-frequency captured the expected associations among nodes and also achieved better prediction performance than the BNs learned with neighbours thresholds to the computed. In literature, the feature accounted along of the perturbed structures has been the edges and not the directed edges (arcs) as in this thesis. That modified strategy still was applied to an elderly dataset to identify potential relationships between variables of medical interest but using an increased threshold instead of the predict by the proposed formula - such prudence is due to the possible social implications of the finding. The motivation behind such an application is that in spite of the proportion of elderly individuals in the population has increased substantially in the last few decades, the risk factors that should be managed in advance to ensure a natural process of mental decline due to ageing remain unknown. In the learned structural model, it was graphically investigated the probabilistic dependence mechanism between two variables of medical interest: the suspected risk factor known as Metabolic Syndrome and the indicator of mental decline referred to as Cognitive Impairment. In this investigation, the concept known in the context of BNs as D-separation has been employed. Results of the carried out study revealed that the dependence between Metabolic Syndrome and Cognitive Variables indeed exists and depends on both Body Mass Index and age. / O aprendizado da estrutura de uma Rede Bayesiana (BN) é um problema NP-difícil, e o uso de estratégias sub-ótimas é essencial em domínios que envolvem muitas variáveis. Uma delas consiste em gerar várias estruturas aproximadas e depois reduzir o conjunto a uma estrutura representativa. É possível usar a frequência de ocorrência (no conjunto de estruturas) como critério para aceitar um arco dominante entre dois nós e assim obter essa estrutura única. Nesta pesquisa de doutorado, foi feita uma analogia com um passeio aleatório unidimensional adaptado para deduzir analiticamente um limiar de decisão apropriado para essa frequência de ocorrência. A expressão de forma fechada obtida foi validada usando bases de dados de referência e aplicando o Coeficiente de Correlação de Matthews como métrica de desempenho. Nos experimentos utilizando dados médicos recentes, a BN resultante da frequência de corte analítica capturou as associações esperadas entre os nós e também obteve melhor desempenho de predição do que as BNs aprendidas com limiares vizinhos ao calculado. Na literatura, a característica contabilizada ao longo das estruturas perturbadas tem sido as arestas e não as arestas direcionadas (arcos) como nesta tese. Essa estratégia modificada ainda foi aplicada a um conjunto de dados de idosos para identificar potenciais relações entre variáveis de interesse médico, mas usando um limiar aumentado em vez do previsto pela fórmula proposta - essa cautela deve-se às possíveis implicações sociais do achado. A motivação por trás dessa aplicação é que, apesar da proporção de idosos na população ter aumentado substancialmente nas últimas décadas, os fatores de risco que devem ser controlados com antecedência para garantir um processo natural de declínio mental devido ao envelhecimento permanecem desconhecidos. No modelo estrutural aprendido, investigou-se graficamente o mecanismo de dependência probabilística entre duas variáveis de interesse médico: o fator de risco suspeito conhecido como Síndrome Metabólica e o indicador de declínio mental denominado Comprometimento Cognitivo. Nessa investigação, empregou-se o conceito conhecido no contexto de BNs como D-separação. Esse estudo revelou que a dependência entre Síndrome Metabólica e Variáveis Cognitivas de fato existe e depende tanto do Índice de Massa Corporal quanto da idade.

Structure learning of Bayesian Networks (BNs) is an NP-hard problem, and the use of sub-optimal strategies is essential in domains involving many variables. One of them is to generate multiple approximate structures and then to reduce the ensemble to a representative structure. It is possible to use the occurrence frequency (on the structures ensemble) as the criteria for accepting a dominant directed edge between two nodes and thus obtaining the single structure. In this doctoral research, it was made an analogy with an adapted one-dimensional random-walk for analytically deducing an appropriate decision threshold to such occurrence frequency. The obtained closed-form expression has been validated across benchmark datasets applying the Matthews Correlation Coefficient as the performance metric. In the experiments using a recent medical dataset, the BN resulting from the analytical cutoff-frequency captured the expected associations among nodes and also achieved better prediction performance than the BNs learned with neighbours thresholds to the computed. In literature, the feature accounted along of the perturbed structures has been the edges and not the directed edges (arcs) as in this thesis. That modified strategy still was applied to an elderly dataset to identify potential relationships between variables of medical interest but using an increased threshold instead of the predict by the proposed formula - such prudence is due to the possible social implications of the finding. The motivation behind such an application is that in spite of the proportion of elderly individuals in the population has increased substantially in the last few decades, the risk factors that should be managed in advance to ensure a natural process of mental decline due to ageing remain unknown. In the learned structural model, it was graphically investigated the probabilistic dependence mechanism between two variables of medical interest: the suspected risk factor known as Metabolic Syndrome and the indicator of mental decline referred to as Cognitive Impairment. In this investigation, the concept known in the context of BNs as D-separation has been employed. Results of the carried out study revealed that the dependence between Metabolic Syndrome and Cognitive Variables indeed exists and depends on both Body Mass Index and age. / O aprendizado da estrutura de uma Rede Bayesiana (BN) é um problema NP-difícil, e o uso de estratégias sub-ótimas é essencial em domínios que envolvem muitas variáveis. Uma delas consiste em gerar várias estruturas aproximadas e depois reduzir o conjunto a uma estrutura representativa. É possível usar a frequência de ocorrência (no conjunto de estruturas) como critério para aceitar um arco dominante entre dois nós e assim obter essa estrutura única. Nesta pesquisa de doutorado, foi feita uma analogia com um passeio aleatório unidimensional adaptado para deduzir analiticamente um limiar de decisão apropriado para essa frequência de ocorrência. A expressão de forma fechada obtida foi validada usando bases de dados de referência e aplicando o Coeficiente de Correlação de Matthews como métrica de desempenho. Nos experimentos utilizando dados médicos recentes, a BN resultante da frequência de corte analítica capturou as associações esperadas entre os nós e também obteve melhor desempenho de predição do que as BNs aprendidas com limiares vizinhos ao calculado. Na literatura, a característica contabilizada ao longo das estruturas perturbadas tem sido as arestas e não as arestas direcionadas (arcos) como nesta tese. Essa estratégia modificada ainda foi aplicada a um conjunto de dados de idosos para identificar potenciais relações entre variáveis de interesse médico, mas usando um limiar aumentado em vez do previsto pela fórmula proposta - essa cautela deve-se às possíveis implicações sociais do achado. A motivação por trás dessa aplicação é que, apesar da proporção de idosos na população ter aumentado substancialmente nas últimas décadas, os fatores de risco que devem ser controlados com antecedência para garantir um processo natural de declínio mental devido ao envelhecimento permanecem desconhecidos. No modelo estrutural aprendido, investigou-se graficamente o mecanismo de dependência probabilística entre duas variáveis de interesse médico: o fator de risco suspeito conhecido como Síndrome Metabólica e o indicador de declínio mental denominado Comprometimento Cognitivo. Nessa investigação, empregou-se o conceito conhecido no contexto de BNs como D-separação. Esse estudo revelou que a dependência entre Síndrome Metabólica e Variáveis Cognitivas de fato existe e depende tanto do Índice de Massa Corporal quanto da idade.

A fin de diseñar e implementar lenguajes de programación que tengan en cuenta el paradigma borroso modificaremos el lambda cálculo clásico, adjuntando a cada término un grado, y redefiniendo la beta-reducción, obteniendo que para que el nuevo cálculo verifique la propiedad de Church-Rosser la transmisión de los grados debe hacerse por medio de una función que sea una t-norma o s-conorma. Utilizando esta nueva herramienta diseñamos un lenguaje no determinista que satisface los requerimientos de la programación con datos borrosos. / With the aim of designing and implementing programming languages that take into account the fuzzy paradigm we will modify the classical lambda calculus by adding a degree to each term and by redefining the b-reduction. Thus, for the new calculus to verify the Church-Rosser property, the degree computed with can be made through a function that is a t-norm or an s-conorm. With this new tool we design a nondeterminist language that satisfies fuzzy dataprogramming requirements, and an example of its behaviour is shown.