Problemas de saúde pública causados pelo consumo de carnes envolvem diversos países e obrigam a cadeia agroalimentar a repensar o modo de produção e os sistemas de garantia de qualidade. Devido a este fato, esta pesquisa teve como objetivo estudar a rastreabilidade na cadeia avícola, tendo como foco o consumidor. Para isso foi realizado um survey, no qual foram realizadas entrevistas com 393 consumidores da cidade de Porto Alegre. Os questionários foram aplicados no período de abril a julho de 2004 em supermercados de pequeno, médio e grande porte, além do mercado público da cidade. Os atributos sanitários que o consumidor considera importantes para se rastrear na carne de frango são: Influenza Aviária (Gripe do Frango), Salmonela, Hormônios, Controle do Índice de Absorção de Água e Resíduos de Antimicrobianos. Além disso, os entrevistados consideram que as seguintes informações devam constar na embalagem da carne de frango: Data de Validade, o número do SIF, Certificado de Qualidade, Advertência quanto a Riscos de Toxinfecção Alimentar, Preço, Data de Abate e Origem/Procedência. São exploradas na pesquisa as correlações de diversas variáveis com o nível de escolaridade, renda e faixa etária. Com base nestes dados e utilizando a análise de filière, buscou-se propor maneiras de se atingir na rastreabilidade os pontos cruciais indicados pelos consumidores. Apesar da cadeia avícola ser bem organizada, foi evidenciada por esta pesquisa a necessidade de melhorar a circulação da informação na cadeia; para isso, sugere-se um sistema integrado de informação. Finalmente, foi proposto um modelo de rastreabilidade que contempla toda a cadeia avícola, incluindo todos os elos, desde o consumidor até o matrizeiro, indicando-se possíveis fatores que podem dificultar a construção do mesmo.

Orientadores: Mario Jino, Adalberto Nobiato Crespo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-14T16:58:11Z (GMT). No. of bitstreams: 1 Cruz_JorgeLuizda_M.pdf: 7882925 bytes, checksum: 22c00381be75943036b99c042ac78278 (MD5) Previous issue date: 2009 / Resumo: Software possui um papel fundamental em inúmeras aplicações e a qualidade de produtos de software é crucial na competitividade das empresas produtoras de software, que dedicam esforço crescente na busca por boa qualidade nos seus produtos. Neste contexto, o teste é reconhecido como um processo fundamental para alcançar este objetivo; entretanto, testar software sistematicamente não é uma tarefa trivial. Para que o teste tenha efetividade e eficácia, além dos aspectos relacionados à avaliação do software, ele deve fazer uso de documentação de boa qualidade: toda a informação registrada deve estar atualizada e consistente; além disso, informação associada deve ser rastreável. É proposto um modelo de rastreabilidade para a informação contida na documentação do processo de teste; o modelo de dados desenvolvido dá suporte tanto à documentação baseada na norma IEEE Std 829-1998, como à rastreabilidade de toda informação associada; um protótipo de ferramenta foi desenvolvido para implementar o modelo de dados e o modelo de rastreabilidade. / Abstract: Software plays a key role in many applications and quality of software products is crucial in the competitivity of software development companies, which are increasingly putting effort in the quest for good quality in their products. In this context, testing is recognized as a key process to achieve this goal; however, systematic software testing is not an easy activity. For testing to have effectiveness and efficacy, in addition to product evaluation aspects, it must make use of good quality documentation: all the recorded information must be up to date and consistent; also, associated information must be traceable. A traceability model is proposed for the information contained in the documentation of the testing process; the data model developed gives support to documentation based on the standard IEEE Std 829-1998, as well as to traceability of all associated information; a prototype tool was developed to implement the data model and the traceability model. / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Este trabalho apresenta o projeto e desenvolvimento de dois sistemas de calibração de acelerômetros. O primeiro sistema foi desenvolvido a partir de um sistema interferométrico laser Hewlett-Packard (HP 5529A), utilizado como padrão de referência absoluta. Este sistema foi projetado com o propósito de calibrar acelerômetros-padrão de comparação e acelerômetros-padrão de transferência. O segundo sistema de calibração utiliza como padrão de referência acelerômetros-padrão de comparação. Este segundo sistema foi projetado com o objetivo de calibrar acelerômetros de uso corriqueiro. Desta forma, o conjunto formado pelos dois sistemas de calibração podem ser rastreáveis até os padrões primários, nacionais e internacionais. Para cada um dos sistemas de calibração são apresentadas discussões relativas às suas características construtivas, aos testes de operação e às avaliações sobre os desempenhos alcançados. / This work presents the design and development of two accelerometer calibration systems. The first system was developed from a Hewlett-Packard laser interferometric system (HP 5529A), taken as an absolute reference standard. This system was designed to allow calibration of comparison standard accelerometers and transfer standard accelerometers. The second calibration system, which employs comparison standard accelerometers as reference, was designed to calibrate common use accelerometers. Thus, the arrangement of the two calibration systems can be traceable until the primary national and international standards. For each calibration system, a discussion is presented, concerning their constructive characteristics, operation testing and evaluation of accomplished performance.

O Brasil é um dos maiores produtores e exportadores de carne bovina do planeta e com a expectativa de ser responsável por 45% do consumo mundial sendo que a maior parte de seu consumo ainda é local. Para se manter nesta posição e expandir suas vendas tanto no mercado interno como externo é importante que se garanta a qualidade do produto. Esta qualidade só é conseguida quando se consegue gerenciar todo o processo da cadeia produtiva, de forma a permitir o registro de todos os dados do animal na cadeia de produção. Tanto o governo através do SISBOV como grandes distribuidores possuem sistemas de gerenciamento que através de técnicas de rastreabilidade permitem ter este controle. A identificação do animal é ponto chave para a rastreabilidade que hoje é feita através de bottons, transponders, brincos entre outros. Todos estes métodos são invasivos e suscetíveis a perdas e adulterações. Esta dissertação mostra a viabilidade de inserir em sistemas de rastreabilidade existentes ou não a inclusão de identificação biométrica e usa como exemplo o focinho nasal do bovino. Para tanto desenvolveu-se programas para entrada de informações através de um celular com sistema operacional Android que em conjunto com programas desenvolvidos para rodarem na WEB pudessem cadastrar e confirmar a identidade do animal. Os testes mostraram a capacidade do aplicativo Android em localizar o espelho nasal e coletar o mesmo. Com os dados coletados foi possível armazenar as informações ou confirmar a identidade do animal por meio dos serviços do servidor. Mostrou-se desta forma viável a utilização deste tipo de identificação em sistemas de gerenciamento novos ou já existentes. / Brazil is one of the largest producers and exporters of beef in the world and with the expectation of being responsible for 45% of global consumption and the largest part of consumption is still locall. To stay in this position and to expand its sales both in domestic and foreign markets is important to ensure product quality. This quality is achieved only when you can manage the entire process of the production chain in order to allow the registration of all animal data in the production chain. The government through SISBOV and large distributors have been working with management systems through traceability techniques. Animal identification is key to the traceability and nowadays is made via bottoms, transponders, earrings among others. All these methods are invasive and susceptible to loss and tampering. This work shows the feasibility of entering into existing traceability systems or not the inclusion of biometric identification and uses as an example the nasal muzzle beef. For both developed programs to input information through a mobile phone with Android operating system in conjunction with programs designed to be web based solution could register and confirm the identity of the animal. All results was able to shown the system performance by showing that it was possible to store the information or confirm the identity of the animal through the server services. The methodology proposed could be useful in commercial applications focusing in bovine traceability.

Rastreabilidade de Requisitos é uma atividade de grande importância no contexto da Gerência de Requisitos em Projetos de software e pode ser definida como a atividade que acompanha um requisito em todo seu ciclo de vida. Nesse sentido, diversas abordagens (técnicas, modelos de processos, frameworks de processo, ferramenta, metodologias e afins) de apoio a rastreabilidade encontram-se dispersas na literatura para que se possam atingir os níveis de produtividade e qualidade desejados. Neste contexto, este trabalho visa contribuir por meio de um catálogo de abordagens de apoio a atividade de rastreabilidade de requisito, que é um instrumento que reúne estas abordagens a fim de facilitar e ajudar organizações na sua escolha. Para alcançar tal resultado foi utilizado o método da Engenharia de Software Baseada em Evidências chamado Revisão Sistemática da Literatura, devido a este método ser confiável, rigoroso e auditável, tendo assim, como objetivo investigar na literatura tais abordagens e boas práticas de rastreabilidade de requisitos no contexto de projetos de software.

Managing a software project is an increasingly complex task as it demands the quality of the final product to increase. Thus, e ective management is required from project design to software deployment and maintenance. According to the literature found, Requirements Engineering is the most important phase in terms of final impact on a software project. Changes in software requirements occur throughout the software process, from elicitation and requirements analysis to software operation. Requirements traceability enables one to identify the source and the dependency among software requirements. Studies show that current requirements traceability tools and methods are insu cient which makes it di cult to use traceability in practice. The goal of this work was the proposal of a requirements traceability technique combined with a modeling language and supported by a tool. To achieve this goal, bibliographic review, state-of-the-art research, comparative analysis, questionnaire and interviews were used as research instruments. Initially, an analysis of requirements traceability techniques and evaluation of requirements traceability tools were performed to evaluate if the techniques are used in practice and are being supported by software tools. After these analysis, an event-based traceability technique was proposed using concepts from the SysML modeling language. A software tool was developed to support this technique. Whenever a requirement is modified, the tool notifies stakeholders of such change made to the system requirements through e-mail. The technique and the tool were evaluated by twenty four information technology professionals using a questionnaire based on the TAM model that encompasses the concepts of perceived utility, perceived ease of use and perceived use, and interviews. As a result, the lack of relationship between the techniques and the tools surveyed was observed, and the criterion of automatic communication with stakeholders was not addressed in any evaluated tool. With regard to the proposed technique and tool, a wide acceptance of technique and tool was observed. The acceptance of the proposals was carried out by professionals with varied experiences in software development. / Gerenciar um projeto de software é uma tarefa cada vez mais complexa à medida que as exigências sobre a qualidade do produto final aumentam. Assim, é preciso um gerenciamento eficaz desde a concepção do projeto até a implantação e manutenção do software. Segundo a literatura encontrada, a Engenharia de Requisitos é a fase que possui maior impacto em um projeto de software. As mudanças nos requisitos de software ocorrem ao longo do processo de software, desde a elicitação e análise de requisitos até a operação do software. A rastreabilidade de requisitos possibilita identificar a origem e a dependência entre os requisitos de software. Estudos mostram que as ferramentas e métodos de rastreabilidade de requisitos atuais são insuficientes e dificultam o uso prático da rastreabilidade. O objetivo deste trabalho é a criação de uma técnica de rastreabilidade de requisitos combinada com uma linguagem de modelagem e que seja apoiada por uma ferramenta. Para atingir este objetivo, foram utilizados como instrumentos de pesquisa a revisão bibliográfica, uma pesquisa do tipo estado da arte, análise comparativa, questionário e entrevistas. Inicialmente, foram realizadas análise das técnicas de rastreabilidade de requisitos e avaliação de ferramentas de rastreabilidade de requisitos com intuito de avaliar se as técnicas são utilizadas na prática, e se estão sendo apoiadas por ferramentas de software. Após estas análises, foi proposta uma técnica de rastreabilidade entre requisitos baseada em eventos utilizando conceitos da linguagem de modelagem SysML. Uma ferramenta de software foi desenvolvida para apoiar essa técnica. Sempre que um requisito é modificado, a ferramenta notifica aos stakeholders a alteração realizada nos requisitos do sistema por meio de e-mails. A técnica e a ferramenta foram avaliadas por vinte e quatro profissionais de tecnologia da informação utilizando questionário, baseado no modelo TAM, que engloba os conceitos de utilidade percebida, facilidade de uso percebido e uso percebido, e entrevistas. Como resultado, foram observados a falta de relação entre as técnicas e as ferramentas pesquisadas e que o critério de comunicação automática com stakeholders não foi abordado em nenhuma ferramenta avaliada. Com relação à técnica e ferramenta propostas, observou-se uma ampla aceitação da técnica e da ferramenta. A aceitação das propostas foi realizada por profissionais com experiências variadas em desenvolvimento de software.

A suinocultura tem se fortalecido no mercado internacional devido ao aumento de consumo, importação e exportação de seus produtos e subprodutos; e principalmente pela necessidade mundial por alimentos, pelos avanços tecnológicos voltados à produção e comercialização, e pela valorização à qualidade dos produtos. Neste contexto, destaca-se a utilização da rastreabilidade aplicada na cadeia suína, como condição primordial para a comercialização nas exportações da carne suína brasileira. Dentre os processos de rastreabilidade, o acompanhamento “do campo à mesa” é um dos mais discutidos nos últimos anos, devido à amplitude de seu sistema, envolvendo a cadeia de suprimentos, a cadeia produtiva, o rastreamento de ativos e inspeções. O Brasil dispõe do terceiro maior rebanho suíno para abate do mundo, e faz uso de diversas tecnologias de rastreabilidade. Este trabalho descreve um estudo do frigorífico Doux localizado em Ana Rech, Caxias do Sul–RS, considerando a rastreabilidade sob um novo enfoque que engloba o caminho do suíno desde “o Laboratório à Mesa”, através da observação de diferenciais competitivos e ganhos produtivos que possam ser fornecidos através de informações rastreadas de carga genética, produtores e níveis de referência produtiva. A metodologia utilizada envolveu a pesquisa qualitativa, de caráter exploratório, através do desenvolvimento de um estudo de caso, utilizando-se ainda material documental e entrevistas individuais semi-estruturadas, considerando-se como embasamento teórico as abordagens relacionadas à rastreabilidade da carne suína, cadeia de suprimentos e cadeia produtiva suína. Como resultados esperados, prevê-se que a utilização da rastreabilidade “do Laboratório à Mesa” possibilitará à empresa, fazendo uso da união da genética e a sua gestão, bem como das especificidades dos diferentes mercados, melhorar o produto, atender determinadas características solicitadas por esses mercados, garantindo uma maior competitividade. / Submitted by Marcelo Teixeira (mvteixeira@ucs.br) on 2014-05-13T13:18:19Z No. of bitstreams: 1 Dissertacao Andrea Rivieri dos Santos.pdf: 3521893 bytes, checksum: 25dde28dbfb42f01f1e249487449f315 (MD5) / Made available in DSpace on 2014-05-13T13:18:19Z (GMT). No. of bitstreams: 1 Dissertacao Andrea Rivieri dos Santos.pdf: 3521893 bytes, checksum: 25dde28dbfb42f01f1e249487449f315 (MD5) / The pig industry has become stronger in the international market due to increased consumption, import and export of their products and by-products especially the need for food of the world, through technological advances aimed at production and marketing, and the enhancement of product quality. In this context, we highlight the use of the traceability chain applied in swine, as a prime condition for commercialization in Brazil's pork exports. Among the processes of tracking, monitoring "from farm to fork" is one of the most discussed in recent years due to the breadth of your system, involving the supply chain, production chain, asset tracking and inspections. Brazil has the third largest herd of pigs for slaughter in the world, and makes use of several technologies for traceability. This paper describes a study of the company Doux located in Ana Rech, Caxias do Sul-RS, considering traceability in a new approach that encompasses the path of the pig from "Lab to the mouth", through the observation of competitive advantages and productivity gains that can be provided through the genetic information tracked, producers and production benchmarks. The methodology involved qualitative research, exploratory, by developing a case study, using documentary material and even individual semi-structured, considering as the theoretical framework approaches related to pork traceability, chain supplies and pork production chain. It is expected, as result, that the use of traceability "Lab to the mouth” will allow the company, by using the union of genetics and its management as well as the specificities of different markets, improvement of the product, meet certain characteristics required by these markets, ensuring greater competitiveness.

A suinocultura tem se fortalecido no mercado internacional devido ao aumento de consumo, importação e exportação de seus produtos e subprodutos; e principalmente pela necessidade mundial por alimentos, pelos avanços tecnológicos voltados à produção e comercialização, e pela valorização à qualidade dos produtos. Neste contexto, destaca-se a utilização da rastreabilidade aplicada na cadeia suína, como condição primordial para a comercialização nas exportações da carne suína brasileira. Dentre os processos de rastreabilidade, o acompanhamento “do campo à mesa” é um dos mais discutidos nos últimos anos, devido à amplitude de seu sistema, envolvendo a cadeia de suprimentos, a cadeia produtiva, o rastreamento de ativos e inspeções. O Brasil dispõe do terceiro maior rebanho suíno para abate do mundo, e faz uso de diversas tecnologias de rastreabilidade. Este trabalho descreve um estudo do frigorífico Doux localizado em Ana Rech, Caxias do Sul–RS, considerando a rastreabilidade sob um novo enfoque que engloba o caminho do suíno desde “o Laboratório à Mesa”, através da observação de diferenciais competitivos e ganhos produtivos que possam ser fornecidos através de informações rastreadas de carga genética, produtores e níveis de referência produtiva. A metodologia utilizada envolveu a pesquisa qualitativa, de caráter exploratório, através do desenvolvimento de um estudo de caso, utilizando-se ainda material documental e entrevistas individuais semi-estruturadas, considerando-se como embasamento teórico as abordagens relacionadas à rastreabilidade da carne suína, cadeia de suprimentos e cadeia produtiva suína. Como resultados esperados, prevê-se que a utilização da rastreabilidade “do Laboratório à Mesa” possibilitará à empresa, fazendo uso da união da genética e a sua gestão, bem como das especificidades dos diferentes mercados, melhorar o produto, atender determinadas características solicitadas por esses mercados, garantindo uma maior competitividade. / The pig industry has become stronger in the international market due to increased consumption, import and export of their products and by-products especially the need for food of the world, through technological advances aimed at production and marketing, and the enhancement of product quality. In this context, we highlight the use of the traceability chain applied in swine, as a prime condition for commercialization in Brazil's pork exports. Among the processes of tracking, monitoring "from farm to fork" is one of the most discussed in recent years due to the breadth of your system, involving the supply chain, production chain, asset tracking and inspections. Brazil has the third largest herd of pigs for slaughter in the world, and makes use of several technologies for traceability. This paper describes a study of the company Doux located in Ana Rech, Caxias do Sul-RS, considering traceability in a new approach that encompasses the path of the pig from "Lab to the mouth", through the observation of competitive advantages and productivity gains that can be provided through the genetic information tracked, producers and production benchmarks. The methodology involved qualitative research, exploratory, by developing a case study, using documentary material and even individual semi-structured, considering as the theoretical framework approaches related to pork traceability, chain supplies and pork production chain. It is expected, as result, that the use of traceability "Lab to the mouth” will allow the company, by using the union of genetics and its management as well as the specificities of different markets, improvement of the product, meet certain characteristics required by these markets, ensuring greater competitiveness.

Artigo 1 - Sistemas de identificação e rastreabilidade na cadeia produtiva alimentar: uma análise sob a perspectiva da oferta segura de carne bovina A carne bovina é um importante segmento do agronegócio brasileiro, com elevada participação no valor das exportações do país. Este artigo objetiva discutir a consistência da legislação brasileira que ampara o Sistema de Identificação e Certificação de Bovinos e Bubalinos (SISBOV), em comparação às legislações de alguns países pioneiros na utilização de sistemas de identificação e rastreabilidade (SIRs) das cadeias produtivas de alimentos. Essa análise, embasada na teoria de Economia Institucional, parte da estrutura de produção pecuária doméstica, com base em dados secundários do MAPA, SECEX/MDIC, IBGE, FAO e ABIEC7, e de documentos que estabelecem a política de alimentos seguros, do MS8 e do MAPA. O estudo da legislação internacional abarca documentos oficiais dos Estados Unidos, Canadá e União Europeia (UE). O SISBOV foi desenvolvido para atender às exigências impostas pela UE para importação de carne bovina brasileira. A adesão a esse Serviço envolve uma série de ajustes na gestão dos vários elementos da cadeia produtiva de carne para viabilizar a sua exportação para a UE. Do ponto de vista de sua estrutura, esse sistema atende às exigências do mercado europeu, muito embora pareça mais factível para produtores e frigoríficos mais capitalizados. Adicionalmente, o SISBOV constitui-se, potencialmente, como um mecanismo inibidor de eventuais práticas ilegais, como abates clandestinos e sonegação de impostos. ARTIGO 2 - Os prós e contras do SISBOV: uma visão dos agentes econômicos da cadeia produtiva de carne bovina no Brasil. A partir dos anos 1990, a politica de comercio internacional de inúmeros países e a percepção de consumidores acerca da qualidade de alimentos derivados de animais foram influenciadas por crises de insegurança alimentar de amplo escopo que ganharam destaque naquele período. O SISBOV, implantado no Brasil em 2002, mandatório para pecuaristas que exportam para países que exigem rastreabilidade, elevou a complexidade da gestão da atividade pecuária e de seus custos no país. Este estudo objetiva mapear e identificar a opinião de pecuaristas, frigoríficos, empresas certificadoras, associações de classe e órgãos de inspeção e regulação acerca das medidas e dos serviços governamentais que visam a produção segura de carne bovina, em particular acerca do SISBOV. A pesquisa empírica foi conduzida por via eletrônica, com convites enviados a 414 potenciais participantes estabelecidos em todo o Brasil, e resultou numa amostra de 34 respondentes, de ambos os sexos, a maioria com formação acadêmica qualificada. As respostas foram tratadas e processadas com base na aplicação da metodologia qualiquantitativa do DSC. Resultados obtidos indicam que os atores da cadeia produtiva de carne bovina estão insatisfeitos com o SISBOV, na medida em que o sistema não atendeu suas expectativas. A baixa adesão dos pecuaristas se deve, principalmente, aos custos adicionais para implantação do sistema - ainda que se reconheça a sua contribuição para a gestão das fazendas -, sem garantia de retorno financeiro aos participantes, uma vez que e incerto o pagamento de valores adicionais pelos animais rastreados, pois os frigoríficos detém poder de mercado e estabelecem os preços nas transações com os pecuaristas. Criadores de gado percebem o SISBOV como uma etapa prévia a inclusão da propriedade rural na Lista TRACES, exigência adicional e exclusiva para exportadores brasileiros de carne bovina para a UE e que pode ser entendida como uma barreira não tarifaria. / Food production chain identification and traceability systems: an analysis considering the perspective of a safe beef offer. Beef is an important segment in the Brazilian agribusiness, with high share in the country exports value. This article aims at a discussion about the consistency of the Brazilian legislation that supports the Cattle and Buffalo Identification and Certification System (SISBOV), compared to the legislation of some pioneering countries that have been using identification and traceability systems in food production chains. The analysis, based upon Institutional Economics, involves an approach of the structure of the domestic cattle production, using secondary data made available by MAPA, SECEX/MDIC, IBGE, FAO and ABIEC, besides documents that establish the food safety policy, from MS and MAPA. The international legislation study was carried out from official documents from the United States of America, Canada and the European Union (EU). SISBOV was developed to comply with the exigences imposed by the EU to import Brazilian beef. The adherence to that system involves several adjustments in the management of the elements of the beef production chain to make it feasible to export to the EU. From the point of view of its structure, that system complies with the exigences of the European market, even though it seems to be more feasible to wealthier producers and slaughters. Further to that, SISBOV is, potentially, an inhibiting mechanism to occasional illegal practices such as clandestine slaughters and tax evading. SISBOV pros and cons: the perspective of the beef production chain economic agents in Brazil From the 1990´s on, the international trade policy from various countries and the consumers perception about the quality of animal based food were influenced by broad reach food unsafety crisis, that were pointed out at that moment. SISBOV, implemented in Brazil in 2002, mandatory to producers to export to countries that require traceability, increased the complexity of the cattle raising management and its costs in the country. This objective of this study was to seek and identify the opinion of producers, slaughters, certifying companies, class associations and inspection and regulatory entities, about the governmental procedures and services that aim at a safe beef production, particularly the SISBOV. The empirical research was carried out by electronic means, with invitations sent to 414 potential respondents all over Brazil, and led to a sample of 34 final respondents, both genders, most of them with qualified academic background. The answers were handled and processed based upon the use of the Discourse of the Collective Subject qualiquantitative methodology. Obtained results indicated the beef production chain actors are dissatisfied with SISBOV, taking into account that the system did not accomplish their expectations. The producers low adherence is, mainly, due to the additional costs to implement the system even though its contribution to the farms management is recognized - , without any payback guarantee to the participants, considering it is uncertain the payment of additional values for the traced cattle, since the slaughters hold the market power and establish the prices in the transactions with the producers. The producers perceive SISBOV as a previous step to include the farm in the TRACES List, an additional and exclusive exigency to Brazilian beef exporters to the EU, which can be understood as a non-tariff barrier.

A UML é uma notação gráfica utilizada na modelagem de sistemas orientados a objetos, em diferentes domínios da computação. Por ser simples de utilizar, em relação a outras formas de modelagem, a UML é amplamente difundida entre os desenvolvedores de software, tanto na academia quanto na indústria. Entre as suas vantagens, encontram-se: (i) a representação visual das relações entre classes e entidades, pois ao se utilizar de diagramas, a UML facilita o entendimento e a visualização das relações dentro do sistema modelado; (ii) a legibilidade e usabilidade, sem que seja necessário a leitura do código do sistema, uma vez que um desenvolvedor pode compreender quais partes do código são redundantes ou reutilizadas; e (iii) uma ferramenta de planejamento, ao auxiliar na definição do que deve ser feito, antes que a implementação comece de fato, além de poder produzir código e reduzir o tempo de desenvolvimento. Todavia, a UML possui desvantagens, tais como: (i) ambiguidade entre elementos UML diferentes, devido a sobreposição dos diagramas; e (ii) falta de uma semântica clara, o qual geralmente faz com que a semântica da linguagem de programação seja adotada. Para mitigar essas desvantagens, pesquisadores buscam atribuir uma semântica formal à UML. Esse tipo de semântica é encontrado em modelos formais, onde o sistema modelado é livre de ambiguidades e possui uma semântica clara e precisa. Por sua vez, os modelos formais não são simples de serem criados e compreendidos por desenvolvedores. O grau de conhecimento em formalismo necessário para utilizar tal modelo é alto, o que faz com que seu uso seja menos difundido, comparado com a notação gráfica não formal da UML. Apesar dos esforços dos pesquisadores, as técnicas de formalização semântica da UML apresentam, no geral, um problema pouco abordado: apesar de utilizar a UML para modelar o sistema, o artefato final dessas técnicas é um trace formal. Considerando o conhecimento comum de um desenvolvedor de software, esse trace dificulta a análise dos problemas, encontrados pelos model checkers, e a correção dos mesmos no modelo UML. Com o objetivo de auxiliar o desenvolvedor na compreensão dos resultados formais (o trace citado), esta tese de doutorado apresenta uma abordagem baseada em Model-driven Architecture (MDA) capaz de representar as informações dos resultados formais dentro de um modelo UML. Por meio de transformações do modelo UML, essas representações, definidas utilizando a abordagem, auxiliam o desenvolvedor a visualizar o fluxo de execução do model checker dentro do modelo UML. Assim, acredita-se que as vantagens obtidas pela formalização semântica da UML podem ser mais difundidas e utilizadas pelos desenvolvedores, principalmente na indústria. / UML is a graphical notation used for modeling object-oriented software systems in different domains in computer science. Being simple to use, compared to other modeling techniques, UML is widespread among software developers, both in academia and industry. Among its advantages are: (i) the visual representation of the relationships between classes and entities, as when using diagrams, UML facilitates understanding and visualization of relationships within the modeled system; (ii) readability and usability without having to read the system code, since a developer can understand which parts of the code are redundant or reusable; and (iii) a planning tool, helping to define what needs to be done before the implementation actually begins, as well as being able to produce code and reduce development time. However, the UML also has disadvantages, such as: (i) ambiguity between different UML elements due to overlapping diagrams; and (ii) lack of clear semantics, which generally causes the semantics of the programming language to be adopted. To mitigate these disadvantages, researchers seek to assign a formal semantics to the UML. This type of semantics is found in formal models, where the modeled system is free of ambiguity and has a clear and precise semantics. On the other hand, formal models are not simple to create and understand by developers. The degree of formalism knowledge required to use such a model is high, which makes their use less widespread, compared to UML non-formal graphical notation. Despite the researchers efforts, in general the techniques that formalize the UML semantics has a problem that is forgotten: although using the UML to model the system, the final artifact of these techniques is a formal trace. Considering the common knowledge of a software developer, this trace makes it difficult to analyze the problems encountered by model checkers and to correct them in the UML model. In order to assist the developer in understanding the formal results (the trace above), this thesis presents an approach based on Model-driven Architecture (MDA) capable of representing the information of the formal results in the UML model. Through UML model transformations, these representations, set using the approach, help the developer to visualize the execution flow of the model checker within the UML model. Thus, we believe that the advantages obtained by formalizing the UML semantics may be more widespread and used by developers, especially in industry.