Search

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-08T17:28:24Z No. of bitstreams: 1 IZABELA VANESSA DE ALMEIDA MELO - DISSERTAÇÃO PPGCC 2015..pdf: 3198472 bytes, checksum: 824f30587ab3b750011a08d2e5d6019a (MD5) Made available in DSpace on 2018-05-08T17:28:24Z (GMT). No. of bitstreams: 1 IZABELA VANESSA DE ALMEIDA MELO - DISSERTAÇÃO PPGCC 2015..pdf: 3198472 bytes, checksum: 824f30587ab3b750011a08d2e5d6019a (MD5) Previous issue date: 2015-09-10 Desde os anos 90 a comunidade científica desempenha esforços para estudar e evoluir aspectos relacionados à Arquitetura de Software, aumentando seu volume de publicação a partir de 1999. O aumento significativo das publicações nos últimos anos demonstra a importância e preocupação que a academia tem com relação a essa área. Porém, a partir da troca de experiência entre pesquisadores e profissionais da área, percebe-se que a indústria não parece conhecer/utilizar o que é proposto pela academia. O contexto teórico sobre arquitetura de software, documentação arquitetural e verificação de conformidade arquitetural já é conhecido no meio acadêmico. Porém, qual é o contexto deles dentro da indústria? Como os profissionais definem o termo "arquitetura desoftware"? Como os profissionais realizam (se realizam) a documentação arquitetural? Como realizam (se realizam) a verificação de conformidade arquitetural? O que eles pensam sobre ferramentas de apoio à verificação de conformidade arquitetural? Para responder essas questões, realizamos um estudo qualitativo dividido em 3 etapas. Primeiro, aplicamos um survey exploratório com o objetivo de entender o ambiente prático para ter uma noção sobre o contexto em foco. Enviamos o questionário para 149 profissionais e 4 grupos de discussão, obtendo uma taxa de resposta de 24,1%. Na segunda etapa entrevistamos 14 profissionais voluntários que responderam o survey exploratório (taxa de resposta de 40%). O objetivo desta etapa foi nos aprofundarmos no contexto em foco. Por fim, nossa última etapa consistiu de um survey confirmatório. Enviamos o questionário para os usuários do GitHub que possuem endereços de e-mail visíveis e tem mais de 100 seguidores (obtivemos uma taxa de resposta de 7,74%). Como resultados principais, observamos que não há uma única definição para o termo "arquitetura de software", dependendo de fatores desde a experiência do profissional até a empresa em que trabalham. Além disso, existem documentações arquiteturais, mas, a sua maioria não é rigorosa, formal e não é atualizada. Nem todos realizam verificação de conformidade arquitetural, e, quando realizam, normalmente é feita de forma manual. Os principais motivos para a não documentação e/ou verificação são falta de tempo ou falta de necessidade. Porfim, as ferramentas de apoio à verificação de conformidade arquitetural não são muito utilizadas e/ou conhecidas. Since the 90’s a big effort has been applied in the academy to study and evolve aspects related to Software Architecture, increasing the amount of publications from 1999 to the present-day. The significant rise in the number of publications in the last few years shows how much importance and concern academia gives to this particular area. However, after discussing what has been experienced by researchers and professionals of this area, it is possible to notice that the industry does not know/use what is proposed in the academy. The theoretical context about software architecture, architectural documentation and architectural conformance checking is already known. However, what about the practical/industrial context? How do the professionals define “software architecture”? How do they document (if they do) the architecture? How do they perform (if they do) architectural conformance checking? What do they think about support tools for architectural conformance checking? Aiming to answer these questions, we performed a 3-step qualitative study. Firstly, we applied an exploratory survey with the goal of understanding the practical environment and having a better notion about the context of our study. We sent the survey to 149 professionals and 4 discussion groups, getting 24.1% of response rate. In the second phase we interviewed 14 volunteered professionals who responded the exploratory survey (response rate of 40%). In this phase we wanted to deeply understand the context of your study. Finally, the last phase consisted of a confirmatory survey which goal was to confirm our findings. We sent the survey to GitHub users with public e-mails and more than 100 followers, getting 7.74% of response rate. As main results we observed that there is not a single definition of“software architecture” and that it depends on several factors, as the professional’s experience and the company in which he/she works. The architecture is sometimes documented but, most of the time, the documentation is incomplete, informal and outdated. In many cases, architectural conformance checking is not performed or it is performed manually. The main reasons for not documenting or verifying the architecture are lack of time and/or need. Finally, the support tools for architectural conformance checking are not often used and not well known.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-04-21T13:58:34Z No. of bitstreams: 1 SIDNEY ACIOLE RODRIGUES - DISSERTAÇÃO PPGEE 2014..pdf: 10747994 bytes, checksum: a201eceb35c011516f93accef0c024f9 (MD5) Made available in DSpace on 2018-04-21T13:58:34Z (GMT). No. of bitstreams: 1 SIDNEY ACIOLE RODRIGUES - DISSERTAÇÃO PPGEE 2014..pdf: 10747994 bytes, checksum: a201eceb35c011516f93accef0c024f9 (MD5) Previous issue date: 2014-09 De acordo com a Administração Federal de Alimentos e Medicamentos estadunidense (Food and Drug Administration – FDA), bombas de infusão são consideradas atualmente os dispositivos médicos cuja segurança é a mais crítica, devido à natureza de suas operações e os riscos a elas associados. O projeto destes dispositivos ainda é uma questão em aberto e várias iniciativas de melhoria estão sob investigação. No entanto, as especificações de tais sistemas ainda não estão adaptadas ao estado-da-arte do desenvolvimento de sistemas arquiteturais. Por exemplo, nesta pesquisa não foi possível identificar qualquer projeto que atenda aos padrões, considerando as especificação e documentação de arquiteturas de sistemas e de software durante o processo de engenharia. Em face desta situação, nesta dissertação é apresentada a especificação funcional de uma arquitetura para bombas de infusão que pode ser realizada mediante o emprego de várias tendências tecnológicas para esses produtos, a fim de melhorar a segurança. A especificação arquitetural apresentada foi validada pelo desenvolvimento de um protótipo multicanal de uma bomba de infusão que pode ser programada utilizando dados obtidos a partir de um serviço web, usando um aplicativo de celular, como controle remoto, que permita mudar os parâmetros de infusão de acordo com dados da prescrição médica. Assim, a principal contribuição deste trabalho pode ser apresentada como uma arquitetura distribuída para esse tipo de dispositivo, permitindo a integração com registros eletrônicos de saúde para o domínio de sistemas embarcados que implicam em redução de erros durante a atividade de programação. According to the Food and Drug Administration - FDA, infusion pumps are currently considered the most safety-critical medical device due to the nature of their operations and associated risks. Design of these devices is still an open question and several improvement initiatives are under research. However, the released specifications of such systems are not yet adapted to the current state-of-art systems architectural developments. For example, in this work, we could not identify any project meeting the patterns of views and viewpoints for specification and documentation of system and software architectures during the engineering process. Due to this, this dissertation proposes a functional specification of an architecture for infusion pumps that can be realized through several technological trends for these products in order to improve safety. The presented architectural specification was validated by the development of a multichannel prototype of an infusion pump that can be programmed through data retrieved from a web service using a mobile application as a remote control and changing the infusion parameters according to medical prescription. Thus, the main contribution of this paper can be presented as a distributed architecture for this sort of device, allowing early integration with Electronic Health Records for the embedded systems domain implying in risk reductions during the programming activity.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-04T13:21:58Z No. of bitstreams: 1 LEANDRO JOSÉ VENTURA SILVA - DISSERTAÇÃO PPGCC 2013..pdf: 36621162 bytes, checksum: 397cb8b8fa83c5a07f0b42bca912098c (MD5) Made available in DSpace on 2018-08-04T13:21:58Z (GMT). No. of bitstreams: 1 LEANDRO JOSÉ VENTURA SILVA - DISSERTAÇÃO PPGCC 2013..pdf: 36621162 bytes, checksum: 397cb8b8fa83c5a07f0b42bca912098c (MD5) Previous issue date: 2013-06-26 Arquiteturas de software fornecem o contexto do sistema, guiam o processo de desenvolvimento, auxiliam na comunicação entre as partes interessadas, aumentam a integração com sistemas legados e softwares de terceiros e reduzem custos de manutenção e evolução; todavia, criar, documentar e validar arquiteturas são atividades complexas, ainda mais para aqueles com pouca experiência. A escassez de exemplos e de métodos diretos para auxiliar na documentação e validação também dificulta a realização dessas atividades. Neste trabalho, apresentamos um modelo de documento e um método para validação de arquiteturas de software. Nele, foram desenvolvidas arquiteturas de software para dois sistemas reais e um deles foi validado com o uso do método em questão. Os resultados obtidos indicam que o modelo de documento agiliza o processo de documentação e guia arquitetos iniciantes por conter as seções necessárias a serem preenchidas; evita o esquecimento de tópicos importantes e leva o arquiteto a seguir uma metodologia para documentar a arquitetura. Já o uso do método de validação aumentou a confiança na arquitetura desenvolvida. Seguir o processo foi relativamente simples devido à existência de um fluxo bem definido; os artefatos produzidos garantiram que a validação fosse bem documentada, mantendo uma memória do que foi feito. Software architectures provide the system context, guide the development process, assist the communication among stakeholders, increase reuse and help integrate with legacy and third party software and reduce maintenance and evolution costs; however, creating, documenting and validating architectures are not trivial tasks. The lack of examples and straightforward methods also makes accomplishing these activities more difficult. We present a document template and a method for validating software architectures. Software architectures for two different real systems were designed and one of them was validated using the proposed method. The results indicate that the document template accelerates the documentation process and guides junior architects by containing the necessary sections to be filled out; the template also ensures that important topics are mentioned and forces the architect to follow a methodology to document the architecture. Results show that the validation method increased the confidence in the designed architecture. The process was relatively simple due to the existence of a well-defined flow, and the resulting artifacts ensured that the validation was well documented by keeping a memory of what was done.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-20T18:52:30Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - TESE PPGCC 2011..pdf: 8460190 bytes, checksum: 711c8b40aaed80c81ec520880038d9b8 (MD5) Made available in DSpace on 2018-09-20T18:52:30Z (GMT). No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - TESE PPGCC 2011..pdf: 8460190 bytes, checksum: 711c8b40aaed80c81ec520880038d9b8 (MD5) Previous issue date: 2011-09-08 MDA é uma tendência de desenvolvimento de software que visa alterar o foco e os esforços dos modelos de desenvolvimento atuais. O método de implementação deixa de ser apenas a produção e código, e passa a também envolver modelos, metamodelos e transformações. Atualmente, essa abordagem tem sido diversificada com a inclusão de novos paradigmas que vão bem além do uso exclusivo dos padrões da OMG, como proposto originalmente. Contudo, a arquitetura MDA ainda sofre com a falta de formalização de alguns de seus artefatos e processos, levando a vários tipos de questionamentos. Um exemplo pertinente de questionamento se dá sobre o alto grau de ambigüidade dos modelos e transformações, originando problemas de baixa confiabilidade. Uma das conseqüências disso é o fato de que atualmente não existe uma maneira de garantir que transformações MDA sejam preservadoras de semântica, e nem que seus modelos envolvidos nas transformações sejam formais o suficiente para se permitir o uso de técnicas deverificação de equivalência, gerando críticas sobre a eficácia dessa abordagem. Esta tese de doutorado propõe lidar com esse problema, incorporando abordagens consolidadas de métodos formais na arquitetura MDA, tendo como contexto específico o desenvolvimento de software para sistemas embarcados com características de concorrência. Propomos extensões para parte da arquitetura MDA para que se possa construir modelos semânticos que representem aspectos estáticos e dinâmicos, ambos essenciais na semântica dos modelos envolvidos nas transformações e nos mecanismos de verificação de equivalência desses modelos. Com isso,obtemos a verificação de equivalência em transformações envolvendo modelos de sistemas concorrentes. Como avaliação do trabalho, provas de conceito, estudos de caso e avaliação experimental seguindo a abordagem GQM, envolvendo parcerias na academia e na indústria através de sistemas reais, foram implementados e avaliados. Verificamos equivalência entre modelos ao nível de transformações PIM-para-PIM, PSM-para-PSM e PIMpara-PSM como modelos de sistemas concorrentes descritos em redes de Petri e algumas de suas extensões. MDA is a software development trend that aims to shift the focus and efforts of the current development methodologies. The implementation method changes from only code production to the usage of models, metamodels and transformations. Currently, this approach has been diversified with the inclusion of new paradigms that go beyond the only use of the MDA standards, as originally proposed. However, the MDA architecture still suffers from the lack of formalization of its artifacts and processes, leading to several sorts of questions. An important example of question is about the high ambiguity levels of models and transformations, originating problems of low reliability. One of the main consequences of this problem is the fact that still there is no way to ensure that MDA transformations are semantics preserving and neither the involved models are formal enough to allow the use of equivalence verification techniques, criticizing the effectiveness of this approach. This thesis proposes to deal with this problem by incorporating well consolidated formal methods techniques in the MDA architecture, having as specific context the software development for embedded systems with concurrent features. We propose extensions to part of the MDA architecture in order to construct semantic models to represent static and dynamic aspects, both essentials in the semantics of the involved models in the transformations and in the verification mechanisms of these models. With this, we achieve the verification of equivalence in transformations with models of concurrent systems. Asevaluationofthework,conceptualproofs, case studies and an experimental evaluation following the GQM approach, involving partners in the academy and industry, were implmented and evaluated. We verify models equivalence at the level of PIM-to-PIM, PSM-to-PSM and PIM-to-PSM transformations with models of concurrent systems described and inPetri nets and some of its extensions.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T17:04:59Z No. of bitstreams: 1 RODRIGO REBOUÇAS DE ALMEIDA - DISSERTAÇÃO PPGCC 2005..pdf: 815922 bytes, checksum: fdb76afed4f4ef1c3cadf3bafe4d740f (MD5) Made available in DSpace on 2018-08-29T17:04:59Z (GMT). No. of bitstreams: 1 RODRIGO REBOUÇAS DE ALMEIDA - DISSERTAÇÃO PPGCC 2005..pdf: 815922 bytes, checksum: fdb76afed4f4ef1c3cadf3bafe4d740f (MD5) Previous issue date: 2005-02-01 A competitividade das empresas, que há alguns anos era ditada pela sua capacidade de vender mais e pelo menor preço, hoje está relacionada à capacidade de negociar no mercado globalizado, de vender produtos sem a limitação de fronteiras geográficas. Este contexto incentiva o crescimento das grandes empresas multinacionais e leva as pequenas e médias empresas a perderem mercado por sua incapacidade de competirem sozinhas com as grandes marcas. Para solucionar este problema, as pequenas e médias empresas têm se organizado em rede, interagindo com seus fornecedores e clientes mais próximos geograficamente e recebendo apoio dos organismos de desenvolvimento local, criando o que chamamos de Arranjos Produtivos Locais, ou APLs. Até então as soluções de TI não estavam preparadas para atender a este novo tipo de organização de empresas, onde prevalece a cultura de compartilhamento de informação, colaboração com concorrentes para atender a mercados maiores e interação entre as empresas e as entidades de desenvolvimento. Este trabalho propõe uma arquitetura de software para APLs, que busca atender aos requisitos desta organização de empresas e criar um modelo que expresse as preocupações técnicas com o projeto de uma solução de TI para este domínio de negócios. Um conjunto de empresas e especialistas em APLs fizeram parte do levantamento de requisitos e avaliação da arquitetura proposta. A arquitetura foi avaliada através da interação com os envolvidos no projeto, usando um método baseado em cenários. Por fim, um protótipo foi desenvolvido. A few years ago, the competitiveness of an enterprise was dictated by its capacity to sell more and at lower price. Today it is defined by its capacity to negotiate on a global market, to sell products without geographic limitation. This context promotes the growth of big enterprises and forces small ones to lose market share because they cannot compete against the big brands. To solve this problem, small enterprises are working through networks, interacting with suppliers and customers which are close geographically, and receiving support from local development agencies. This kind of enterprise network is what we call Enterprise Clusters. Until now, IT solutions were not prepared to support this new kind of enterprise organization - where the culture of information sharing and collaboration with competitors to attend big markets prevails. This work proposes a software architecture for enterprise clusters. The architecture aims to attend cluster requirements, supporting a model that reflects technical requirements. A group of enterprises and cluster specialists participated on requirement elicitation and architectural review activities. Architecture evaluation was carried by a scenario based methodology. A prototype was developed.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-17T14:18:41Z No. of bitstreams: 1 EDEMBERG ROCHA DA SILVA - DISSERTAÇÃO PPGCC 2003..pdf: 1169743 bytes, checksum: 2feda912b0a385f167ab5d5d55ea5a71 (MD5) Made available in DSpace on 2018-08-17T14:18:41Z (GMT). No. of bitstreams: 1 EDEMBERG ROCHA DA SILVA - DISSERTAÇÃO PPGCC 2003..pdf: 1169743 bytes, checksum: 2feda912b0a385f167ab5d5d55ea5a71 (MD5) Previous issue date: 2003-12-22 Capes Padrões de projeto são considerados uma das mais valiosas tecnologias para produzir software de qualidade. Uma técnica para melhorar o uso de padrões é identificar suas realizações e inferir um conhecimento para melhorá-las. Esta tarefa de encontrar todas as realizações de padrões em um projeto caracteriza-se por ser tediosa para o engenheiro de software. Nessa dissertação apresentamos um sistema assistente para programadores e arquitetos de software, chamado SAMOA (Sistema de Apoio a Modelagem Orientada a Objetos de Aplicações). Este sistema é um assistente interativo para automatizar o trabalho de detecção de realizações de padrões de projetos. Basicamente, o SAMOA é capaz de automaticamente (i) encontrar padrões aplicados em diagramas de classes UML e em fontes JAVA; (ii) produzir possíveis criticas sobre esses padrões. Depois que esses são detectados, um conjunto de críticas de projetos são verificadas para testar se a realização dos padrões pode ser melhorada. E (iii) instanciar padrões visando à geração de código do mesmo, na linguagem de programação Java. Foi implementado um protótipo do sistema que realiza as atividades (i) e (iii). Abordamos, também, quais diferenciais nosso sistema tem em relação aos demais existentes Design patterns are considered one of the most valuable technologies to produce quality software. A technique to improve the use of patterns is to identify their realizations and to induce a knowlege to enhance their use. This work to find all pattern realizations in a software design can be tedious for the software engineer. In this dissertation we show an assistant system for programmers and software architets, called SAMOA (Sistema de Apoio a Modelagem Orientada a Objetos de Aplicações). This system is an interactive assistant to automate the work of detection of the realizations of design patterns. On principle, SAMOA is able to automatically (i) find patterns applied in UML diagrams and in JAVA;sources (ii) make critiques about these patterns. If a pattern has been detected, a set of design critiques are verified to test if the realization of the pattern can be improved. And (iii) instanciate patterns to aim an automatic code generation in the JAVA programming language. We have implemented a prototype of the system that realizes activities (i) and (iii). We also discuss , wich properties differentiate our system from existing others.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-27T16:51:30Z No. of bitstreams: 1 FÁBIO ROBERTO PILLATT - DISSERTAÇÃO PPGCC 2002..pdf: 1041756 bytes, checksum: fc86922162194a17563dd44222e08596 (MD5) Made available in DSpace on 2018-08-27T16:51:30Z (GMT). No. of bitstreams: 1 FÁBIO ROBERTO PILLATT - DISSERTAÇÃO PPGCC 2002..pdf: 1041756 bytes, checksum: fc86922162194a17563dd44222e08596 (MD5) Previous issue date: 2002-08-29 Ao se avaliar o atual cenário de negócios, percebe-se que o e-business tem se convertido numa peça fundamental para o fortalecimento da cadeia de valor das atividades tradicionais de negócios. Porém, a velocidade do crescimento do e-business no cenário mundial ainda depende de vários fatores, dentre os quais cita-se a confiabilidade sobre as transações. Este trabalho apresenta uma alternativa para se obter e mensurar relacionamentos de confiança sobre as atividades de negociação virtual, propondo um modelo de confiança para avaliação do nível de confiabilidade atribuído a cada transação. A forma como o modelo deverá ser implementado também é indicada e comentada. When evaluating today business environment, it is noticed that e-business technologies are being outlined as fundamental pieces to strengthen the value chain of traditional business activities. Furthermore, the growth of e-business technologies in the global market depends on several factors and transactions' reliability is one of them. This dissertation presents an alternative to obtain and measure trust relationships on virtual activity of negotiation, proposing a trust model for evaluation of the reliability level assigned to a given transaction. Also it is described how the model is being implemented and how to apply it.