Mapeamento das variáveis essenciais ao processo decisório nas empresas gaúchas do setor industrial alimentar

Esta pesquisa tem como tema o estudo das variáveis analisadas pelos decisores durante o processo de tomada de decisão. A escolha do tema justifica-se pela importância da tomada de decisão nas organizações, e pela necessidade cada vez maior de que as decisões sejam tomadas rapidamente e sem expor a empresa a riscos em demasia. Neste contexto, mapear o que os decisores consideram ao decidir, o que lhes parece importante e mesmo o que consideram secundário ou irrelevante, pode auxiliar outros decisores em diferentes decisões. Isto porque estes poderão mais facilmente selecionar as informações essenciais sobre somente os itens chave, sem gastar tempo com os dispensáveis ou sem valor agregado para determinada decisão. Sendo assim, o foco da pesquisa é definir um conjunto de variáveis que os decisores consideram essenciais ao tomarem decisões nas diversas áreas de gestão, elencando-as por incidência e verificando as diferenças entre as mesmas. Isto permitirá compreender os decisores quanto às suas necessidades de suporte ao processo decisório, constituindo um referencial para confrontar a novas situações. Através de uma survey, foram coletados dados via entrevistas e correio em trinta empresas gaúchas do setor industrial alimentar de médio e grande porte, localizadas em quase todas as regiões geográficas do estado. Os respondentes foram gerentes ou diretores destas empresas, que responderam a um conjunto de questões abertas simulando situações de decisão sobre um conjunto de assuntos. A partir da análise qualitativa e quantitativa dos dados coletados, chegou-se ao conjunto de variáveis consideradas pelos decisores como essenciais, ou seja, que deveriam ser preferencialmente consideradas na tomada de decisão, e elencou-se essas variáveis por área funcional da empresa, complementando o referencial.

Contribuição ao mapeamento do ruído urbano na cidade de Porto Alegre - RS

o presente trabalho apresenta dados referentes a um levantamento dos níveis de pressão sonora equivalente (Leq),para as 24 horas de um dia típico de semana, em diversos pontos da cidade de Porto Alegre, no Rio Grande do Sul. As informações são processadas através de diferentes análises estatísticas, comparadas com dados de trabalhos anteriores e com resultados de equações de predição de ruído urbano. A metodologia adotada é semelhante à utilizada por García & Faus (1991), em trabalho realizado em cidades da Espanha. O levantamento dos dados de ruído urbano, em período de 24 horas, permite um maior nível de detalhes para a geração de modelos de predição de níveis de pressão sonora e auxilia na visualização da curva de padrões de ruídos horários, para um determinado espaço urbano. Quatorze pontos da cidade foram monitorados, em áreas com características diferenciadas (densidade, população, fluxo de veículos), o que possibilitou verificar os diferentes padrões de ruído associados para cada situação.

Desenvolvimento de sistemas tempo-real usando orientação a objetos : estudo sobre o mapeamento de especificações para linguagens de programação

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

XML Integrator: interoperabilidade de Fontes de Dados Heterogêneas, baseada no Mapeamento de Esquemas Conceituais

O acesso integrado a informações provenientes de banco de dados autônomos e heterogêneos, localizadas em diferentes ambientes de hardware e software, vem sendo amplamente pesquisado pela comunidade de banco de dados, com diversas soluções propostas. A maioria delas baseia-se na comparação e na integração ou mapeamento dos esquemas conceituais dos bancos de dados participantes, implementados através de uma camada adicional de software, em um nível superior ao dos bancos de dados existentes. Inicialmente, as metodologias de acesso integrado eram limitadas às informações provenientes de banco de dados. Entretanto, com o crescimento das redes de computadores e, conseqüentemente, com a intensa utilização da Internet, novas fontes de informações passaram a ser utilizadas neste ambiente, tais como fontes de dados semi-estruturadas. Estender o acesso integrado também a esses tipos de informações tornou-se importante. Este trabalho tem como objetivo propor a utilização de um metamodelo XML como modelo de dados canônico, através do qual é possível obter a representação conceitual dos esquemas de exportação provenientes de bancos de dados relacionais, objeto-relacionais e documentos XML, permitindo, desta forma, o acesso integrado a fontes de dados estruturadas e semi-estruturadas, a partir de metodologias inicialmente voltadas à interoperabilidade de banco de dados heterogêneos. Além do metamodelo apresentado, este trabalho incluiu o desenvolvimento da ferramenta XML Integrator, cujo objetivo é fornecer ao usuário mecanismos de apoio ao processo conversão dos esquemas conceituais locais de fontes de dados heterogêneas para o Metamodelo XML, bem como de extração de um esquema conceitual correspondente a um documento XML ou a uma classe de documentos XML. Para isso, a ferramenta utiliza interfaces gráficas, que guiam o usuário através dos diversos passos, desde a seleção da fonte de dados a ser convertida, até a geração do esquema de exportação propriamente dito.

Integração de dados em ambiente SIG para mapeamento de favorabilidade mineral de ouro na ilha cristalina de Rivera (Uruguai)

Guias para exploração mineral são normalmente baseados em modelos conceituais de depósitos. Esses guias são, normalmente, baseados na experiência dos geólogos, em dados descritivos e em dados genéticos. Modelamentos numéricos, probabilísticos e não probabilísticos, para estimar a ocorrência de depósitos minerais é um novo procedimento que vem a cada dia aumentando sua utilização e aceitação pela comunidade geológica. Essa tese utiliza recentes metodologias para a geração de mapas de favorablidade mineral. A denominada Ilha Cristalina de Rivera, uma janela erosional da Bacia do Paraná, situada na porção norte do Uruguai, foi escolhida como estudo de caso para a aplicação das metodologias. A construção dos mapas de favorabilidade mineral foi feita com base nos seguintes tipos de dados, informações e resultados de prospecção: 1) imagens orbitais; 2) prospecção geoquimica; 3) prospecção aerogeofísica; 4) mapeamento geo-estrutural e 5) altimetria. Essas informacões foram selecionadas e processadas com base em um modelo de depósito mineral (modelo conceitual), desenvolvido com base na Mina de Ouro San Gregorio. O modelo conceitual (modelo San Gregorio), incluiu características descritivas e genéticas da Mina San Gregorio, a qual abrange os elementos característicos significativos das demais ocorrências minerais conhecidas na Ilha Cristalina de Rivera. A geração dos mapas de favorabilidade mineral envolveu a construção de um banco de dados, o processamento dos dados, e a integração dos dados. As etapas de construção e processamento dos dados, compreenderam a coleta, a seleção e o tratamento dos dados de maneira a constituírem os denominados Planos de Informação. Esses Planos de Informação foram gerados e processados organizadamente em agrupamentos, de modo a constituírem os Fatores de Integração para o mapeamento de favorabilidade mineral na Ilha Cristalina de Rivera. Os dados foram integrados por meio da utilização de duas diferentes metodologias: 1) Pesos de Evidência (dirigida pelos dados) e 2) Lógica Difusa (dirigida pelo conhecimento). Os mapas de favorabilidade mineral resultantes da implementação das duas metodologias de integração foram primeiramente analisados e interpretados de maneira individual. Após foi feita uma análise comparativa entre os resultados. As duas metodologias xxiv obtiveram sucesso em identificar, como áreas de alta favorabilidade, as áreas mineralizadas conhecidas, além de outras áreas ainda não trabalhadas. Os mapas de favorabilidade mineral resultantes das duas metodologias mostraram-se coincidentes em relação as áreas de mais alta favorabilidade. A metodologia Pesos de Evidência apresentou o mapa de favorabilidade mineral mais conservador em termos de extensão areal, porém mais otimista em termos de valores de favorabilidade em comparação aos mapas de favorabilidade mineral resultantes da implementação da metodologia Lógica Difusa. Novos alvos para exploração mineral foram identificados e deverão ser objeto de investigação em detalhe.

Mapeamento de QTLs para tolerância ao frio e características de importância agronômica em arroz

A temperatura baixa é um estresse comum na cultura do arroz em regiões temperadas, portanto a tolerância ao frio é uma característica altamente desejável em genótipos brasileiros de arroz cultivados no sul do país, onde as temperaturas baixas prejudicam o estabelecimento da lavoura e diminuem o redimento de grãos. O mapeamento molecular é uma estratégia promissora para o estudo e compreensão de de características com controle complexo, tais como a tolerância ao frio em arroz. Com base nisso, os objetivos deste trabalho foram estudar a herança e herdabilidade das características de tolerância ao frio e das características de importância agronômica a serem maepadas, desenvolver um mapa molecular a partir da população segregante F2 proveniente do cruzamento IRGA 417 (Índica) x Quilla 66304 (Japônica) e identificar locos de características quantitativas (QTLs) para a tolerância ao frio no período de germinação e vegetativo e características agronômicas que diferenciam estas duas subespécies. Por fim, investigar a possibilidade de obter indivíduos recombinantes com caracteristicas agronômicas desejáveis e toleância ao frio em uma população F2 do cruzamento entre IRGA 417 x Quilla 66304. As análises das distrbuições de freqüências da geração F2 evidenciaram a dificuldade de estimar o número de genes que controlam as características analisadas, sendo que todas elas apresentam distribuição contínua e segregação transgressiva em relação aos genitores. O mapa foi construído com base em oito marcadores SSR e 42 marcadores do tipo AFLP com uma densidade média de marcador a cada 38,8 cM, sendo o comprimento total do mapa de 581,6 cM. Foram identificados cinco QTLs, sendo que um deles confere tolerância ao frio no período de germinação, e explica 15,9% da variação fenotípica deste caráteer. O outros quatro QTLs identificados foram para largura do grgão (21,3%), esterilidade de espiguetas (61,6%), estatura das plantas (34, 5%) e comprimento do grão (21,9%). A detecção de um QTL associado à tolerância ao frio no período de germinação, e outros QTLs associados à demais características a viabilidade deste tipo de análise. Entretanto, um mapa de ligação enriquecido é nceessário para permitir a detecção de outros QTLs associados às características estudadas. Plantas recombinantes com alto recrescimento de coleóptilo e outrras caracteristicas agronômicas desejáveis foram encontradas, o que evidencia o potencial da população proveniente de IRGA 417 x Quilla 66304 para o melhoramento da tolerância ao frio de genótipos de arroz adaptados ao Sul do Brasil.

Particionamento de grafos de aplicações e mapeamento em grafos de arquiteturas heterogêneas

Esta pesquisa visa a modelagem de clusters de computadores, utilizando um modelo analítico simples que é representado por um grafo valorado denominado grafo da arquitetura. Para ilustrar tal metodologia, exemplificou-se a modelagem do cluster Myrinet/SCI do Instituto de Informática da UFRGS, que é do tipo heterogêneo e multiprocessado. A pesquisa visa também o estudo de métodos e tecnologias de software para o particionamento de grafos de aplicações e seu respectivo mapeamento sobre grafos de arquiteturas. Encontrar boas partições de grafos pode contribuir com a redução da comunicação entre processadores em uma máquina paralela. Para tal, utilizou-se o grafo da aplicação HIDRA, um dos trabalhos do GMCPAD, que modela o transporte de substâncias no Lago Guaíba. Um fator importante é o crescente avanço da oferta de recursos de alto desempenho como os clusters de computadores. Os clusters podem ser homogêneos, quando possuem um arquitetura com nós de mesma característica como: velocidade de processamento, quantidade de memória RAM e possuem a mesma rede de interconexão interligando-os. Eles também podem ser heterogêneos, quando alguns dos componentes dos nós diferem em capacidade ou tecnologia. A tendência é de clusters homogêneos se tornarem em clusters heterogêneos, como conseqüência das expansões e atualizações. Efetuar um particionamento que distribua a carga em clusters heterogêneos de acordo com o poder computacional de cada nó não é uma tarefa fácil, pois nenhum processador deve ficar ocioso e, tampouco, outros devem ficar sobrecarregados Vários métodos de particionamento e mapeamento de grafos foram estudados e três ferramentas (Chaco, Jostle e o Scotch) foram testadas com a aplicação e com a arquitetura modeladas. Foram realizados, ainda, vários experimentos modificando parâmetros de entrada das ferramentas e os resultados foram analisados. Foram considerados melhores resultados aqueles que apresentaram o menor número de corte de arestas, uma vez que esse parâmetro pode representar a comunicação entre os processadores de uma máquina paralela, e executaram o particionamento/mapeamento no menor tempo. O software Chaco e o software Jostle foram eficientes no balanceamento de carga por gerarem partições com praticamente o mesmo tamanho, sendo os resultados adequados para arquiteturas homogêneas. O software Scotch foi o único que permitiu o mapeamento do grafo da aplicação sobre o grafo da arquitetura com fidelidade, destacando-se também por executar particionamento com melhor qualidade e pela execução dos experimentos em um tempo significativamente menor que as outras ferramentas pesquisadas.

Análise bibliométrica da produção científica brasileira de RH na década de 1990 - um mapeamento a partir das citações dos artigos publicados no ENANPAD

Neste artigo, é usada análise bibliométrica para entender a influência de autores e instituições na produção acadêmica em Recursos Humanos no Brasil na década de 90, bem como para mapear o comportamento de auto-citações e citações à própria instituição dos autores que produziram no período. O estudo levantou, nos 290 artigos de RH publicados na década de 90 (1991 a 2000) nos anais do Enanpad, a constituição, origem e padrão de interrelação de todas as citações, autores e instituições que publicaram e foram citados na área. No total, analisaram-se os padrões bibliométricos de 5814 citações, que compreendiam 342 autores, advindos de 51 instituições. Os resultados mostram uma área com alto índice de auto-citação e endogenia, e com uma elevada incidência de citação de jornais, revistas e autores estrangeiros e não acadêmicos; revelam também que Maria Tereza Fleury (FEA/USP) foi a acadêmica mais citada; que a USP, UFMG, UFRGS e a FGV-EAESP (nessa ordem) são as instituições com os autores mais citados; que a RAE é o veículo nacional mais referenciado no campo; e que alguns autores e instituições que publicaram no período têm elevada propensão à auto-citação e à consulta predominante a autores de sua própria instituição. O artigo termina oferecendo ao campo sugestões para desenvolvimento e debate, a partir dos seus resultados e sua comparação com trabalhos anteriores analisando a mesma base amostral.

Meio ambiente e a empresa: o mapeamento dos stakeholders relevantes na gestão ambiental das indústrias fluminenses

Este estudo procura analisar o complexo relacionamento entre as organizações e os stakeholders nas indústrias do Estado do Rio de Janeiro. Este trabalho focalizou a análise na influencia dos stakeholders envolvidos no processo de gestão ambiental nas indústrias fluminenses. A primeira parte do trabalho apresenta de forma sintetizada a trajetória do movimento ambiental no mundo e no Brasil. Nesta parte do trabalho procuramos ressaltar as temáticas e as abordagens privilegiadas, destacando as principais contribuições dos mais destacados autores relacionados ao tema. Na segunda parte do estudo é apresentada uma pesquisa nas indústrias do Rio de Janeiro. Os resultados encontrados neste estudo mostram que o Estado é um agente fundamental no processo de implementação de ações ambientais corporativas.

Modelos para o mapeamento de aplicações em infra-estruturas de comunicação intrachip

O projeto de sistemas intrachip (SoCs) é uma atividade de alto grau de complexidade, dados a dimensão de SoCs, na ordem do bilhão de transistores, os requisitos de tempo de desenvolvimento e de consumo de energia, entre outros fatores. A forma de dominar a complexidade de projeto de SoCs inclui dividir a funcionalidade do sistema em módulos de menor complexidade, denominados de núcleos de propriedade intelectual (núcleos IP), interligados por uma infra-estrutura de comunicação. Enquanto núcleos IP podem ser reusados de outros projetos ou adquiridos de terceiros, a infra-estrutura de comunicação deve sempre ser desenvolvida de forma personalizada para cada SoC. O presente trabalho volta-se para o projeto de infraestruturas de comunicação eficientes. Questões importantes neste contexto são a eficiência da comunicação, refletida e.g. em medidas de vazão e latência, a redução de área de silício para implementar a comunicação, e a redução da energia consumida na comunicação. Estas questões dependem da escolha da infra-estrutura de comunicação. Barramentos são as infra-estruturas mais usadas nas comunicações intrachip, mas têm sido consideradas como pouco adequadas para servir a necessidade de comunicação de SoCs futuros. Redes intrachip vêm emergindo como um possível melhor candidato. Nesta infra-estrutura de comunicação, um problema a ser resolvido é o posicionamento relativo de núcleos IP dentro da rede, visando otimizar desempenho e reduzir o consumo de energia, no que se denomina aqui problema de mapeamento. Dada a complexidade deste problema, considera-se fundamental dispor de modelos para capturar as características da infra-estrutura de comunicação, bem como da aplicação que a emprega A principal contribuição deste trabalho é propor e avaliar um conjunto de modelos de computação voltados para a solução do problema de mapeamento de núcleos de propriedade intelectual sobre uma infra-estrutura de comunicação. Três modelos são propostos (CDM, CDCM e ECWM) e comparados, entre si e com três outros disponíveis na literatura (CWM, CTM e ACPM). Embora os modelos sejam genéricos, os estudos de caso restringem-se aqui a infra-estruturas de comunicação do tipo rede intrachip. Dada a diversidade de modelos de mapeamento, propõe-se uma segunda contribuição, o metamodelo Quantidade, Ordem, Dependência (QOD), que relaciona modelos de mapeamento usando os critérios expressos na denominação QOD. Considerando o alto grau de abstração dos modelos empregados, julga-se necessário prover uma conexão com níveis inferiores da hierarquia de projeto. Neste sentido, uma terceira contribuição original do presente trabalho é a proposta de modelos de consumo de energia e tempo de comunicação para redes intrachip. Visando demonstrar a validade de todos os modelos propostos, foram desenvolvidos métodos de uso destes na solução do problema de mapeamento, o que constitui uma quarta contribuição. Estes métodos incluem algoritmos de mapeamento, estimativas de tempo de execução, consumo de energia e caminhos críticos em infra-estruturas de comunicação. Como quinta contribuição, propõe-se o framework CAFES, que integra os métodos desenvolvidos e os modelos de mapeamento em algoritmos computacionais. Uma última contribuição do presente trabalho é um método habilitando a estimativa de consumo de energia para infra-estruturas de comunicação e sua implementação como uma ferramenta computacional.

Aplicação de sensoriamento remoto orbital no mapeamento de unidades vulcano-sedimentar no Platô da Ramada, Vila Nova do Sul, RS

Os produtos de sensoriamento remoto gerados pelos novos sensores orbitais, aliados ao desenvolvimento de sistemas computacionais e de técnicas de processamento de imagens possibilitam a manipulação numérica das imagens, visando o realce de informações de interesse para a interpretação visual ou automática. O uso dessas técnicas traz boas perspectivas no mapeamento geológico básico, pois possibilita uma visão sinóptica de amplas áreas e a integração de dados litológicos e estruturais de várias fontes. Este trabalho selecionou as imagens do sensor ASTER (Advanced Spaceborne Thermal Emission and Reflection Radiometer) devido as características de suas resoluções espectral e espacial, como as mais promissoras para identificação dos diferentes litotipos da área do Platô da Ramada, em especial as unidades vulcânicas e hipabissais relacionadas e sedimentares subjacentes. O Platô da Ramada, região de Vila Nova do Sul (RS) constitui uma feição geomorfológica de destaque na área, facilmente identificável nas imagens orbitais, sendo formado por uma seqüência vulcânica caracterizada por depósitos efusivos e piroclásticos, de composição dominantemente ácida. Representa uma fração significativa do magmatismo alcalino sódico neoproterozóico no Escudo Sul-rio-grandense e marca um dos ciclos vulcânicos do período pós-colisional do Ciclo Brasiliano Este estudo testou e avaliou diversos processamentos das imagens multiespectrais para diferenciação litológica, a identificação de alvos e a definição de morfoestruturas da área do Platô da Ramada. A integração de dados geológicos existentes com os produtos obtidos neste estudo possibilitou novas informações anexadas ao mapa geológico utilizado como verdade terrestre. O processamento utilizando a técnica de Transformação por Componentes Principais Seletivas proporcionou os melhores resultados realçando diferenças espectrais existentes entre as rochas vulcânicas e hipabissais e as rochas sedimentares. A partir dessa técnica, selecionou-se as imagens CP2 dos pares das bandas 4-5 (R), 3-4 (G) e 8-9 (B) na geração de uma composição colorida. Esta imagem permitiu a diferenciação espectral entre as rochas vulcânicas do Platô da Ramada e as rochas sedimentares do Grupo Maricá, bem como a individualização, no Grupo Maricá, de duas subunidades, levando-se em conta a densidade de intrusões de diques riolíticos ao norte da área. Identificou-se, ainda, um corpo diorítico com forma elíptica na borda SW do Platô da Ramada, não registrado anteriormente.

Metodologia de mapeamento aéreo com fotografias de pequeno formato aplicadas no planejamento e gerenciamento de unidades de consevação

Esta dissertação propõe o desenvolvimento de uma metodologia de obtenção de fotografias aéreas, com a finalidade de mapear áreas selvagens amparadas legalmente e administradas pelo governo federal do Brasil. O objetivo final foi o de vir a ser uma ferramenta de mapeamento dessas áreas para o seu planejamento e gerenciamento, com uma metodologia simples e de baixo custo. O sistema para a obtenção das aerofotos emprega as fotografias obtidas com máquinas de 35 mm e aeronaves de asa alta e ampla visibilidade, próprias para reconhecimento aéreo. Emprega ainda um aparelho, com alguns acessórios, construído especialmente para proporcionar o máximo de verticalidade possível das aerofotos em relação ao solo, além de navegação por GPS, procurando eliminar assim distorções ocasionadas por giros e desvios da aeronave leve e melhorando o desempenho da montagem das aerofotos em um mosaico digital. O produto final a ser obtido é um mosaico de fotografias aéreas, georreferenciado, e que serve de base para a elaboração de diversos tipos de mapas temáticos da área protegida, contendo elementos que possam satisfazer as exigências técnicas requeridas pelo levantamento. Além disso, ficam disponibilizadas as aerofotos em pares estereoscópicos de altíssima resolução, para observações mais detalhadas dos diversos elementos no solo. Embora as imprecisões, procurou-se proporcionar uma base de mapeamento georreferenciado através do uso de GPS em pontos de controle no campo, correção destas informações através de técnicas expeditas de DGPS e correção geométrica do mosaico de aerofotos. O resultado final pode ser considerado bastante satisfatório e a metodologia passível de utilização no cumprimento dos objetivos a que se propõe, para o gerenciamento, planejamento e monitoramento de unidades de conservação de uso indireto federais, estaduais e municipais .

Mapeamento das necessidades dos portadores de deficiência física do munípio de Blumenau (SC), através do design macroergonômico

Essa dissertação trata do mapeamento das necessidades dos portadores de deficiência física do município de Blumenau (SC) e da confrontação das mesmas com as ações das Secretarias da Prefeitura Municipal de Blumenau. Foram identificados quantos são os portadores de deficiência física deste município, mapeadas e priorizadas suas necessidades. O estudo utilizou a ferramenta Design Macroergonômico (FOGLIATTO e GUIMARAES, 1999) e foi realizado na Associação Blumenauense de Deficientes Físicos – ABLUDEF. A acessibilidade destaca-se como a principal necessidade para os portadores de deficiência física, além de mais linhas com ônibus adaptados para o transporte coletivo urbano de Blumenau - SC. Ficou claro também que as ações das secretarias municipais procuram cumprir as leis pertinentes às necessidades dos portadores de deficiência física. Os resultados serão repassados para as secretarias municipais para que suas ações sejam compatíveis com as expectativas e necessidades dos usuários.

Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.