Made available in DSpace on 2016-06-02T19:06:25Z (GMT). No. of bitstreams: 1 DissJLCM.pdf: 5103599 bytes, checksum: 48f7d264f7854ea0169a1d90633c79d2 (MD5) Previous issue date: 2004-08-26 / This project searches a boarding for construction and reuse of software components with implementation in Delphi. More and more computational resources are used in the solution of problems, aiming to automatize them, to reduce costs and increase the efficiency, performance, and security. To take care of this demand of more trustworthy softwares systems, more efficient and with lesser costs, new methods have been searched, being distinguished, currently, the Component-Based Development (CBD). The research studies different methods, available techniques and tools in literature as: CBD, Design Patterns, Software Components, Model Language (MDL), and ObjectPascal Language (Delphi), as control for the boarding. The mechanism utilized are: MVCASE tool, Draco-PUC Transformation System (TS), Software Engineer, and Delphi (RAD). This integrated mechanisms orient the Software Engineer on the Construct and on the Components Reuse for aplication development, and MVCASE tool automatize the tasks for components construct and reuse. The boarding is divided in two stages: Construct Components and Reuse Components. In a first stage, the software engineer initial from the problem domain knowledge and produces a models components of the domain, implemented in a language orientedcomponents, in the case the Delphi. As soon as they are instaled, the components are keep in the repository for reuse. In a subsequent stage the software engineer will find the components about the problem domain, that are imported from MVCASE tool repository, where they are show in tool browser. After the components are identified the applications are developed that reuse the framework components constructed. The components may be implemented in language components oriented like, C++, Java, and ObejctPascal (Delphi). In this project we are using the ObjectPascal language for the components implementation. / Este projeto desenvolve uma abordagem para construção e reutilização de componentes de software com implementação em Delphi. Cada vez mais se emprega recursos computacionais na solução de problemas, com o objetivo de automatizá-los, para diminuir custos e aumentar a eficiência, desempenho, e segurança. Para atender esta demanda de sistemas de softwares mais confiáveis, mais eficientes e com menores custos, novos métodos têm sido pesquisados, destacando-se, atualmente, o Desenvolvimento Baseado em Componentes (DBC). São utilizadas técnicas de DBC, Padrões de Projeto, Componentes de Software, a Linguagem de Modelagem MDL, e a Linguagem ObjectPascal (Delphi), como controle para a abordagem proposta. Os mecanismos utilizados são: ferramenta MVCASE, ST Draco-PUC, engenheiro de software e o ambiente Delphi. Esses mecanismos integrados orientam o engenheiro de software tanto na construção de componentes quanto da sua reutilização para criação das aplicações, e a ferramenta MVCASE automatiza parte das tarefas de construção e reutilização de componentes. A abordagem está dividida em duas etapas, Construir Componentes e Reutilizar Componentes. Numa primeira etapa, o engenheiro de software parte dos requisitos de um domínio do problema e produz o projeto dos componentes de um domínio e os componentes instalados no ambiente Delphi. Uma vez instalados, os componentes serão armazenados num repositório para posterior reutilização. Numa etapa subseqüente o engenheiro de software consulta os componentes de um domínio do problema, que são importados do repositório para a MVCASE, ficando disponíveis no browser da ferramenta. Após a identificação dos componentes necessários, constroem-se as aplicações que os reutilizam. Os componentes podem ser implementados em Linguagem Orientada a Componentes como C++, Java, e ObjectPascal (Delphi). Neste projeto adotou-se a Linguagem ObjectPascal para implementação dos componentes.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante denominada nuvem de componentes. Um dos principais desafios na sua utilizaÃÃo consiste no suporte à programaÃÃo paralela, tarefa bastante suscetÃvel à erros, pois tais erros podem levar, ao longo do desenvolvimento, a problemas de sincronizaÃÃo de processos, que podem causar abortamento da execuÃÃo e a produÃÃo de dados incorretos, bem como a problemas relacionados ao uso ineficiente dos recursos computacionais. à importante que tais problemas sejam tratados no caso de aplicaÃÃes de longa duraÃÃo cujo respeito a um cronograma para obtenÃÃo de resultados à crÃtico, aplicaÃÃes estas bastante comuns no contexto de CAD. Uma possÃvel soluÃÃo para tais problemas consiste na verificaÃÃo do comportamento e das propriedades dos componentes na nuvem, antes que seja feita a sua execuÃÃo, tornando possÃvel que os usuÃrios dos componentes da nuvem saibam se um componente pode ser utilizado com seguranÃa em sua aplicaÃÃo. Nesse cenÃrio, o uso de mÃtodos formais surge como uma alternativa atraente. A contribuiÃÃo desta dissertaÃÃo consiste em um processo de derivaÃÃo e verificaÃÃo de propriedades de componentes na nuvem. Tal processo envolve a especificaÃÃo formal do comportamento dos componentes por meio de contratos descritos pela linguagem Circus. EntÃo, atravÃs de um processo de refinamento e traduÃÃo tendo como ponto de partida o contrato, chega-se à implementaÃÃo de um componente para execuÃÃo sobre uma plataforma de computaÃÃo paralela. AtravÃs desse processo, torna-se possÃvel oferecer garantias aos desenvolvedores em relaÃÃo ao comportamento dos componentes no contexto de suas aplicaÃÃes. Para a prova de conceito, o processo à aplicado sobre a especificaÃÃo "papel-e-caneta" de dois benchmarks do NAS Parallel Benchmarks, IS e CG, bastante difundidos na Ãrea de CAD. / The use of cloud computing to offer High Performance Computing (HPC) services has been widely discussed in the academia and industry. In this respect, this dissertation is included in the context of designing a cloud computing platform for the development of component-based parallel computing applications, referred as cloud of components. Many important challenges about using the cloud of components relate to parallel programming, an error-prone task due to synchronization issues, which may lead to abortion and production of incorrect data during execution of applications, and the inefficient use of computational resources. These problems may be very relevant in the case of long running applications with tight timelines to obtain critical results, quite common in the context of HPC. One possible solution to these problems is the formal analysis of the behavior of the components of an application through the cloud services, before their execution. Thus, the users of the components may know if a component can be safely used in their application. In this scenario, formal methods becomes useful. In this dissertation, it is proposed a process for specification and derivation of parallel components implementation for the cloud of components. This process involves the formal specification of the components behavior through contracts described using the Circus formal specification language. Then, through a refinement and translation process, which takes the contract as a start point, one may produce an implementation of a component that may execute on a parallel computing platform. Through this process, it becomes possible to offer guarantees to developers about the components behavior in their applications. To validate the proposed idea, the process is applied to contracts that have been described based on two benchmarks belonging to the NAS Parallel Benchmarks, widely adopted in HPC for evaluate the performance of parallel programming and computing platforms.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-18T18:24:40Z No. of bitstreams: 1 Dissertação - Marcus de Lima Braga.pdf: 6450946 bytes, checksum: 146975a14889793868be80d04a6c46c5 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-18T19:37:05Z (GMT) No. of bitstreams: 1 Dissertação - Marcus de Lima Braga.pdf: 6450946 bytes, checksum: 146975a14889793868be80d04a6c46c5 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-18T19:39:18Z (GMT) No. of bitstreams: 1 Dissertação - Marcus de Lima Braga.pdf: 6450946 bytes, checksum: 146975a14889793868be80d04a6c46c5 (MD5) / Made available in DSpace on 2016-02-18T19:39:18Z (GMT). No. of bitstreams: 1 Dissertação - Marcus de Lima Braga.pdf: 6450946 bytes, checksum: 146975a14889793868be80d04a6c46c5 (MD5) Previous issue date: 2012-01-05 / Não informada / Wireless Sensor Network (WSN) has attracted the interest of researchers in applications development that operate on monitoring and control of physical phenomena, relying on its autonomy and exibility, and on its distributed nature and pervasive. If for one hand, this interest provides the development of new applications, on the other it increases its complexity and therefore costs. This is easily understood due their restrictive features, which make the crucial stages of software development (modeling, veri cation and testing) become a non-trivial task. The programming is carried out very close to the operating system (low level), favoring the distraction in the application of logic and thus requiring more concentration of the developer, as well as technical training, rare among experts. This scenario enables the creation of methodologies and tools that support development on this platform. This study aims to use the formal method called Communicating X-Machine in the construction of WSN applications, o ering an intuitive approach and a modular development, providing to the programmer a higher level of abstraction, making it easier to build applications until the code generation in nesC language programming (TinyOS platform). So, this paper aims to facilitate the development of applications, from their modeling until the code generation, providing to the developer an increase in the level of abstraction, a better understanding of the problem through its partitioning and ease of building WSN applications. / Rede de Sensores Sem Fio (RSSF) tem despertado o interesse de pesquisadores no desenvolvimento de aplicações que atuem no monitoramento e controle de fenômenos físicos, apoiando-se em sua autonomia e exibilidade, e em sua natureza distribuída e pervasiva. Se por um lado, esse interesse proporciona o desenvolvimento de novas aplica- ções, por outro, eleva sua complexidade e consequentemente seus custos. Isto é facilmente entendido devido suas características restritivas, que fazem com que os estágios cruciais do desenvolvimento de software (modelagem, veri cação e testes) se tornem tarefas não triviais. A programação é realizada muito próxima ao sistema operacional (baixo nível), favorecendo a distração na aplicação da lógica e exigindo, portanto, ao desenvolvedor maior concentração, além de formação técnica rara entre os especialistas. Este cenário propicia a criação de metodologias e ferramentas que deem suporte ao desenvolvimento nesta plataforma. Este trabalho tem por objetivo utilizar o método formal Communicating X-Machine na construção de aplicações RSSF, oferecendo uma abordagem intuitiva e um desenvolvimento modular, provendo ao programador elevação no nível de abstração, facilitando a construção de aplicações até a geração de código na linguagem de programa- ção nesC (plataforma TinyOS). Portanto, o presente trabalho pretende facilitar o desenvolvimento de aplicações, desde sua modelagem até a geração de código, proporcionando ao desenvolvedor o aumento no nível de abstração, melhor entendimento do problema através de seu particionamento e facilidade na construção de aplicações em RSSF.

[pt] Diversos modelos de componentes de software apresentam o conceito de componentes compostos, como é o caso do Fractal, OpenCOM, Koala, Kobra e SaveCCM. Um componente composto encapsula outros componentes e é responsável por oferecer mecanismos de configuração e introspecção estrutural, bem como externalizar serviços e dependências internas. A ideia de componentes compostos é reconhecida como uma boa técnica para abstrair estruturas complexas e maximizar o reuso. Entretanto, não existe um estudo mais aprofundado sobre tal mecanismo que aborde questões sobre a configuração inicial dos subcomponentes, o mapeamento de serviços e depend ências de subcomponentes através de interfaces do componente composto, formas de navegação compartilhamento de subcomponentes, ciclo de vida e formas de introspecção estrutural. Neste trabalho foi realizado um levantamento sobre como os modelos Fractal e OpenCOM tratam o conceito de componentes compostos e é proposto um modelo que oferece este suporte. Como estudo experimental foi implementada uma nova versão do SCS com suporte a componentes compostos, o SCS-Composite. Também foi feita uma avaliação da expressividade do SCS-Composite através da adaptação de uma aplicação pré-existente baseada no SCS. / [en] Several software component models support composite components, such as Fractal, OpenCOM, Koala, Kobra and SaveCCM. A composite component encapsulates components and provides introspection and configuration mechanisms. Composite components are recognized as a good practice because abstract complex structures and increase reuse. However, there is not a comprehensive study about composite component mechanisms addressing issues like initial composite configuration, mapping of subcomponents services and dependencies through composite component’s interfaces, introspection, component sharing, and composites life cycle. In this work we perform a study about how the Fractal and OpenCOM apply the composite component concept and we propose a new model for composite components. As an experimental study we implemented a new version of the SCS component system with support for composite components, the SCS-Composite. We also present an evaluation of SCS-Composite through the adaptation of a SCS based application.

[pt] A programação por contratos é uma das técnicas voltadas para a melhoria da qualidade de software, sendo baseada no aumento do formalismo da especificação das interfaces. No contexto de componentes de software distribuídos, o uso de contratos envolve alguns desafios que o diferenciam do seu uso mais tradicional. O objetivo deste trabalho é a avaliaação do uso de contratos no desenvolvimento de sistemas distribuí­dos baseados em componentes de software, identificando as abordagens existentes e analisando as vantagens e desvantagens do seu uso. São também avaliadas caracterí­sticas como robustez, desempenho, flexibilidade, facilidade de uso e limitações. Como estudo de caso, foi desenvolvido um subsistema de suporte a contratos sobre um middleware CORBA implementado em Lua, servindo de base para experimentos realizados durante a pesquisa. / [en] Contract-based programming is one of the techniques used to improve the quality of software by enhancing the formalism of interface specifications. In the context of distributed software components, the use of contracts presents new challenges that make it di*erent from its traditional use. This work intends to evaluate the use of contracts in the development of component-based distributed systems, identifying the current approaches and analyzing its advantages and disadvantages. It also covers topics like robustness, performance, flexibility, ease of use and limitations. As a case study, a contract subsystem was developed over a CORBA middleware using Lua, serving as the basis for experiments in our study.

[pt] Groupware é difícil de construir e de manter, pois envolve aspectos multidisciplinares. Além das dificuldades associadas ao desenvolvimento de aplicações colaborativas, usualmente o desenvolvedor de groupware deve se preocupar com outros aspectos de infra-estrutura. Nesta dissertação é proposta uma arquitetura multicamadas baseada em componentes para groupware, utilizando frameworks de infra-estrutura. Na camada de negócio são utilizados os frameworks Hibernate, responsável pela persistência dos dados da aplicação, e o framework Spring, que dentre outras coisas é responsável pelo controle de transações e pela exposição de serviços remotamente. Na camada de apresentação o framework JaveServer Faces provê meios para criar e reusar componentes de interface. Nesta dissertação também é apresentada uma forma de comparar frameworks de infra-estrutura, levando em consideração tanto aspectos técnicos, que definem se o framework atende aos requisitos da aplicação, quanto nãotécnicos, relacionados a aspectos como documentação disponível e aceitação no mercado. A arquitetura definida nesta dissertação é aplicada no AulaNet, groupware voltado para a aprendizagem desenvolvido no Laboratório de Engenharia de Software da PUC-Rio. / [en] Groupware is difficult to develop and maintain because it involves multidisciplinary aspects in its construction. Besides the difficulties related to the development of collaborative applications, usually the developer must handle with other infrastructure aspects. In this dissertation, it is proposed a multilayer component based architecture with system infrastructure frameworks to deal with them. In the business layer, the Hibernate framework is responsible for the persistence of application data, and the Spring framework is responsible for, amongst others, transactions control and remote exposition of services. In the presentation layer the JaveServer Faces framework provides ways to create and to reuse user-interface components. This dissertation also presents a way to compare system infrastructure frameworks, considering both technical aspects, related to the application requirements fulfillment, and non- technical, related to aspects such as documentation availability and market acceptance. The architecture defined in this dissertation is applied to the AulaNet, which is a groupware for learning developed in the Software Engineering Laboratory of PUC-Rio.

Dentre as tecnologias de desenvolvimento de software que promovem o reuso com o objetivo de construir sistemas com prazos e custos menores, sem sacrificar a qualidade dos produtos, está o Desenvolvimento Baseado em Componentes (DBC). O Desenvolvimento Baseado em Componentes consiste na construção de sistemas pela composição de componentes de software de acordo com um processo de desenvolvimento específico. Para garantir a qualidade desses sistemas, é importante garantir a qualidade de seus componentes. A falta da garantia da qualidade dos componentes de software destinados à reutilização é um dos fatores de inibição do DBC, e existe certa carência de pesquisas sobre a qualidade de componentes de software. Desta maneira, o principal objetivo deste trabalho foi a definição de um modelo de qualidade específico para componentes de software, fornecendo a base para a especificação de requisitos de qualidade e para a avaliação de qualidade dos mesmos. O Modelo está embasado nas normas ISO/IEC 9126 e ISO/IEC 12119, e também na literatura especializada. Uma ferramenta para apoiar avaliações de componentes (e de produtos de software de forma geral) também foi desenvolvida. Foram realizadas ainda quatro avaliações de componentes através de estudos de casos para verificar a aplicabilidade e utilidade do modelo de qualidade e da ferramenta desenvolvida. Dois questionários foram respondidos pelos avaliadores responsáveis pelas avaliações coletando assim, suas considerações sobre o modelo de qualidade e sobre a ferramenta / Among the software development technologies that promote the reuse aiming to build systems with periods and smaller costs, without sacrificing the quality of products, is the Component-Based Development (CBD). The Component-Based Development consists on the construction of systems by the composition of software components according to a specific development process. To guarantee the quality of those systems, it is important to guarantee the quality of their components. The lack of warranty of the quality of the software components destined to reuse is one of the inhibition factors of CBD, and there is certain lack of researches about quality of software components. This way, the main objective of this work was the formalization of a specific quality model for software components, supplying the base for the specification of quality requirements and for the quality evaluation of the same ones. The model is based on the norms ISO/IEC 9126 and ISO/IEC 12119, and also in the specialized literature. A tool to support components evaluations (and software products in a general way) was also developed. It was realized four components evaluations through case studies to verify the applicability and usefulness of the quality model and the developed tool. Two questionnaires were answered by the appraisers responsible for the evaluations collecting thereby, their considerations on the quality model and the tool

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-18T16:21:29Z No. of bitstreams: 1 CARINA MACHADO DE FARIAS - DISSERTAÇÃO PPGCC 2003..pdf: 658152 bytes, checksum: 8231194d3724e72085250f16ee95a419 (MD5) / Made available in DSpace on 2018-09-18T16:21:29Z (GMT). No. of bitstreams: 1 CARINA MACHADO DE FARIAS - DISSERTAÇÃO PPGCC 2003..pdf: 658152 bytes, checksum: 8231194d3724e72085250f16ee95a419 (MD5) Previous issue date: 2003-02-27 / O interesse no desenvolvimento de software baseado em componentes tem crescido substancialmente devido à promessa de redução de custos e tempo de desenvolvimento através do reuso. A maioria das metodologias existentes tem se concentrado nas fases de análise e projeto. Entretanto, o reuso efetivo de componentes está diretamente relacionado à confiabilidade dos mesmos. O principal objetivo deste trabalho é propor um método de teste funcional aplicável a componentes de software. Já que o processo de desenvolvimento utilizado influencia significativamente a testabilidade dos sistemas, o método de teste proposto é apresentado dentro de um processo de desenvolvimento de componentes bem definido Componentes UML. Artefatos de teste são gerados a partir de especificações em UML (Unified Modelling Language), especialmente a partir dos diagramas de seqüência. Um estudo de caso foi desenvolvido para ilustrar a aplicabilidade do método / Interest in component-based software development has increased significantly due its promise to reduce development costs and time through reuse. The majority of existing methodologies has focus in the analysis and design disciplines. Never the less, effective reuse of components is closely related to their reliability. The main goal of this work is to propose a method of functional testing to verify software components. Since testability of systems is greatly influenced by the development process chosen, the proposed method is integrated with a well-defined component development process. Test artifacts are generated from UML (Unified Modelling Language) specifications, specially sequence diagrams. A case study has been developed to illustrate the applicability of the method.

Made available in DSpace on 2016-06-02T19:05:21Z (GMT). No. of bitstreams: 1 DissLRL.pdf: 1027181 bytes, checksum: 9aff4fc2bc614d350392b6d83ff1ecac (MD5) Previous issue date: 2006-08-25 / Nowadays, some projects of genomes of different organisms are being analyzed generating a great volume of data, which are stored in heterogeneous and distributed data sources. Moreover, there are available tools in the genome domain that also need to be integrated. Another problem is that the systems developed for these objectives do not offer all the support to the researchers, therefore in their majority do not possess flexibility and are of difficult expansion. The proposal of this work is the development of a software component framework, called FrameEST, developed with the most recent technologies of reuses, that structures and guides the development of different applications of molecular biology domain. The FrameEST is available for reuses of the applications: in the phase of modeling in a CASE tool and the phase of implementation as one plug-in in the Eclipse enviroment. A case study is used to illustrate the FrameEST reuse. / Atualmente, vários projetos de genomas de diferentes seres vivos estão sendo mapeados gerando um grande volume de dados, os quais são armazenados em fontes de dados heterogêneas e distribuídas. Além disso, existem ferramentas disponíveis no domínio de genomas que também necessitam serem integradas. Outro problema é que os sistemas desenvolvidos para este fim não atendem aos pesquisadores, pois na sua grande maioria não possuem flexibilidade e são de difícil expansão. A proposta deste trabalho é o desenvolvimento de um framework de componentes de software, denominado FrameEST, desenvolvido com as mais recentes tecnologias de reuso, que estrutura e orienta o desenvolvimento de diferentes aplicações do domínio de biologia molecular. O FrameEST está disponível para reuso das aplicações: na fase de modelagem em uma ferramenta CASE e na fase de implementação como um plug-in no ambiente Eclipse. Um estudo de caso é utilizado para ilustrar o reuso do FrameEST.

Made available in DSpace on 2016-06-02T19:06:25Z (GMT). No. of bitstreams: 1 DissCASM.pdf: 1200630 bytes, checksum: 31a29b879fb6e724926c4a08c9870967 (MD5) Previous issue date: 2005-08-26 / New software development approaches have been proposed in order to permit the increasing of productivity and application quality. Among these approaches, the software development based on components can be evidenced. This approach is characterized by the software component reuse. In order to permit this reuse, it is necessary a repository which is responsible for storing, searching and retrieving software components. In this context, this work aims to identify and model component metadata on databases, allowing the definition of eficient search strategies to retrieve such components. For reaching these goals, information retrieval concepts and the ART-2A self-organizing artificial neural network architecture were adopted. Experiments were conduced to conrm the viability of this proposal. / Novas abordagens de desenvolvimento de software tÍm sido propostas para possibilitar o aumento da produtividade e qualidade das aplicaÁıes. Entre essas abordagens pode-se destacar o desenvolvimento de software baseado em componentes (DBC). Essa abordagem È caracterizada pelo reuso de componentes de software. Para possibilitar esse reuso È necess·rio um repositório que armazene componentes e forneÁa mecanismos eficazes para a sua localização. Nesse contexto, esta pesquisa tem como objetivo identificar e modelar metadados de componentes em um banco de dados possibilitando a definição de estratÈgias de busca eficazes para sua recuperação, o. Para alcançar tais objetivos são utilizados conceitos da área de recuperação de informação e da arquitetura de rede neural artificial auto-organizável ART-2A. São apresentados resultados de experimentos que comprovam a viabilidade da proposta.