Integração de sistemas de informação através de web services

Sistemas de informação incorporam processos de negócios particulares de cada organização. A medida em que se observa uma crescente pressão de mercado para que empresas troquem informações de forma automatizada e segura para obtenção de melhores resultados, faz-se necessário repensar a forma como são concebidos os sistemas de informação, desde a modelagem da empresa propriamente dita até a modelagem dos processos de negócio e sua interação com os demais colaboradores. Modelar os processos de negócio de uma empresa em um contexto global significa não apenas estabelecer regras de comportamento, mas também expressar a forma como os processos poderão ser acionados e interagir com sistemas de informação diferentes. Existem várias tecnologias empregadas para a integração de sistemas de informação. Entre tantas tecnologias, uma delas vêm recebendo especial atenção: a tecnologia Web services. A suposta interoperabilidade dos Web services permite a comunicação de aplicações desenvolvidas em diferentes plataformas de hardware e diferentes linguagens de programação através da Internet ou de uma rede local. No entanto, algumas particularidades devem ser observadas para que a implementação de Web services seja eficiente. Disponibilizar processos de negócio de uma empresa através da Internet pode ser uma ótima opção para o incremento de suas atividades, mas requer cuidados especiais. Este trabalho apresenta uma revisão bibliográfica sobre a modelagem de empresas, modelagem de processos de negócio e a integração de sistemas de informação através do uso de Web services. Através de um estudo de caso, são apresentados os principais conceitos e as etapas necessárias para a implementação de Web services em um sistema Web. Como contribuição deste trabalho, é proposta uma alternativa de modelagem de sistemas que permite um melhor controle sobre o tratamento de exceções em Web services. O trabalho desenvolvido compreendeu a especificação, desenvolvimento e aplicação de um ambiente para suportar esta classe de aplicação. No texto é descrito o funcionamento da biblioteca NuSOAP, apresentando o código-fonte completo da aplicação desenvolvida, acessando Web services através de chamadas em alto nível (WSDL). Com o presente trabalho, tem-se uma proposta, já avaliada e validada, para funcionar como referencial conceitual e prático para o desenvolvimento de aplicações usando a tecnologia de Web services.

DOMonitor: um ambiente de monitoração de aplicações distribuídas Java

A linguagem de programação Java vem sendo uma das escolhidas para a implementação de aplicações compostas por objetos distribuídos. Estas aplicações caracterizam-se por possuir comportamento complexo e, portanto, são mais difíceis de depurar e refinar para obter melhores desempenhos. Considerando a necessidade do desenvolvimento de uma ferramenta de monitoração para o modelo de objetos distribuídos, que colete informações mais detalhadas sobre a execução da aplicação, é apresentado neste trabalho um ambiente de monitoração de aplicações distribuídas escritas em Java, o DOMonitor. Um dos objetivos do DOMonitor é obter o comportamento que a aplicação apresenta durante a execução, possibilitando a detecção de comportamentos equivocados e seu respectivo refinamento. O DOMonitor é voltado para aplicações compostas por objetos distribuídos e caracteriza-se por identificar principalmente: (i) o comportamento dinâmico das threads; (ii) a utilização dos métodos de sincronização; e (iii) a comunicação entre os entes distribuídos da aplicação. O DOMonitor está fundamentado em quatro premissas: (i) ser transparente para o usuário, não exigindo anotações no código fonte; (ii) apresentar uma organização modular, e por isto ser flexível e expansível; (iii) ser portável, não exigindo nenhuma alteração na Maquina Virtual Java; e (iv) operar de forma a garantir a ordem dos eventos previstos pelo programa. Os dados produzidos pelo DOMonitor podem ser utilizados com diversas finalidades tais como visualização da execução, escalonamento e como suporte à execução de aplicações móveis. Para comprovar esta versatilidade, foi proposta a integração do sistema a dois outros projetos, o Pajé e o ISAM. O projeto ISAM utilizará os dados monitorados para tomadas de decisão durante o curso da execução e o projeto Pajé permite a visualização gráfica das características dinâmicas de uma aplicação Java.

O uso da simulação computacional como ferramenta de auxílio à tomada de decisão : aplicação em empresa de papelão ondulado

A competição entre as empresas pela busca de mercado tem levado ao aprimoramento de suas atividades e melhorias em seus processos produtivos. Este trabalho apresenta a análise do processo produtivo de uma empresa produtora de embalagens de papelão ondulado através da técnica da simulação computacional. O simulador ProModel foi utilizado no desenvolvimento do estudo e se mostrou adequado para a modelagem do processo produtivo e geração de resultados. Com a sua capacidade de animação, criação de macros e geração de relatórios, ficou facilitado o desenvolvimento e analise de cenários. Isto permitiu que o foco do estudo ficasse sobre a análise dos resultados e simulação de cenários e não na programação para criação e rodagem do modelo de simulação. A partir da modelagem do processo real de trabalho foi possível identificar restrições de capacidades no sistema, o que levou à criação de cenários onde oportunidades de melhoria pudessem ser avaliadas. A revelação de que a parcial utilização do equipamento denominado Onduladeira, o qual gerava perdas por ociosidade nas impressoras, acabou se mostrando como o gargalo do processo produtivo é o mais indicado ponto de melhoria. Com o incremento de produtividade sobre este equipamento, definido a partir de análises dos cenários, obteve-se como resultado a utilização de 100% dos demais equipamentos do processo produtivo. Análises e comparações de resultados entre os cenários e as conclusões do estudo são apresentadas no final do trabalho.

Regionalização da assistência farmacêutica no estado de Goiás : dilemas, incertezas e desafios

O estado de Goiás deu início ao seu processo de regionalização das ações de saúde, seguindo as diretrizes do SUS e as normas preconizadas pela NOAS 2001. O Plano Diretor Regionalização (PDR) está pactuado desde 2002, entretanto ainda não se encontra em pleno funcionamento. As ações de assistência farmacêutica (AF) ainda não foram regionalizadas. Com a intenção que identificar quais ações deveriam ser regionalizadas, as maiores dificuldades para a regionalização desse setor e a necessidade de se regionalizar essas ações, questionou-se os servidores da Secretaria de Estado da Saúde SES-GO, do nível central e regional, que trabalham direta ou indiretamente com ações de AF. Utilizando a escala de Likert para medir a intenção (vontade, desejo) das atitudes desses servidores. Demonstrou–se, nesta pesquisa, a predisposição de realizar regionalmente as ações de programação anual, distribuição de medicamentos aos municípios e avaliação das ações básicas dos municípios da sua região, a neutralidade quanto a regionalização das ações de seleção de medicamentos e a dispensação de medicamentos especiais. Apenas com relação à ação de aquisição regionalizada se encontrou uma predisposição desfavorável, ainda que com a predisposição de concordar com a necessidade da regionalização da assistência farmacêutica estadual. As maiores dificuldades são a carência de recursos humanos, agenda política, programação anual e a estrutura física deficitária das administrações regionais de saúde.

Estudo comportamental sobre os efeitos do tratamento crônico com imipramina em ratos manipulados no período neonatal

Eventos precoces, particularmente diferentes tipos de estresse, como hipóxiaisquemia, infecções, desnutrição/hipernutrição e negligência materna, podem trazer conseqüências para toda a vida. Tais conseqüências variam conforme a qualidade, a intensidade e a janela de tempo em que o agente agressor atuou, além da susceptibilidade do organismo que o recebeu. Os mecanismos pelos quais estes eventos levam a tais alterações ainda não estão totalmente esclarecidos, mas sabe-se que esta fase da vida constitui-se ao mesmo tempo de um período de hiporresponsividade ao estresse, assim como uma fase crítica para desenvolvimento de diversos órgãos e sistemas. Sabe-se que desafiando a homeostasia do organismo nesse momento, ocorre uma programação de diversos sistemas envolvidos na resposta ao estresse a um novo equilíbrio funcional, o que pode alterar a relação saúde-doença na vida adulta. Dentre os modelos para o estudo de intervenções precoces, temos a Manipulação Neonatal, que consiste numa separação breve da mãe, durante o período hiporresponsivo ao estresse. Nesse trabalho usou-se a separação por 10 min, nos primeiros 10 dias de vida. A partir desta intervenção animais tornam-se menos reativos ao estresse, apresentam comportamento menos ansioso frente a estressores e têm comportamento alimentar caracterizado por um aumento no consumo de alimento palatáveis, sem alteração no consumo de ração padrão. O controle da alimentação envolve basicamente dois componentes, um homeostático e outro hedônico. A preferência alimentar alterada dos animais manipulados no período neonatal indica possivelmente uma alteração da percepção hedônica do alimento. As vias dopaminérgicas mesolímbicas estão associadas a recompensas naturais ou biológicas como alimentação, sexo, drogadição. Sabe-se que animais manipulados no período neonatal apresentam redução de receptores D3 no núcleo acumbens. A Imipramina é um antidepressivo tricíclico que age principalmente por inibição da recaptação de serotonina e noradrenalina, e com ações indiretas sobre o sistema dopaminérgico e eixo Hipotálamo – Pituitária - Adrenal. Seu uso crônico reforça a capacidade do organismo de enfrentar o estresse e de sentir recompensas naturais como a da alimentação. O objetivo desse trabalho foi investigar se o tratamento crônico com Imipramina reverteria o comportamento alimentar alterado de animais manipulados no periodo neonatal. Adicionalmente investigou-se o efeito deste tratamento sobre outras alterações comportamentais como a menor inibição exploratória no Labirinto em Cruz Elevado e menor habituação no teste do Campo Aberto. No consumo basal de alimento doce, houve aumento de consumo de alimento doce apenas em machos manipulados, sendo que o tratamento com Imipramina diminui este efeito. Os animais machos manipulados não tiveram aumento de consumo em resposta ao estresse de contenção nem à exposição a um ambiente enriquecido, porém responderam à novidade. Novamente aqui o tratamento com Imipramina reverteu o comportamento, pois os animais tratados apresentaram maior reatividade aos estímulos, igualando seu modo de reagir ao dos animais não manipulados. As fêmeas não apresentaram diferenças no consumo de alimento doce no basal, porém o tratamento com Imipramina reduziu a intensidade da resposta aos diferentes estímulos, levando-as a um menor consumo. Nos testes comportamentais, de um modo geral, animais manipulados, tanto machos (no Labirinto em Cruz Elevado), quanto fêmeas (no Campo Aberto), mostraram sinais de menor ansiedade, sem efeito da Imipramina. Porém entre os não manipulados, a Imipramina teve efeito ansiolítico apenas em fêmeas. Tanto o tratamento medicamentoso, quanto a manipulação neonatal levaram a uma menor habituação ao Campo Aberto. Na Preferência Condicionamada de Lugar houve igual desempenho de todos os animais. O principal achado deste trabalho foi o fato dos animais manipulados não tratados com Imipramina terem apresentado uma reduzida variabilidade nas respostas decorrentes de mudanças ambientais, evidenciado tanto no comportamento alimentar persistentemente mantido no mesmo patamar (independentemente das intervenções), quanto na resistência a habituação ao Campo Aberto. A Imipramina foi eficaz em reverter apenas a alteração do comportamento alimentar de ratos machos manipulados no período neonatal, permitindo-lhes uma maior variabilidade de resposta, o que aproximou o seu comportamento ao dos animais não manipulados.

A mão e a mente que fazem a obra : proposta de programa de treinamento de trabalhadores da construção civil em segurança no trabalho

Esta pesquisa propõe um programa de treinamento em segurança para trabalhadores da construção. O programa foi baseado nos seguintes dados: dois estudos de caso sobre as práticas de treinamento adotadas por duas contratantes, em Porto Alegre - estes estudos também envolveram a identificação das necessidades de treinamento da mão-de obra; uma análise do programa de treinamento desenvolvido por uma companhia siderúrgica, visitas à Escola Profissional da Indústria da Construção(SENAI-RS). O programa de treinamento tem dois estágios preliminares: (a) a definição do perfil desejado do trabalhador, o qual inclui características pessoais e habilidades técnicas; (b) a definição dos objetivos do programa de treinamento. O próprio programa de treinamento envolve quatro estágios principais: (a) o diagnóstico das práticas de treinamento existentes e as necessidades de treinamento dos trabalhadores; (b) o planejamento e a programação; (c) a implementação e execução; e (d)a avaliação dos resultados. Esta pesquisa ressaltou alguns importantes fatores a serem considerados no desenvolvimento de um programa de treinamento em segurança, tais como: a escolha de um treinador capaz, a escolha de um local apropriado, onde as sessões de treinamento deveriam ocorrer, e a identificação das reais motivações dos trabalhadores em assistir aos treinamentos.

Namoro MTV : juventude e pedagogias amorosas/sexuais no Fica Comigo

Este trabalho analisa as pedagogias amorosas/sexuais produzidas pela cultura de mídia, especificamente, um programa de namoro na TV, denominado Fica Comigo, da MTV. Esse programa, como toda a programação da MTV, é direcionado a jovens, públicoalvo da emissora. Destina-se a jovens que buscam, através da emissora, um/a namorado/a. O querido ou a querida, como são denominados/as os/as que vão "descolar" um/a namorado/a, procuram pelo/a parceiro/a “ao vivo e a cores” no programa televisivo. Já os/as que disputam o querido ou a querida são denominados de interessados/as. Além desses/as participantes, fazem parte do programa a apresentadora e a platéia. Selecionei para esta análise os programas que foram ao ar entre os meses de abril e dezembro de 2001. A presente investigação tem como objetivo a descrição analítica do Fica Comigo a partir de uma questão central: Como se constitui uma pedagogia amorosa/sexual para jovens nesse programa? Essa questão implica outras: O que é selecionado como constituindo a conquista amorosa/sexual? Que valores, comportamentos, “atitudes” (para usar um termo caro à MTV) são estimulados ou desprezados como ideais para os/as jovens? O que é citado, repetido das práticas amorosas tradicionais e como isso se expressa nesse contexto de mídia? O que este programa pode nos sugerir sobre as práticas amorosas/sexuais da juventude na contemporaneidade?

Programa computacional para dimensionamento e simulação de sistemas fotovoltaicos autônomos

Nas últimas décadas, sistemas de suprimento de energia que utilizam recursos renováveis têm sido estudados e empregados como opção para o fornecimento de energia elétrica em comunidades isoladas em áreas remotas. Devido aos avanços da tecnologia fotovoltaica associada à diminuição de custos e maior conhecimento de seu desempenho, os sistemas fotovoltaicos apresentam-se como uma opção promissora. Neste trabalho apresenta-se o desenvolvimento de um programa computacional de dimensionamento e simulação de sistemas fotovoltaicos autônomos na linguagem de programação Visual Basic 5.0, chamado PVSize, capaz de propor, para uma certa configuração de sistema, o número de baterias e módulos com seu risco de déficit de energia. Este programa tem como finalidade facilitar a interação com o usuário, e poderá ser utilizado como uma ferramenta auxiliar no processo de escolha dos elementos do sistema e estabelecer a melhor configuração através de um acompanhamento anual com base horária dos parâmetros envolvidos. Estes elementos são caracterizados através da implementação de modelos matemáticos propostos por diferentes autores que descrevem o seu desempenho individual. A integração destes modelos através de uma metodologia apropriada levou ao desenvolvimento de um programa completo de dimensionamento e simulação de sistemas fotovoltaicos autônomos. O potencial energético solar é obtido a partir de informações das características climatológicas locais, utilizadas para gerar séries de dados de radiação a partir de modelos estatísticos O programa permite projetar sistemas de suprimento de energia elétrica que atenderão cargas comunitárias (iluminação pública e de escolas, bombeamento de água, refrigeração em centros de saúde, irrigação, telecomunicações, e mais) e cargas residenciais (iluminação, refrigeração, lazer, etc.) tornando-se uma ferramenta importante para o projeto de sistemas fotovoltaicos autônomos. A comparação dos valores obtidos através de PVSize e outros programas computacionais desenvolvidos por estabelecimentos conceituados na área apresentou uma ótima concordância. Desta forma fica demonstrada a adequação do PVSize para o dimensionamento e simulação de sistemas fotovoltaicos autônomos.

Aspectos afetivos nos processos de ensino e de aprendizagem de língua estrangeira na meia-idade

Trata-se de um estudo de caso descritivo-qualitativo sobre o ensino de inglês como língua estrangeira para estudantes de meia-idade. O objetivo é apontar as peculiaridades desses aprendizes com relação ao domínio afetivo (crenças, emoções e atitudes), que devem ser levados em conta pelo professor para um melhor aproveitamento em aula. Os estudantes observados nesta pesquisa são alunos da escola EnglishTech – Tecnologia em Aprendizagem Acelerada, cuja metodologia se diferencia pela utilização de alguns conceitos da Programação Neurolingüística aliados a Estratégias de Aprendizagem de Línguas. Alunos, professores e coordenadora pedagógica da escola foram observados e/ou entrevistados As informações obtidas entre junho de 2002 e novembro de 2004 foram analisadas qualitativamente e revelaram que esses estudantes, entre 45 e 68 anos, não devem ser inseridos em turmas de adultos jovens, nem de terceira idade, pois têm um perfil específico, embora compartilhem características de ambos os grupos. Seus propósitos com as aulas incluem razões práticas (como cinema, computador e viagens), aspectos sociais (convívio com os colegas) e a utilidade do estudo para a mente e a memória. Em comparação com os jovens, os alunos de meia-idade têm menos medo de errar frente aos colegas, são mais perseverantes diante das dificuldades, não se importam de praticar bastante, mas são menos confiantes, apresentam mais crenças negativas e respeito de si mesmos e de sua capacidade de aprendizado, além de experimentarem mais emoções negativas, como inibição, ansiedade e frustração. Um anexo com propostas de atividades didáticas de inglês adequadas para essa faixa etária conclui a tese.

Avanços na determinação da distribuição em profundidade de elementos leves com resolução subnanométrica utilizando reações nucleares ressonantes

A utilização de reações nucleares ressonantes estreitas em baixas energias é uma ferramenta importante para a determinação de distribuições de elementos leves em filmes finos com resolução em profundidade subnanométrica. O objetivo do trabalho descrito ao longo da presente dissertação é aprimorar os métodos utilizados para a aquisição e interpretação das curvas experimentais. A obtenção das curvas experimentais consiste na detecção dos produtos das reações nucleares em função da energia das partículas incidentes, fazendo necessária variar a energia das partículas do feixe em passos discretos no intervalo desejado. Neste trabalho implementou-se um sistema automático para o controle e incremento da energia do feixe e monitoramento dos produtos das reações nucleares. Esse sistema de varredura automático de energia, além de aumentar consideravelmente a velocidade da medida, aumenta a qualidade das curvas experimentais obtidas. Para a interpretação das curvas de excitação experimentais, foi implementado um programa em linguagem de programação C, baseado na teoria estocástica, que permite simular numericamente as curvas de excitação. Para demonstrar a sua funcionalidade o método desenvolvido foi aplicado para verificar a estabilidade termodinâmica de filmes dielétricos ultrafinos depositados sobre silício, que foram posteriormente nitretados por plasma.

Sistemática para apoiar o planejamento e a gestão de estoques em indústrias de alimentos : o caso da Masterfoods

O presente trabalho foi realizado a fim de buscar um melhor nivelamento de estoques em uma indústria multinacional de alimentos, buscando reduzir os seus níveis de atendimento ao cliente. Através dessa reução dos estoques, trabalha-se uma lacuna de extrema importância para indústrias desse segmento, pois existe uma grande complexidade para o gerenciamento desses estoques, por se tratar em muitas vezes de produtos perecíveis, com baixo prazo de validade, e muitas vezes tendo que ser armazenados em ambiente refrigerado. O trabalho propõe uma sistemática de apoio ao planejamento e à gestão de estoques em indústrias de alimentos, a qual considera a previsão de vendas e os níveis de estoque minímo para planejamento, e o kanban para a programação das entregas. A sistemática proposta foi parcialmente aplicada numa indústria multinacional de alimentos, conseguindo-se reduzir seus níveis de estoque e melhorar seus indicadores de níveis de atendimento aos clientes.

Recuperação de águas de processos : desenvolvimento de um problema padrão

Atualmente, a consciência de que os recursos naturais são esgotáveis e que a geração de poluentes deve ser evitada para impedir um sério problema ambiental, são aspectos que já estão sendo considerados na indústria química. Isto se reflete em uma das principais preocupações enfrentadas por este setor: a minimização de efluentes. O presente trabalho tem por objetivo desenvolver um problema padrão na área de integração mássica para recuperação de água de processos, sugerindo uma metodologia que ajude a solucionar esta grande preocupação. O problema padrão proposto é suficientemente simples para sua rápida compreensão, e complexo o suficiente para representar uma típica situação industrial. Na metodologia empregada, técnicas de integração mássica como: reuso, reciclo e regeneração são utilizadas, alternativamente ao tratamento de final de tubulação, a fim de reduzir a demanda de água consumida e minimizar a quantidade de efluente líquido tratado e descartado. A síntese da rede de integração mássica foi feita através da construção de uma superestrutura, contendo todas as possíveis configurações em potencial para o sistema proposto. A solução do problema foi obtida via programação não linear mista inteira (MINLP). Um estudo comparativo entre as diversas configurações obtidas foi realizado. Uma análise da operabilidade das principais configurações da rede de integração mássica foi feita para garantir que a rede sintetizada seja operável.

Implementação de mecanismo de sincronismo virtual: experiência com Java

Este trabalho relata as atividades de estudo, projeto e implementação de uma aplicação distribuída que explora mecanismos básicos empregados em comunicação de grupo. O estudo é focado no desenvolvimento e uso dos conceitos de sincronismo virtual e em resultados aplicáveis para tolerância a falhas. O objetivo deste trabalho é o de demonstrar as repercussões práticas das principais características do modelo de sincronismo virtual no suporte à tolerância a falhas. São preceitos básicos os conceitos e primitivas de sistemas distribuídos utilizando troca de mensagens, bem como as alternativas de programação embasadas no conceito de grupos. O resultado final corresponde a um sistema Cliente/Servidor, desenvolvido em Java RMI, para simular um sistema distribuído com visões de grupo atualizadas em função da ocorrência de eventos significativos na composição dos grupos (sincronismo virtual). O sistema apresenta tratamento a falhas para o colapso (crash) de processos, inclusive do servidor (coordenador do grupo), e permite a consulta a dados armazenados em diferentes servidores. Foi projetado e implementado em um ambiente Windows NT, com protocolo TCP/IP. O resultado final corresponde a um conjunto de classes que pode ser utilizado para o controle da composição de grupos (membership). O aplicativo desenvolvido neste trabalho disponibiliza seis serviços, que são: inclusão de novos membros no grupo, onde as visões de todos os membros são atualizadas já com a identificação do novo membro; envio de mensagens em multicast aos membros participantes do grupo; envio de mensagens em unicast para um membro específico do grupo; permite a saída voluntária de membros do grupo, fazendo a atualização da visão a todos os membros do grupo; monitoramento de defeitos; e visualização dos membros participantes do grupo. Um destaque deve ser dado ao tratamento da suspeita de defeito do coordenador do grupo: se o mesmo sofrer um colapso, o membro mais antigo ativo é designado como o novo coordenador, e todos os membros do grupo são atualizados sobre a situação atual quanto à coordenação do grupo.

Otimização topológica de estruturas contínuas submetidas a restrições de flexibilidade, volume e frequência natural

Este trabalho trata dos problemas de otimização de minimização de volume com restrição de flexibilidade e freqüência natural e minimização de flexibilidade com restrição de volume. Os problemas são resolvidos para estruturas bidimensionais e tridimensionais. As equações diferenciais de equilíbrio são solucionadas de forma aproximada através do método dos elementos finitos, em um subespaço de dimensão finita. O método utilizado no estudo é o da otimização topológica, o qual consiste em encontrar dentro de um domínio pré-existente uma distribuição ideal de material. São avaliadas técnicas como programação linear e critério de ótimo. Em ambos os casos são utilizadas sensibilidades calculadas analiticamente. Para a otimização com restrição modal, problemas característicos como autovalores repetidos e normalização do autovetor são tratados. Ferramentas usadas na otimização topológica, como método da continuação, penalização e filtragem são discutidos. São abordados também problemas e características inerentes ao processo de otimização topológica, tais como instabilidades de tabuleiros, dependência de malha e sensibilidade da topologia a diferentes condições de contorno. Os resultados obtidos permitem avaliações referentes à otimização topológica (geometrias, ou seja, topologias resultantes) sob diferentes condições, utilizando-se as ferramentas discutidas nesse trabalho.

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.