Tendo em vista a crescente demanda da região metropolitana de São Paulo por transporte público rápido e eficaz, os investimentos em novas linhas e estações de metrô são crescentes, bem como a necessidade de aceleração do projeto e construção de tal infraestrutura. Nesse contexto insere-se a implantação do processo BIM - \"Building Information Modeling\" ou \"Modelagem da Informação da Construção\" pela Companhia do Metropolitano de São Paulo em seus projetos de estações e vias. O Metrô atua produzindo projetos internamente e, principalmente, contratando projetos externos que necessitam de análise para aprovação. Com o desenvolvimento dos projetos básicos civis em BIM, houve alterações no trabalho diário, a análise visual se beneficiou do modelo 3D, representando agora o projeto inteiro e não apenas seções deste. Isto possibilitou antecipar decisões que antes eram tomadas no executivo, atuando assim em um momento com maior capacidade de alterações de projeto. Um dos usos importantes do BIM no processo de análise de projeto é a Verificação de Regras. O uso de verificação automatizada permite que o analista possa focar apenas na lista de não conformidades, ganhando tempo para dedicar-se mais a resolução destas. E, por parte do projetista, é possível verificar antecipadamente o cumprimento de diretrizes, e já providenciar soluções aos problemas apontados. A presente pesquisa visou apoiar o processo de implantação deste uso de BIM, pela proposta de fluxo para implantação da verificação automatizada, identificação dos padrões de regras existentes e desenvolvimento de uma classificação de regras com foco na automatização de sua verificação. Os padrões propostos foram usados na análise de documento de Instruções de Projeto Básico de Arquitetura e na tradução de suas regras para aplicação em software para este fim com a intenção de fechar o ciclo da verificação. / In view of the increasing demand of São Paulo metropolitan area for fast and efficient public transport, the investment in new lines and subway stations are growing, as well as the need for accelerating the design and the construction of such infrastructure. In this context is the deployment of BIM - \"Building Information Modeling\" by Companhia do Metropolitano de São Paulo - Metrô on its stations and rails. Metrô operates the production of projects internally, and particularly contracts external projects that require analysis for approval. With the development of their basic civil projects in BIM, there have been changes in daily work, the visual analysis has been benefited from the 3D model, representing now the entire project and not only its sections. This has made possible to anticipate decisions that used to be taken in the shop drawings phase, thereby acting at a time with greater ability to apply changes in projects. One of the important BIM usages in the project\'s review process is the code checking. This allows the analyst to focus on the list of nonconformities only, gaining time to make further effort on their resolution. And, on the part of the designer, it is possible to verify the compliance of the guidelines in advance, and provide solutions to the problems already presented. The present research aimed to support the implementation process of using this BIM use, based on the flow proposal for the deployment of automated verification, the identification of patterns of existing rules and the developing of classification rules focusing on automating its checking. The proposed standards were used when analyzing documents of the architecture basic design instructions and in the translation of their rules for software application for this purpose with the intention to close the checking cycle.

This study focuses on the development of a new, formal method for the automated checking of pedestrian circulation rules in Courthouse Design Guide. Automated building rule checking is an automated process of design evaluation against design requirements. Since the early 1970's, when the electronic representation of building design became available, automated building rule checking, a computational process, has been a focus of study, and it continues to be a popular research area because it facilitates the design evaluation process by reducing the checking time and evaluation costs and by increasing the objectivity and the reliability of the evaluation. Thanks to the emergence of BIM (Building Information Model) authoring software, BIM became available to use in real building design, and several automated building code checking systems were developed based on BIM. In practice, the use of a rule checking system in real design evaluation may be influenced by several factors. Among the factors that affect the accuracy and the reliability of automated checking such as checking algorithms and rule interpretation is the level of completeness of the BIM in the design process, which can cause limitations in the application of a rule checking algorithm to the model. Problems caused by the incompleteness of the BIM occurred in CORENET project, a project initiated by the Singapore government in 1999 for automation of building code checking, and GSA Courthouse Design Guide Automation project (GSA), initiated at Georgia Tech in 2007 also faced with the same problems caused by incompleteness of BIM in the development stage. This thesis is a continuing research of GSA-Courthouse Design Guide Automation project (Simply, GSA project). The theoretical goals of this study are to provide a logical foundation upon which one can build an automated checking module for circulation rule checking and that is capable of outlining the rule-validation process independently from its diverse implementation. The theory for circulation rule checking is devised to represent the process of the validation of a building design in the development stage. The theory deals with issues of validation caused by the lack of data in the development of a building design.

Tendo em vista a crescente demanda da região metropolitana de São Paulo por transporte público rápido e eficaz, os investimentos em novas linhas e estações de metrô são crescentes, bem como a necessidade de aceleração do projeto e construção de tal infraestrutura. Nesse contexto insere-se a implantação do processo BIM - \"Building Information Modeling\" ou \"Modelagem da Informação da Construção\" pela Companhia do Metropolitano de São Paulo em seus projetos de estações e vias. O Metrô atua produzindo projetos internamente e, principalmente, contratando projetos externos que necessitam de análise para aprovação. Com o desenvolvimento dos projetos básicos civis em BIM, houve alterações no trabalho diário, a análise visual se beneficiou do modelo 3D, representando agora o projeto inteiro e não apenas seções deste. Isto possibilitou antecipar decisões que antes eram tomadas no executivo, atuando assim em um momento com maior capacidade de alterações de projeto. Um dos usos importantes do BIM no processo de análise de projeto é a Verificação de Regras. O uso de verificação automatizada permite que o analista possa focar apenas na lista de não conformidades, ganhando tempo para dedicar-se mais a resolução destas. E, por parte do projetista, é possível verificar antecipadamente o cumprimento de diretrizes, e já providenciar soluções aos problemas apontados. A presente pesquisa visou apoiar o processo de implantação deste uso de BIM, pela proposta de fluxo para implantação da verificação automatizada, identificação dos padrões de regras existentes e desenvolvimento de uma classificação de regras com foco na automatização de sua verificação. Os padrões propostos foram usados na análise de documento de Instruções de Projeto Básico de Arquitetura e na tradução de suas regras para aplicação em software para este fim com a intenção de fechar o ciclo da verificação. / In view of the increasing demand of São Paulo metropolitan area for fast and efficient public transport, the investment in new lines and subway stations are growing, as well as the need for accelerating the design and the construction of such infrastructure. In this context is the deployment of BIM - \"Building Information Modeling\" by Companhia do Metropolitano de São Paulo - Metrô on its stations and rails. Metrô operates the production of projects internally, and particularly contracts external projects that require analysis for approval. With the development of their basic civil projects in BIM, there have been changes in daily work, the visual analysis has been benefited from the 3D model, representing now the entire project and not only its sections. This has made possible to anticipate decisions that used to be taken in the shop drawings phase, thereby acting at a time with greater ability to apply changes in projects. One of the important BIM usages in the project\'s review process is the code checking. This allows the analyst to focus on the list of nonconformities only, gaining time to make further effort on their resolution. And, on the part of the designer, it is possible to verify the compliance of the guidelines in advance, and provide solutions to the problems already presented. The present research aimed to support the implementation process of using this BIM use, based on the flow proposal for the deployment of automated verification, the identification of patterns of existing rules and the developing of classification rules focusing on automating its checking. The proposed standards were used when analyzing documents of the architecture basic design instructions and in the translation of their rules for software application for this purpose with the intention to close the checking cycle.

Due to the surge in the development of software, people in the software industry have a need for higher coding quality in different programming languages. A “code with good quality” can be defined as code that is written in a way that follows the rules or, in other words, conventions for, i.e., comments, proper indentation, clear notations, simplicity, naming, etc. There are coding style guidelines extracted from Java and Oracle code conventions to have readable, maintainable source code; however, the current studies do not answer the question of to what extent the open-source systems follow these guidelines. Finding the violations of conventions at the early stages of software development is essential because the changes are costly and impossible in the later stages. As a result, adhering to coding conventions will facilitate code readability and maintainability. Thus, this study intends to analyze the results from several code quality tools, make a comparison among them and, based on the outcomes, develop a new tool that covers the probable missing conventions in the studied code-checking tools.

Empreendimentos hospitalares são reconhecidos pela complexidade que está associada a todas as fases de seu ciclo de vida: projeto, construção e operação. Os projetos da saúde são altamente influenciados por regulamentações locais. Estes conjuntos de códigos e legislações contém informações prescritivas e são importantes ao projeto, uma vez que as especificações são, usualmente, definidas de acordo com os critérios neles contidos. Ao longo do processo de desenvolvimento de produto, as especificações devem ser verificadas frente aos requisitos extraídos destas regulamentações. Este processo, se realizado manualmente, tende a ser demorado e propenso a erros. Tentativas de desenvolvimento de sistemas de verificação automatizada não se mostraram completamente satisfatórias. Muitos dos problemas estão relacionados à forma como novas abordagens são concebidas, muitas vezes desenvolvidas de acordo com métodos codificados e fragmentados, e à tipologia de informação que está nas normas e regulamentações. A abordagem metodológica utilizada nesta pesquisa foi a Design Science Research. Como artefato, foi desenvolvido um framework com base na abordagem semântica, para fornecer suporte ao desenvolvimento de sistemas de verificação automatizada, com ênfase em requisitos regulamentares no contexto de projetos de edificações hospitalares. As principais contribuições teóricas deste estudo, portanto, estão relacionadas às taxonomias e às transformações da informação, bem como às relações entre os constructos utilizados. Os resultados indicam que a natureza das regulamentações possui impacto significativo na possibilidade de tradução em regra lógica parametrizável. Apesar de a automação ser desejável, os resultados deste estudo indicam, ainda, que atualmente nem todos os requisitos podem ser completamente traduzidos em termos de processamento e verificação automatizados. Apesar de este fato diminuir o nível geral de automatização no processo, ele pode trazer benefícios ao contexto de projetos da saúde. O atendimento de alguns dos requisitos depende em um certo grau, em critérios subjetivos, que estão relacionados à interpretação humana e à criatividade. / Healthcare facilities are recognized for the complexity associated to all phases of their lifecycle: design, construction and operation. The design of healthcare projects is highly influenced by local healthcare regulations. These legislations usually contain prescriptive information and play an important role, as design specifications should be defined based on the criteria defined therein. In the design phase, during the product development process, requirements extracted from legal regulations must be verified against design specifications. This process, if done manually, tends to be time consuming and error prone. Attempts to develop automated rule checking systems for healthcare projects have not been fully successful. Most flaws appear to be related to the way new approaches are conceived, being mostly developed according to hard-coded and fragmented approaches, and the typology of information bounded by the regulations. The methodological approach adopted in this investigation was the Design Science Research. The main outcome of this research study is a semantic-based framework, devised to support the development of automated rule checking systems, focused on regulatory requirements of healthcare building design. The main theoretical contributions of this research work are concerned with the taxonomies and information transformation, as well as the relationships among the constructs involved. The results indicate that the nature of regulations have a major impact on the possibility of translating them into logic rules. Even though automation is desirable, the findings of this study also indicate that currently not all requirements can be fully translated into rules for automated processing and checking. Although this decreases the overall degree of automation in the process, this fact may provide benefits to the healthcare context. The fulfillment of some requirements to some extend should rely on subjective criteria, which depends on human interpretation and creativity.

Empreendimentos hospitalares são reconhecidos pela complexidade que está associada a todas as fases de seu ciclo de vida: projeto, construção e operação. Os projetos da saúde são altamente influenciados por regulamentações locais. Estes conjuntos de códigos e legislações contém informações prescritivas e são importantes ao projeto, uma vez que as especificações são, usualmente, definidas de acordo com os critérios neles contidos. Ao longo do processo de desenvolvimento de produto, as especificações devem ser verificadas frente aos requisitos extraídos destas regulamentações. Este processo, se realizado manualmente, tende a ser demorado e propenso a erros. Tentativas de desenvolvimento de sistemas de verificação automatizada não se mostraram completamente satisfatórias. Muitos dos problemas estão relacionados à forma como novas abordagens são concebidas, muitas vezes desenvolvidas de acordo com métodos codificados e fragmentados, e à tipologia de informação que está nas normas e regulamentações. A abordagem metodológica utilizada nesta pesquisa foi a Design Science Research. Como artefato, foi desenvolvido um framework com base na abordagem semântica, para fornecer suporte ao desenvolvimento de sistemas de verificação automatizada, com ênfase em requisitos regulamentares no contexto de projetos de edificações hospitalares. As principais contribuições teóricas deste estudo, portanto, estão relacionadas às taxonomias e às transformações da informação, bem como às relações entre os constructos utilizados. Os resultados indicam que a natureza das regulamentações possui impacto significativo na possibilidade de tradução em regra lógica parametrizável. Apesar de a automação ser desejável, os resultados deste estudo indicam, ainda, que atualmente nem todos os requisitos podem ser completamente traduzidos em termos de processamento e verificação automatizados. Apesar de este fato diminuir o nível geral de automatização no processo, ele pode trazer benefícios ao contexto de projetos da saúde. O atendimento de alguns dos requisitos depende em um certo grau, em critérios subjetivos, que estão relacionados à interpretação humana e à criatividade. / Healthcare facilities are recognized for the complexity associated to all phases of their lifecycle: design, construction and operation. The design of healthcare projects is highly influenced by local healthcare regulations. These legislations usually contain prescriptive information and play an important role, as design specifications should be defined based on the criteria defined therein. In the design phase, during the product development process, requirements extracted from legal regulations must be verified against design specifications. This process, if done manually, tends to be time consuming and error prone. Attempts to develop automated rule checking systems for healthcare projects have not been fully successful. Most flaws appear to be related to the way new approaches are conceived, being mostly developed according to hard-coded and fragmented approaches, and the typology of information bounded by the regulations. The methodological approach adopted in this investigation was the Design Science Research. The main outcome of this research study is a semantic-based framework, devised to support the development of automated rule checking systems, focused on regulatory requirements of healthcare building design. The main theoretical contributions of this research work are concerned with the taxonomies and information transformation, as well as the relationships among the constructs involved. The results indicate that the nature of regulations have a major impact on the possibility of translating them into logic rules. Even though automation is desirable, the findings of this study also indicate that currently not all requirements can be fully translated into rules for automated processing and checking. Although this decreases the overall degree of automation in the process, this fact may provide benefits to the healthcare context. The fulfillment of some requirements to some extend should rely on subjective criteria, which depends on human interpretation and creativity.

Empreendimentos hospitalares são reconhecidos pela complexidade que está associada a todas as fases de seu ciclo de vida: projeto, construção e operação. Os projetos da saúde são altamente influenciados por regulamentações locais. Estes conjuntos de códigos e legislações contém informações prescritivas e são importantes ao projeto, uma vez que as especificações são, usualmente, definidas de acordo com os critérios neles contidos. Ao longo do processo de desenvolvimento de produto, as especificações devem ser verificadas frente aos requisitos extraídos destas regulamentações. Este processo, se realizado manualmente, tende a ser demorado e propenso a erros. Tentativas de desenvolvimento de sistemas de verificação automatizada não se mostraram completamente satisfatórias. Muitos dos problemas estão relacionados à forma como novas abordagens são concebidas, muitas vezes desenvolvidas de acordo com métodos codificados e fragmentados, e à tipologia de informação que está nas normas e regulamentações. A abordagem metodológica utilizada nesta pesquisa foi a Design Science Research. Como artefato, foi desenvolvido um framework com base na abordagem semântica, para fornecer suporte ao desenvolvimento de sistemas de verificação automatizada, com ênfase em requisitos regulamentares no contexto de projetos de edificações hospitalares. As principais contribuições teóricas deste estudo, portanto, estão relacionadas às taxonomias e às transformações da informação, bem como às relações entre os constructos utilizados. Os resultados indicam que a natureza das regulamentações possui impacto significativo na possibilidade de tradução em regra lógica parametrizável. Apesar de a automação ser desejável, os resultados deste estudo indicam, ainda, que atualmente nem todos os requisitos podem ser completamente traduzidos em termos de processamento e verificação automatizados. Apesar de este fato diminuir o nível geral de automatização no processo, ele pode trazer benefícios ao contexto de projetos da saúde. O atendimento de alguns dos requisitos depende em um certo grau, em critérios subjetivos, que estão relacionados à interpretação humana e à criatividade. / Healthcare facilities are recognized for the complexity associated to all phases of their lifecycle: design, construction and operation. The design of healthcare projects is highly influenced by local healthcare regulations. These legislations usually contain prescriptive information and play an important role, as design specifications should be defined based on the criteria defined therein. In the design phase, during the product development process, requirements extracted from legal regulations must be verified against design specifications. This process, if done manually, tends to be time consuming and error prone. Attempts to develop automated rule checking systems for healthcare projects have not been fully successful. Most flaws appear to be related to the way new approaches are conceived, being mostly developed according to hard-coded and fragmented approaches, and the typology of information bounded by the regulations. The methodological approach adopted in this investigation was the Design Science Research. The main outcome of this research study is a semantic-based framework, devised to support the development of automated rule checking systems, focused on regulatory requirements of healthcare building design. The main theoretical contributions of this research work are concerned with the taxonomies and information transformation, as well as the relationships among the constructs involved. The results indicate that the nature of regulations have a major impact on the possibility of translating them into logic rules. Even though automation is desirable, the findings of this study also indicate that currently not all requirements can be fully translated into rules for automated processing and checking. Although this decreases the overall degree of automation in the process, this fact may provide benefits to the healthcare context. The fulfillment of some requirements to some extend should rely on subjective criteria, which depends on human interpretation and creativity.