Made available in DSpace on 2014-06-12T15:56:43Z (GMT). No. of bitstreams: 2 arquivo2966_1.pdf: 1666666 bytes, checksum: 973dda346a6f1998a4dcfea9706b94a5 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / A Common Intermediate Language (CIL), linguagem intermediária definida pelo padrão ECMA-335, provou ser uma representação alvo eficiente para muitas linguagens de alto nível, permitindo a portabilidade de programas para diversas plataformas. Entretanto, os compiladores de linguagem CIL disponíveis nas implementações existentes do padrão ECMA-335 não são adequados para o desenvolvimento de sistemas que executem diretamente sobre o hardware, como sistemas em tempo real, sistemas embarcados e novos sistemas operacionais específicos, porque exigem o suporte de uma máquina virtual (VES Virtual Execution System) para o funcionamento dos programas compilados. Este fato confina a seleção de linguagens às tradicionais C e C++ como opções para o desenvolvimento de tais sistemas. Face a esse confinamento, apresentamos a construção de um compilador estático de código CIL chamado CILCompiler, que transforma um subconjunto da linguagem em uma imagem executável que funciona com acesso direto ao hardware, sem a necessidade de uma máquina virtual. No intuito de tornar didático o compilador, facilitando a construção, compreensão e extensão do mesmo, foi adotada a abordagem incremental para a construção de compiladores, que sugere a utilização de pequenos passos incrementais para obter um compilador funcional logo nos estágios primitivos de desenvolvimento

Despite decades of research aiming to ameliorate the difficulties of creating software, programming still remains an error-prone task. Much work in Computer Science deals with the problem of specification, or writing the right program, rather than the complementary problem of implementation, or writing the program right. However, many desirable software properties (such as portability) are obtained via adherence to coding standards, and therefore fall outside the remit of formal specification and automatic verification. Moreover, code inspections and manual detection of standards violations are time consuming. To address these issues, this thesis describes Exstatic, a novel framework for the static detection of coding standards violations. Unlike many other static checkers Exstatic can be used to examine code in a variety of languages, including program code, in-line documentation, markup languages and so on. This means that checkable coding standards adhered to by a particular project or institution can be handled by a single tool. Consequently, a major challenge in the design of Exstatic has been to invent a way of representing code from a variety of source languages. Therefore, this thesis describes ICODE, which is an intermediate language suitable for representing code from a number of different programming paradigms. To substantiate the claim that ICODE is a universal intermediate language, a proof strategy has been developed: for a number of different programming paradigms (imperative, declarative, etc.), a proof is constructed to show that semantics-preserving translation exists from an exemplar language (such as IMP or PCF) to ICODE. The usefulness of Exstatic has been demonstrated by the implementation of a number of static analysers for different languages. This includes a checker for technical documentation written in Javadoc which validates documents against the Sun Microsystems (now Oracle) Coding Conventions and a checker for HTML pages against a site-specifc standard. A third system is targeted at a variant of the Python language, written by the author, called python-csp, based on Hoare's Communicating Sequential Processes.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-06-07T18:08:54Z No. of bitstreams: 1 brunofernandesbastos.pdf: 2778109 bytes, checksum: 078e98ab953377165b30e0e21520c35c (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-06-24T13:49:46Z (GMT) No. of bitstreams: 1 brunofernandesbastos.pdf: 2778109 bytes, checksum: 078e98ab953377165b30e0e21520c35c (MD5) / Made available in DSpace on 2017-06-24T13:49:46Z (GMT). No. of bitstreams: 1 brunofernandesbastos.pdf: 2778109 bytes, checksum: 078e98ab953377165b30e0e21520c35c (MD5) Previous issue date: 2015-08-20 / Workflows científicos vêm sendo utilizados para resolver problemas complexos em diferentes áreas. Sistemas Gerenciadores de Workflows Científicos (SGWfCs) são utilizados para a especificação e gerenciamento desses workflows. Porém, cada SGWfC pode possuir características diferentes e uma linguagem de especificação de workflows própria, dificultando o reuso dos workflows entre diferentes SGWfCs. A inexistência de uma padronização semântica dificulta ainda mais esse reuso, uma vez que elementos de modelagem de workflow presentes em alguns SGWfCS podem não ser mapeáveis em outros SGWfCs. O uso de uma linguagem intermediária para o intercâmbio de workflows científicos facilita o reuso de workflows desenvolvidos em diferentes SGWfCs ao permitir a definição de um arcabouço comum para esses SGWfCs. No entanto, uma linguagem desse tipo não impede que haja perda de informação semântica durante um processo de transformação de especificações entre esses SGWfCs, uma vez que essa linguagem deve ser robusta o suficiente para representar a semântica de diversos workflows desenvolvidos em diferentes SGWfCs. A existência de padrões (patterns) em workflows científicos pode ajudar a explicitar as informações semânticas mais importantes para a construção desses workflows. Assim a proposta deste trabalho é oferecer uma abordagem baseada em padrões para o intercâmbio entre especificações de workflows científicos, empregando uma linguagem intermediária com suporte a informações semânticas obtidas através da descrição dos padrões. Esta dissertação analisa os resultados obtidos com essa proposta a partir da aplicação da abordagem em especificações de workflows armazenadas no repositório myExperiment. / Scientific workflows have been used to solve complex problems in different areas. Scientific Workflow Management Systems (SWfMSs) are used for specifying and managing these workflows. Nevertheless, each SWfMS may have different characteristics and its own workflow specification language, making its reuse accross different SWfMSs a difficult process. The lack of semantic standardization makes this reuse even more difficult, since the workflow modeling elements available in some SWfMSs may not be mapped onto others SWfMSs. The use of an intermediate language for the interchange of scientific workflows may help with the reuse of workflows developed in different SWfMSs, as it allows for the definition of a common framework for these SWfMSs. Nonetheless, such a language does not prevent the loss of some semantic information during a specification transformation process between different SWfMSs, since this language must be robust enough to represent the semantics of diverse workflows developed in different SWfMSs. The identification of scientific workflow patterns may help to describe the most important semantic information for the construction of these workflows. Thus, the purpose of this study is to provide a pattern-based approach for the interchange of scientific workflow specifications, using an intermediate language that supports semantic information obtained through the description of workflow patterns. This thesis also analyses the results obtained with the proposed approach being applied to workflow specifications stored in the myExperiment repository.