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.

Recentemente, um crescente número de institutos de pesquisa pelo mundo tem focado seus estudos em veículos aéreos não tripulados (VANT ou, em inglês, UAV - Unmanned Aerial Vehicle), que se revelam muito úteis tanto em aplicações militares quanto civis, pois suas principais vantagens são: a alta confiabilidade, baixo risco à vida, reduzido custo de implantação e manutenção. A pesquisa apresentada neste trabalho integra-se ao projeto BR-UAV em desenvolvimento na empresa Xmobots Sistemas Robóticos LTDA e no Laboratório de Veículos Não Tripulados (LVNT) da Escola Politécnica da USP. O projeto BR-UAV visa a contribuir para a inserção desta tecnologia no país e, para tanto, desenvolve atualmente a plataforma, aviônica e sistema de controle autônomo voltados ao objetivo de monitoramento no espectro visível e infravermelho. O principal requisito do projeto BR-UAV é o desenvolvimento de um sistema aéreo não tripulado capaz de voar dentro do espaço aéreo controlado. Esta pesquisa foca no desenvolvimento do software embarcado, assim este software deve ser desenvolvido de acordo com uma metodologia direcionada a homologação. Por isso, este trabalho propõe uma metodologia que foi baseada em cinco elementos: processo de desenvolvimento, normas, ferramentas de sistema operacional, ferramentas de aplicação e ferramentas matemáticas. Após o estabelecimento dos objetivos, de uma análise do estado da arte em sistemas aviônicos, e da metodologia de certificação, o processo de desenvolvimento foi inicializado. Na fase de engenharia de sistemas, os requisitos de sistema foram capturados. Então a arquitetura de sistema (hardware e software) foi modelada e analisada. A partir desta modelagem de sistema, os requisitos funcionais e temporais de software puderam ser capturados na etapa de análise da fase de engenharia de software. Na etapa de Implementação, o interior dos agentes foi codificado.Além disso, foi implementado o filtro de Kalman estendido para integrar informações de GPS, unidade de medição inercial e bússola. Na etapa de Testes, foram realizados testes de integração funcional e de desempenho computacional. Os resultados demonstraram que o sistema atendeu a todos os requisitos consumindo 38.3% de processamento. Finalmente, os próximos passos desta pesquisa são discutidos. / Recently, an increasing number of research institutes around the world has been focusing their efforts in the study of unmanned aerial vehicles (UAV), which have proved to be very useful both in military and civil applications because of their major advantages: high reliability, reduced risk to life, reduced maintenance and implantation costs. The research presented in this work is part of the BR-UAV project, which is in development at XMobots Sistemas Robóticos LTDA and at the Laboratório de Veículos Não Tripulados of USP (Brazil). This project aims to contribute for the insertion of this technology in Brazil. Particularly, at the present stage, the project includes the development of the platform, avionics and autonomous control system for environment monitoring via visible and infrared spectrums. The main requirement of BR-UAV Project is the development of an unmanned aerial system that could flight in controlled airspace. This research is focused on the development of embedded software, and therefore this software should be developed according to a certification methodology. For this purpose, this work proposes a methodology that was based into five guidelines: development process, norms, operating system tools, application tools and mathematical tools. The development process was started after the statement of objectives and the analysis of the state of art on UAV avionics. In the systems engineering phase, system requirements were captured and then the system architecture (hardware and software) was modeled and analyzed. From the system modeling, the functional and temporal software requirements could be captured in the analysis stage of the software engineering phase. In the Implementation stage, the agents were coded as well as the Extended Kalman Filter for integrating information from GPS, inertial measurement unit and Compass sensors. In the Tests stage, integration tests were performed.The results showed that the system could fulfill requirements using 38.3% of processing consumption. Finally, the next steps of this research are discussed.

Introdução: Na Agenda do Desenvolvimento Sustentável da ONU (2015), reiterou-se que dados e informações em meio digital e de fácil compartilhamento podem contribuir positivamente no alcance das metas e dos Objetivos do Desenvolvimento Sustentável (ODSs). O 6º ODS (água e saneamento para todos) estabelece a universalização dos serviços de água e esgoto e propõe indicadores, cujo monitoramento e alcance depende de dados e informações de qualidade com constante atualização. Dentre elas, destacam-se as informações geográficas, que revelam características de objetos e de fenômenos por meio do georreferenciamento e que vêm sendo gradativamente produzidas e empregadas em tais serviços. Objetivos: 1. Concepção de um método para órgãos responsáveis por serviços de água e esgoto em áreas metropolitanas, para verificar o grau de atendimento a requisitos relacionados ao uso e gestão de informações geográficas e orientar alternativas para melhoria, considerando-se a gestão organizacional das companhias e o contexto local/regional onde atuam. 2. Realizar estudo de três casos de companhias de água e esgoto em diferentes contextos internacionais, para verificar a aplicabilidade do método concebido. Métodos: 1 - Levantamento bibliográfico com abrangência global para suporte teórico e levantamento de questões; 2 - Elaboração de roteiro semiestruturado, com 56 requisitos de múltiplas respostas, de relevâncias direta ou indireta ao tema \"informações geográficas\"; 3 - Visitas técnicas em três órgãos de serviços de água e esgoto em metrópoles de três continentes distintos (Fortaleza - CE, Nairóbi - Quênia e Budapeste - Hungria), e aplicação do roteiro mediante entrevistas, com profissionais das companhias; 4 - Análise crítica e comparativa das respostas em conjunto, para cada requisito e atributo. Introdução: Na Agenda do Desenvolvimento Sustentável da ONU (2015), reiterou-se que dados e informações em meio digital e de fácil compartilhamento podem contribuir positivamente no alcance das metas e dos Objetivos do Desenvolvimento Sustentável (ODSs). O 6º ODS (água e saneamento para todos) estabelece a universalização dos serviços de água e esgoto e propõe indicadores, cujo monitoramento e alcance depende de dados e informações de qualidade com constante atualização. Dentre elas, destacam-se as informações geográficas, que revelam características de objetos e de fenômenos por meio do georreferenciamento e que vêm sendo gradativamente produzidas e empregadas em tais serviços. Objetivos: 1. Concepção de um método para órgãos responsáveis por serviços de água e esgoto em áreas metropolitanas, para verificar o grau de atendimento a requisitos relacionados ao uso e gestão de informações geográficas e orientar alternativas para melhoria, considerando-se a gestão organizacional das companhias e o contexto local/regional onde atuam. 2. Realizar estudo de três casos de companhias de água e esgoto em diferentes contextos internacionais, para verificar a aplicabilidade do método concebido. Métodos: 1 - Levantamento bibliográfico com abrangência global para suporte teórico e levantamento de questões; 2 - Elaboração de roteiro semiestruturado, com 56 requisitos de múltiplas respostas, de relevâncias direta ou indireta ao tema \"informações geográficas\"; 3 - Visitas técnicas em três órgãos de serviços de água e esgoto em metrópoles de três continentes distintos (Fortaleza - CE, Nairóbi - Quênia e Budapeste - Hungria), e aplicação do roteiro mediante entrevistas, com profissionais das companhias; 4 - Análise crítica e comparativa das respostas em conjunto, para cada requisito e atributo. Resultados: As três companhias apresentaram grandes disparidades em índices de atendimento dos serviços de água e esgoto, bem como em outros indicadores socioeconômicos, o que também se refletiu no atendimento dos requisitos, enquanto outros requisitos se mantiveram estáveis apesar das disparidades. Como recomendação sugere-se que o método da pesquisa possa ser aplicado em companhias do tipo para dar suporte ao cumprimento do 6º ODS em diferentes locais do mundo. / Introduction: The Sustainable Development Agenda of the UN (2015) emphasized that digital data and information easily shareable might contribute positively on reaching the Sustainable Development Goals (SDGs). The SDG 6 (water and sanitation for all) states universalized services of drinkable water and sewerage and proposes indexes, from which monitoring and success depend on high quality data and information, constantly updated. From those, geographic information is highlighted by revealing features about objects and events through georeferencing and they are gradually created and applied in such services. Goals: 1. Conception of a method for water and sewerage utilities in metropolitan areas, to verify the range on achieving requirements related to geographic information use and management and guideline improvements, considering organizational management and local/regional contexts where they work. 2. Accomplish three cases of water and sewerage utilities in different international contexts, to verify the applicability of the conceived method. Methods: 1 - Consulting literature worldwide for theoretical support and conception of questions and issues; 2 - Elaborate a semi structured script with 56 requirements of multiple answers, directly or indirectly related to the topic \"geographic information\"; 3 - Technical visits in three water and sewerage utilities in metropolitan areas of different continents (Fortaleza - Brazil, Nairobi - Kenya and Budapest - Hungary) and apply the script through interviews with their employees; 4 - Critical analysis and comparison of results for each requirement and attribute Results: The three utilities showed up a high disparity on indexes of water and sewerage services availability for their population, and also on socioeconomical indexes, which reflected on how they could achieve the requirements, meanwhile other requirements had similar results even with such differences. As an advice, the research method could be applied in water and sewerage utilities worldwide to support the 6th SDG.

O design de sistemas automatizados inteligentes é fortemente dependente da etapa inicial de análise de requisitos, que além de suprimir possíveis incongruências - próprias desta fase inicial - provê um modelo inicial e funcional do sistema a ser implementado, capaz de orientar a definição dos parâmetros (design parameters) e em seguida a própria implementação. Um grande esforço tem sido empregado na área de Inteligência Artificial para definir planejadores automáticos confiáveis que possam ser usados na solução de problemas reais, que geralmente possuem um número elevado de parâmetros. Isto leva a uma situação onde métodos formais, geralmente aplicados em abordagens independentes de domínio, precisam ser aliados a métodos mais pragmáticos para produzir bons resultados. Seguindo esse princípio,o presente trabalho propõe um método de projeto no qual o usuário podem fazer a aquisição de conhecimento, modelar o domínio (tanto o domínio de aplicação quanto o domínio do problema de planejamento), fazer uma análise dinâmica do modelo e eventualmente verificá-lo usando linguagens conhecidas como UML, as Redes de Petri, e HTN, mantendo as características hierárquicas do problema. Esta abordagem demanda novos planejadores automáticos que consideram a abstração do sistema hierárquico, que é derivado de um modelo hierárquico de requisitos e de uma análise unificada feita também em redes de Petri hierárquicas. / The design of intelligent systems is strongly dependent of the requirements analysis initial stage, wich can remove possible inconsistencies - own this early stage - providing a primary functional model of the system being implemented. Besides that, it can be able to guide the definition of the parameters (design parameters) and then the implementation itself. A lot of effort has been employed in Artificial Intelligence field to define reliable automated planning systems that can be used to solve real problems, which generally have a large number of parameters. This leads to a situation where formal methods, generally applied to solve domain-independent problems, need to be combined with more pragmatic methods to produce good results. Following this principle, this work proposes a design method in which the user can make the acquisition of knowledge, model the domain (both the work domain and the planning problem domain), make a dynamic analysis of the model and eventually simulate it using well-kown language as UML, Petri Nets, and HTN, maintaining the hierarchical characteristics of the problem. This approach demands new automated planners who consider the abstraction of hierarchical system, which is derived from a hierarchical model requirements and an unified analysis made in hierarchical Petri nets.

Recentemente, um crescente número de institutos de pesquisa pelo mundo tem focado seus estudos em veículos aéreos não tripulados (VANT ou, em inglês, UAV - Unmanned Aerial Vehicle), que se revelam muito úteis tanto em aplicações militares quanto civis, pois suas principais vantagens são: a alta confiabilidade, baixo risco à vida, reduzido custo de implantação e manutenção. A pesquisa apresentada neste trabalho integra-se ao projeto BR-UAV em desenvolvimento na empresa Xmobots Sistemas Robóticos LTDA e no Laboratório de Veículos Não Tripulados (LVNT) da Escola Politécnica da USP. O projeto BR-UAV visa a contribuir para a inserção desta tecnologia no país e, para tanto, desenvolve atualmente a plataforma, aviônica e sistema de controle autônomo voltados ao objetivo de monitoramento no espectro visível e infravermelho. O principal requisito do projeto BR-UAV é o desenvolvimento de um sistema aéreo não tripulado capaz de voar dentro do espaço aéreo controlado. Esta pesquisa foca no desenvolvimento do software embarcado, assim este software deve ser desenvolvido de acordo com uma metodologia direcionada a homologação. Por isso, este trabalho propõe uma metodologia que foi baseada em cinco elementos: processo de desenvolvimento, normas, ferramentas de sistema operacional, ferramentas de aplicação e ferramentas matemáticas. Após o estabelecimento dos objetivos, de uma análise do estado da arte em sistemas aviônicos, e da metodologia de certificação, o processo de desenvolvimento foi inicializado. Na fase de engenharia de sistemas, os requisitos de sistema foram capturados. Então a arquitetura de sistema (hardware e software) foi modelada e analisada. A partir desta modelagem de sistema, os requisitos funcionais e temporais de software puderam ser capturados na etapa de análise da fase de engenharia de software. Na etapa de Implementação, o interior dos agentes foi codificado.Além disso, foi implementado o filtro de Kalman estendido para integrar informações de GPS, unidade de medição inercial e bússola. Na etapa de Testes, foram realizados testes de integração funcional e de desempenho computacional. Os resultados demonstraram que o sistema atendeu a todos os requisitos consumindo 38.3% de processamento. Finalmente, os próximos passos desta pesquisa são discutidos. / Recently, an increasing number of research institutes around the world has been focusing their efforts in the study of unmanned aerial vehicles (UAV), which have proved to be very useful both in military and civil applications because of their major advantages: high reliability, reduced risk to life, reduced maintenance and implantation costs. The research presented in this work is part of the BR-UAV project, which is in development at XMobots Sistemas Robóticos LTDA and at the Laboratório de Veículos Não Tripulados of USP (Brazil). This project aims to contribute for the insertion of this technology in Brazil. Particularly, at the present stage, the project includes the development of the platform, avionics and autonomous control system for environment monitoring via visible and infrared spectrums. The main requirement of BR-UAV Project is the development of an unmanned aerial system that could flight in controlled airspace. This research is focused on the development of embedded software, and therefore this software should be developed according to a certification methodology. For this purpose, this work proposes a methodology that was based into five guidelines: development process, norms, operating system tools, application tools and mathematical tools. The development process was started after the statement of objectives and the analysis of the state of art on UAV avionics. In the systems engineering phase, system requirements were captured and then the system architecture (hardware and software) was modeled and analyzed. From the system modeling, the functional and temporal software requirements could be captured in the analysis stage of the software engineering phase. In the Implementation stage, the agents were coded as well as the Extended Kalman Filter for integrating information from GPS, inertial measurement unit and Compass sensors. In the Tests stage, integration tests were performed.The results showed that the system could fulfill requirements using 38.3% of processing consumption. Finally, the next steps of this research are discussed.

O design de sistemas automatizados inteligentes é fortemente dependente da etapa inicial de análise de requisitos, que além de suprimir possíveis incongruências - próprias desta fase inicial - provê um modelo inicial e funcional do sistema a ser implementado, capaz de orientar a definição dos parâmetros (design parameters) e em seguida a própria implementação. Um grande esforço tem sido empregado na área de Inteligência Artificial para definir planejadores automáticos confiáveis que possam ser usados na solução de problemas reais, que geralmente possuem um número elevado de parâmetros. Isto leva a uma situação onde métodos formais, geralmente aplicados em abordagens independentes de domínio, precisam ser aliados a métodos mais pragmáticos para produzir bons resultados. Seguindo esse princípio,o presente trabalho propõe um método de projeto no qual o usuário podem fazer a aquisição de conhecimento, modelar o domínio (tanto o domínio de aplicação quanto o domínio do problema de planejamento), fazer uma análise dinâmica do modelo e eventualmente verificá-lo usando linguagens conhecidas como UML, as Redes de Petri, e HTN, mantendo as características hierárquicas do problema. Esta abordagem demanda novos planejadores automáticos que consideram a abstração do sistema hierárquico, que é derivado de um modelo hierárquico de requisitos e de uma análise unificada feita também em redes de Petri hierárquicas. / The design of intelligent systems is strongly dependent of the requirements analysis initial stage, wich can remove possible inconsistencies - own this early stage - providing a primary functional model of the system being implemented. Besides that, it can be able to guide the definition of the parameters (design parameters) and then the implementation itself. A lot of effort has been employed in Artificial Intelligence field to define reliable automated planning systems that can be used to solve real problems, which generally have a large number of parameters. This leads to a situation where formal methods, generally applied to solve domain-independent problems, need to be combined with more pragmatic methods to produce good results. Following this principle, this work proposes a design method in which the user can make the acquisition of knowledge, model the domain (both the work domain and the planning problem domain), make a dynamic analysis of the model and eventually simulate it using well-kown language as UML, Petri Nets, and HTN, maintaining the hierarchical characteristics of the problem. This approach demands new automated planners who consider the abstraction of hierarchical system, which is derived from a hierarchical model requirements and an unified analysis made in hierarchical Petri nets.

This study presents the process of a model development for intellectual property management system created through the use of contextual tasks analysis methodology (CTA), which aims to obtain requirements for software development by using the user view. This process is demonstrated by the flowcharts described in relation to the end activities in a case study in the NIT/UFSM, specifically in the referral of requests for protection of invention (patent). It was applied a suggestible approach for requirements gathering in order to generate support for a more appropriate development of an Intellectual Property Management System (IPMS), which will contribute in the processes management of the analyzed case. Likewise, this study helped by providing data that explain the importance of the use of management tools as a way of improving the performance of the intellectual property production of organizations, demonstrating the performance of the archivist and his/her entrepreneurial and proactive profile in a multidisciplinary environment. Thus, positive results were presented through the development and dissemination of patent flowcharts and with activities structuring, which improve the efficiency of data recovery and, consequently, improve the increase of innovation capacity of the organization. / Esta pesquisa apresenta o processo de desenvolvimento de um modelo para sistema de gestão de propriedade intelectual criado através do uso de metodologia de análise contextual de tarefas (ACT), a qual visa obter requisitos para desenvolvimento de software através do uso da visão do usuário. Esse processo é demonstrado através de fluxogramas descritos referentes às atividades-fim em um estudo de caso no NIT/UFSM, especificamente no encaminhamento de pedidos de proteção de propriedade intelectual. Foi empregada a abordagem sugestionada para o levantamento de requisitos com o objetivo de gerar subsídios para o desenvolvimento mais adequado de um sistema de gestão de propriedade intelectual (SGPI), o qual servirá de contribuição para a gestão de processos do caso analisado. Da mesma forma, essa pesquisa colaborou fornecendo dados que explicitam a importância do uso de ferramentas gerenciais como forma de melhoria no desempenho da proteção da produção intelectual das organizações, demonstrando o desempenho do arquivista e seu perfil empreendedor e proativo em um ambiente multidisciplinar. Assim, apresentaram-se resultados positivos através do desenvolvimento e difusão de fluxogramas de patente e com a estruturação das atividades, melhorando a eficiência da recuperação de dados e consequentemente no aumento da capacidade de inovar da organização.