Classificação e especificação de restrições de integridade em bancos de dados temporais de versões

Um Sistema gerenciador de Bancos de Dados (SGBD) possui como principal característica a capacidade de gerenciar bases de dados que representam parte do mundo real. Para que essa representação seja fiel, os dados presentes em uma base de dados devem obedecer a diversas regras conhecidas como restrições de integridade. Estas podem ser provenientes da realidade modelada, da implementação ou do modelo de dados utilizado. O suporte oferecido por sistemas gerenciadores de bancos de dados tradicionais não é suficientemente adequado a certas aplicações com necessidades que vão além das convencionais. Diversas aplicações necessitam armazenar dados históricos em conjunto com seus períodos de validade. Outras precisam armazenar versões de conjuntos de dados, gerenciando suas agregações e formas de representação. Através do suporte aos conceitos de tempo e de versão, provido por um SGBD, grande parte dessas necessidades é suprida. Este tipo de banco de dados usa o conceito de tempo para armazenar e controlar dados históricos enquanto o conceito de versão permite a gerência de alternativas de projeto. Existem atualmente diversos trabalhos e implementações relacionados à manutenção de restrições de integridade sobre bancos de dados tradicionais. Entretanto, restrições que consideram a gerência de tempo e de versões sobre dados ainda representam uma área de pesquisa praticamente inexplorada. De acordo com essa realidade, o primeiro objetivo do presente trabalho consiste em definir uma classificação de restrições de integridade para bases de dados com suporte a tempo e versões, a fim de prover uma base para o desenvolvimento de pesquisas relacionadas à sua especificação e manutenção. O segundo objetivo consiste em agregar ao Modelo Temporal de Versões (TVM), que suporta os conceitos de tempo e de versão, uma linguagem que permita a especificação de restrições de integridade. Esta linguagem considera características relacionadas à temporalidade e ao versionamento dos dados e das próprias restrições.

Ciclos deposionais evaporíticos da bacia de santos uma análise cicloestratigráfica a partir de dados de 2 poços e de traços de sísmica

A seqüência evaporítica Aptiana da Bacia de Santos constitui-se num dos maiores depósitos salíferos antigos conhecidos no mundo, tanto em área como em espessura. Esta última chega a atingir 2.500 m em alguns locais com baixa deformação. Devido à intensa halocinese ocorrida a partir do Albiano, sua estratificação deposicional ficou preservada em poucos locais. O Platô de São Paulo, feição fisiográfica que se estende até as águas profundas da Bacia de Santos, teve papel importante na preservação do acamadamento original. Dois poços e traços de uma seção sísmica, localizados nesta área, foram utilizados para o estudo cicloestratigráfico do pacote evaporítico. A correlação dos dois poços, a partir de seus perfis geofísicos, permitiu a identificação de um ciclo evaporítico principal com grande continuidade lateral e de espessura variável. Este ciclo deposicional foi classificado como do tipo brining upward/downward, e caracteriza-se pela precipitação rítmica de anidrita, halita, sais complexos, halita e, novamente, anidrita, no final de um ciclo e início do seguinte. Esta ordem de deposição foi interpretada como função da variação da espessura da lâmina de água e da concentração da salmoura. A análise cicloestratigráfica dos perfis geofísicos dos dois poços (raios gama, velocidade e densidade) e dos dois traços sísmicos resultou na correlação do principal ciclo identificado com o ciclo orbital de Milankovich de precessão longa, com 22 ka. Um outro ciclo secundário, com maior espessura, foi interpretado como resultado de variações climáticas em função do ciclo de obliqüidade, com um período de 39 ka. As taxas de deposição de cada ciclo são bastante variáveis em função da quantidade de cada tipo de evaporito. Através das análises cicloestratigráficas e do estudo das proporções em que cada sal ocorre, chegou-se a uma taxa de deposição da halita entre 10 e 11,5 m/ka, e de 0,61 a 0,64 m/ka para a anidrita. Esta diferença entre as taxas de deposição da halita e da anidrita explica a grande variação de espessura do ciclo principal, especialmente entre o depocentro e a borda da bacia. A menor concentração da salmoura nas proximidades da borda justifica uma menor espessura do ciclo e uma proporção bem maior de anidrita, quando se compara com uma deposição próxima ao depocentro. A cicloestratigrafia aplicada aos traços sísmicos apresentou resultados similares aos encontrados nos dois poços. A grande variação das propriedades físicas entre os diferentes tipos de evaporitos, especialmente entre a anidrita e os sais complexos, permite a intercalação de refletores com grande amplitude e continuidade. Foram contabilizados 22 ciclos nos dois traços analisados, os quais somados com o nível superior não analisado, mais rico em anidrita, totalizam 573 ka para a idade da seqüência evaporítica. Este resultado, mais os encontrados nos dois poços, permite uma previsão de tempo para a deposição de toda a seqüência entre 400 e 600 ka. Como um modelo mais provável para a deposição de toda a seqüência evaporítica, defende-se, neste trabalho, a hipótese de uma bacia profunda com lâmina de água também profunda. Os ciclos teriam se depositados a partir de mudanças de concentração da salmoura originadas pela variação de uma lâmina de água de cerca de 1000 m, na deposição da anidrita, para menos de 200 na deposição dos sais complexos, na parte mais profunda da bacia. Corroboram para este modelo, a grande continuidade, do depocentro até as bordas, das camadas de cada ciclo, a declividade, mesmo que bastante baixa, da bacia e a impossibilidade de valores de taxas de subsidência similares aos de deposição do ciclo evaporítico.

Hip-Hop : educabilidades e traços culturais em movimento

Este é um estudo dos elementos e das atividades culturais do Movimento Hip-hop tomadas como saberes e como processos de aprendizagens trans-escolares, enquanto ações sociais potencializadoras de outras educabilidades e traços culturais. É um estudo de outros conhecimentos e modos de ser humanos que se fazem com, a partir e para além dos espaçostempos tradicionalmente conhecidos como pedagógicos e que se constituem dentro de um movimento constante dos seus sujeitos em busca de saberes. Na medida que foi possível perceber e vivenciar alguns fluxos de sentidos nesta rede de educabilidades, eu procurei compreendê-las como produções dialógicas de saberes e organizá-las, segundo sua natureza e tendências evolutivas, dentro de três campos complexos. A estes campos, construídos a partir de uma reflexão aberta, resolvi dar o nome de expressivo-identitário, ético-estético e sóciopolítico. Esta abordagem facilitou a organização dos registros desta pesquisa e vem se construindo como um instrumento flexível, não definitivo, mas bastante próprio à leitura, à análise e à compreensão de vários traços e elementos culturais que constituem o Movimento Hip-hop. Além disso, ajuda a pensar aspectos diversos de um dos principais objetivos deste estudo que é a revelação de outros sentidos destas educabilidades, elevando-as a um patamar de maior importância enquanto ações sociais formadoras e transformadoras dos jovens e das suas realidades localizadas em diferentes periferias urbanas, especialmente de Santa Cruz do Sul - RS. A realização deste trabalho vem fazendo parte da minha trajetória de educador por diferentes inserções diretas em espaços-tempos de expressão da cultura hip-hop, bem como pelo diálogo possível com diferentes grupos e sujeitos que nesta cultura descobrem, problematizam, recriam e assumem suas identidades. O desejo mais forte, a vontade mais latente nesta ação investigativa é construir referências para novos caminhos de ensinoaprendizagem no contexto social mais amplo e complexo, como é o caso do Movimento Hiphop. Em outras palavras, trato de apresentar alguns passos possíveis para uma observação educativa que não deixa de estar vinculada à busca de sentidos em torno de alguns aspectos dos elementos culturais do Movimento Hip-hop, trazendo um pouco da sua história e das suas metodologias constitutivas como caminhos possíveis e como novas perturbações e desafios para a academia. Para tanto, procuro repensar estes modos de ser e de fazer da cultura que forma e que informa o hip-hop no contexto social aberto, como instâncias e ferramentas que ampliam o nosso esforço de educadoras e educadores em reorganizar a escola – seus sujeitos, processos e estruturas do ensino-aprendizagem formais. Assim, as perspectivas e desafios decorrentes deste estudo apontam para algumas metodologias de construção e para certas características dos diferentes sujeitos e práticas culturais que integram o Movimento Hip-hop – mutabilidades, recursividades, dialogicidades, vivências, midiaticidades, autopoiesis, perturbações, transitoriedades, apropriações, territorialidades – como principais contribuições ao nosso trabalho coletivo, feliz-doloroso e inevitável de reconstruir a escola e a educação que vivemos hoje.

Reusing values in a dynamic conditional execution architecture

A Execução Condicional Dinâmica (DCE) é uma alternativa para redução dos custos relacionados a desvios previstos incorretamente. A idéia básica é buscar todos os fluxos produzidos por um desvio que obedecem algumas restrições relativas à complexidade e tamanho. Como conseqüência, um número menor de previsões é executado, e assim, um número mais baixo de desvios é incorretamente previsto. Contudo, tal como outras soluções multi-fluxo, o DCE requer uma estrutura de controle mais complexa. Na arquitetura DCE, é observado que várias réplicas da mesma instrução são despachadas para as unidades funcionais, bloqueando recursos que poderiam ser utilizados por outras instruções. Essas réplicas são geradas após o ponto de convergência dos diversos fluxos em execução e são necessárias para garantir a semântica correta entre instruções dependentes de dados. Além disso, o DCE continua produzindo réplicas até que o desvio que gerou os fluxos seja resolvido. Assim, uma seção completa do código pode ser replicado, reduzindo o desempenho. Uma alternativa natural para esse problema é reusar essas seções (ou traços) que são replicadas. O objetivo desse trabalho é analisar e avaliar a efetividade do reuso de valores na arquitetura DCE. Como será apresentado, o princípio do reuso, em diferentes granularidades, pode reduzir efetivamente o problema das réplicas e levar a aumentos de desempenho.

Amplitude e restrições ao acesso de Pronaf Investimento no Rio Grande do Sul : um estudo de três operações de financiamento envolvendo cooperativas de crédito rural, cooperativas de produção agropecuária e o Banco Regional de Desenvolvimento do Extremo Sul

Passados dez anos da sua criação, é inconteste a relevância do Pronaf como fonte de recursos para o financiamento e para o fornecimento de liquidez para os agricultores familiares. Mas persistem dificuldades de acesso, particularmente ao Pronaf Investimento, justamente a modalidade que permite que estes agricultores realizem investimentos na sua estrutura produtiva, decisivos para a sua reprodução social. Com o objetivo de contribuir com o debate acerca do financiamento do desenvolvimento rural, este trabalho analisou o processo de intermediação financeira do Pronaf Investimento realizado através do Sistema BNDES, envolvendo o BRDE, cooperativas de crédito rural como instituições financeiras repassadoras e cooperativas de produção agropecuária como avalistas das operações de financiamento dos agricultores. Foi procedida uma avaliação do desempenho do Pronaf e, em seguida, relatadas as restrições ao acesso de Pronaf Investimento causadas pela insuficiência de limites operacionais por parte das cooperativas de crédito rural e sua relação com as regras do Sistema Financeiro Nacional derivadas do Acordo de Capital da Basiléia. Por fim, foram relatadas três operações de financiamento envolvendo cooperativas de crédito rural, cooperativas de produção agropecuária e o BRDE. As hipóteses inicialmente aventadas foram confirmadas. Os dirigentes das cooperativas de crédito rural apontaram a insuficiência de limites operacionais por parte das suas respectivas cooperativas como a mais significativa restrição ao acesso de Pronaf Investimento e as operações analisadas permitiram a superação destes limites, assim como a elevação do montante disponível de recursos de R$ 1,205 milhão de reais para R$ 4,855 milhões de reais. Portanto, pode-se afirmar que é possível superar a principal restrição ao acesso de Pronaf Investimento onde atuam cooperativas de crédito rural, qual seja, o limite operacional estabelecido pelas regras derivadas do Acordo de Capital da Basiléia, e que esta superação propicia um aumento do repasse de Pronaf Investimento, fator decisivo para o financiamento da agricultura familiar.

Fonoarticulação e traços suprassegmentais de adolescentes nas fases folicular e luteal dos ciclos menstruais

Resumo não disponível

MAM Museu de Arte Moderna do Rio de Janeiro MASP Museu de Arte de São Paulo : paradigmas brasileiros na arquitetura de museus

Este trabalho analisa a arquitetura do MAM - Museu de Arte Moderna do Rio de Janeiro - e MASP - Museu de Arte de São Paulo - a partir do estudo da história da arquitetura dos museus desde a sua fundação no século XVIII e da análise dos condicionantes que distinguem e particularizam esses edifícios. A moderna arquitetura brasileira, geradora dos princípios de projeto que geraram esses dois museus, mereceu um capítulo próprio. Para um melhor entendimento da arquitetura desses dois museus brasileiros, são abordados os aspectos históricos de suas construções, suas inserções urbanas, funcionalidade, estrutura, materiais e técnicas construtivas, além do seu papel na história da arquitetura brasileira. Em anexo, apresentam-se os traços biográficos de seus arquitetos, Affonso Eduardo Reidy e Lina Bo Bardi, respectivamente, e um breve estudo sobre condicionantes museológicos. Isso fundamenta a análise e pode servir como guia de referência para estudo ou elaboração de projetos de museus.

Contribuição ao estudo petrográfico e geoquímico dos carvões da jazida de Chico Lomã Santo Antônio da Patrulha

São apresentados os resultados dos estudos petrográfico e geoquímico dos carvões da jazida de Chico Lomã, localizada no município de Santo Antônio da Patrulha, no nordeste do Rio Grande da Sul, situada entre as jazidas de Morungava (limite oeste) e Santa Terezinha (limite leste). Na sondagem estudada - 02-TG-88-RS - foram identificadas 7 camadas e 5 leitos de carvão. Entre estes, apenas as camadas E e F apresentam suficiente extensão lateral para serem consideradas economicamente exploráveis. Os carvões são ricos em matéria mineral, constituída, principalmente, de argila. O grupo maceral mais freqüente é o da vitrinita. No que diz respeito aos microlitotipos, ocorre, em geral, o predomínio de carbominerita. Foram identificadas 3 associações de microlitotipos, determinando a existência das seguintes faciologias: ambiente telmático (predomínio de vitrita-clarita), limo-telmático (predomínio de carbargilita-vitrita) e límnico (predomínio de carbargilita-durita-trimacerita). Os carvões apresentam rank que varia de betuminoso alto volátil C/sub-betuminoso A a betuminoso alto volátil A (ASTM). A utilização tecnológica dos carvões das camadas E e F, na siderurgia, pode ser sugerida, mesmo considerando-se seu elevado teor em cinza, desde que sejam submetidos a processos de beneficiamento. Em relação aos argilo-minerais, constatou-se a presença de caolinita, aparentemente relacionada ao conteúdo da matéria orgânica, e do interestratificado ilita-montmorilonita, provavelmente de origem detrítica. Foram identificados 3 grupos de elementos traços : associados à fração orgânica (Co, Ge, Ni, V e Zr), elementos intermediários (Cr, Cu e Sr) e associados à fração inorgânica (B, Ba e Ga). Observou-se, também, que os elementos do primeiro grupo, de maneira geral, se enriquecem nos litotipos com maior conteúdo de vitrênio, ao contrário dos elementos do último grupo que tendem a se enriquecer no carvão fosco e nos folhelhos. Os estudos realizados indicam um paleoambiente de água doce, no qual, provavelmente, tenham ocorrido pequenas ingressões marinhas entre as fases de formação de turfa.

A lateral pós-vocálica no português gaúcho : análise variacionista e representação não-linear

Este trabalho é um estudo da lateral pós-vocálica no que se refere à sua realização como variante velarizada ou vocalizada, sob a perspectiva variacionista. O corpus utilizado é a fala de vinte e oito indivíduos de quatro regiões representativas de diferentes grupos étnicos existentes no Rio Grande do Sul. São examinadas as variáveis lingüísticas e extralingüísticas envolvidas na variação em estudo, confirmando-se a variável grupo étnico como a que mais favorece a presença das duas variantes. Além disso, apresentam-se as regras de velarização e de vocalização da lateral pós-vocálica em termos de traços fonológicos na linha de Clements e discute-se a posição destas no sistema de acordo com a linha da Fonologia Lexical.

A paixão proibida no Hipólito de Eurípedes e em Fedra de Sêneca

Este estudo visa a analisar a peça Hipólito de Eurípides e a Fedra de Sêneca, a partir da intertextualidade, termo criado e difundido por Julia Kristeva no âmbito dos estudos da Literatura Comparada. Procuramos investigar o tema “a paixão proibida” em ambos os textos, destacando o diálogo mútuo que envolvem tais obras. Nessa pesquisa, estudamos essencialmente o discurso feminino, o desenvolvimento da paixão em seus diversos estágios, o ódio masculino contra as mulheres, o pensamento estóico subjacente nas falas das personagens de Sêneca. Outros aspectos também foram investigados como a caracterização das personagens e o enredo. Sêneca apropriou-se de alguns elementos do texto de Eurípides e reformulou-os em um amplo processo de reescrita o que culminou em uma nova obra estética com traços da sua cultura romana.

Para o reconhecimento da especificidade do termo jurídico

Este trabalho defende de que a idéia que critérios lingüísticos e pragmáticos contribuem para o reconhecimento da especificidade do termo jurídico. Desse modo, parte do princípio que a identificação de uma terminologia está vinculada ao reconhecimento da natureza e dos propósitos daqueles que a utilizam em uma dada área de conhecimento, o que, na área jurídica, se torna evidente na expressão da normatividade da lei. A pesquisa utiliza como referencial teórico as concepções de base da Teoria Comunicativa da Terminologia, da Teoria dos Atos de Fala, aportes da Teoria Semiótica do Texto no âmbito jurídico, bem como fundamentos gerais da ciência jurídica. O corpus de estudo, a partir do qual se demonstra a validade da idéia defendida, é formado por textos legislativos. A Constituição Brasileira de 1988 foi escolhida como campo preferencial de pesquisa e é examinado como objeto da comunicação que se estabelece entre o destinador e o destinatário no âmbito do universo sócio-cultural da área jurídica. Descrevem-se os mecanismos que tecem a rede modal que estrutura esse tipo de texto, considerando-se que a enunciação da norma constitucional configura um ato de fala jurídico. Esse ato de fala é analisado na manifestação de normas de três categorias: programáticas, de atribuição de poder e competência e de conduta, destacando-se o caráter performativo dos verbos que expressam tais normas. Após a identificação do padrão morfossintático e semântico que caracteriza a sua estrutura frasal, analisam-se os elementos que vinculam o verbo, seu sujeito e complementos aos propósitos da área temática, com destaque para sua implicação pragmática. Conforme a pesquisa demonstra, tais propósitos imprimem o caráter de imperatividade àquilo que é comunicado, conferindo especificidade às unidades lexicais que integram a estrutura frasal dos verbos focalizados. Conclui-se que o verbo performativo é fator primordial no processo de atualização da especificidade dos termos na linguagem jurídica, bem como se demonstra que alguns dos verbos analisados se constituem em genuínos candidatos a termo jurídico. Finalizando a investigação, são indicados parâmetros para a marcação de elementos lingüísticos, tanto morfossintáticos como semânticos e de natureza pragmática, para o processamento informatizado da linguagem usada no Direito.

Mémoires d'une attente inachevée : le temps dans Malone Meurt, L'innommable et En Attendant Godot de Samuel Beckett

Minha dissertação consiste em desenvolver a relação estabelecida entre o texto e o leitor no processo de leitura literária como produtividade, considerada como um conjunto, compreendendo o produtor do texto e seu leitor. A leitura vista como ‘‘jogo", em que o retorno do diferente não desdenha a tradição da leitura, conduz o leitor à produzir um texto múltiplo, plural. O texto é o mesmo e um outro ao mesmo tempo. Este estudo compreende três textos singulares da obra de Samuel Beckett: Malone meurt, L’Innommable e En attendant Godot. Tudo o que é assimilado, assim como refutado por Beckett, é convidado a entrar em cena no decorrer deste trabalho. Como via de acesso para a composisão da escritura becketiana, foi necessário seguir os passos da memória de leitura do autor para chegar a uma conclusão, segundo minha própria leitura, a partir da leitura dos três textos escolhidos. Por isso, reencontrei em Proust, a idéia do leitor ‘‘livre’’ e ‘‘independente’’ mantido por Beckett. Seguindo os traços da tradição, foi possível desenvolver uma memória de leitura como uma repetição, conduzindo a um resultado imprevisto. Balzac é a primeira referência da leitura beketiana. O autor é trabalhado como fonte principal da leitura becketiana. Assim, a composição da memória em Beckett não pode ser recuperada senão na articulação dos estudos textuais como ‘‘produção’’ e, cujas imagens repetitivas fornecidas pelos três textos de Samuel Beckett asseguram a continuidade, a produtividade de leitura, em que, esta memória, torna-se inevitavelmente, memória do texto.

Caracterização de goethita e hematita em solos poligenéticos

Em 20 amostras de horizontes B latossólicos, uma de B Plíntico, uma de B incipiente e uma de saprolito, foram avaliados dois procedimentos de extração de óxidos de ferro pedogênicos por ditionito-citrato-bicarbonato de sódio. O procedimento DCB80, com quatro extrações sucessivas a 80oC, extraiu aproximadamente 90% do Fed na primeira extração, sendo mais efetivo que o DCB20, em uma única extração a temperatura ambiente, que teve sua eficiência reduzida com o aumento da substituição por Al3+ na goethita. A substituição por Al3+ na goethita determinada por DCB80 superestimou os valores em relação aos estimados por DRX conforme aumentaram as extrações. Em amostras hematíticas, esta estimativa foi prejudicada pela presença de maghemita que dissolveu juntamente com a hematita. As amostras também foram submetidas a dissoluções seletivas por DCB20 em intervalos de tempo entre 5 e 3840 minutos. A segmentação das curvas de solubilização do ferro pelo tempo de dissolução das amostras demonstrou que populações de goethita de solos poligenéticos são heterogêneas quanto a características como substituição por Al3+ e cristalinidade, que combinadas condicionam a estabilidade da goethita à dissolução por redução. Populações de hematitas de solos poligenéticos caracterizaram-se pela homogeneidade dos cristais, semelhantemente a populações de goethitas oriundas de ambientes pedogênicos jovens. A hematita apresentou uma menor resistência à dissolução por redução em relação à goethita, exceto quando a última combinou baixa substituição por Al3+ e baixa cristalinidade. O fracionamento de populações heterogêneas de goethita pode ampliar a utilização deste óxido como mineral indicador ambiental e de processos pedogenéticos em solos poligenéticos, bem como possibilitar um melhor entendimento do comportamento químico e físico desses solos.

Contribuição a inspeção e a avaliação da segurança de estruturas acabadas de concreto armado

Neste trabalho abordam-se as questões relevantes de uma avaliação analítica de estruturas acabadas, apresentando-se os aspectos fundamentais quanto à inspeção e verificação da sua segurança. Primeiramente, apresenta-se os métodos de avaliação, enfatizando-se as vantagens e restrições do emprego de cada método. Quanto à inspeção, são apresentados e discutidos os principais ítens que devem ser verificados nas estruturas acabadas. :t:nfasemaior é dada à inspeção da resistência do concreto, discutindo-se aspectos de sua variação nas ~struturas e apresentando-se os métodos de ensaio empregados. É proposta uma metodologia para a inspeção do concreto, racionalizando-se o emprego dos métodos não-destrutivos. Por fim, destaca-se os aspectos teóricos da verificação da segurança nas estruturas acabadas e as principais diferenças quanto à introdução da segurança nos projetos de novas estruturas.

Uma Proposta de apoio para decisões de grupo no ambiente PROSOFT

O processo de desenvolvimento de software implica na necessidade constante de tomadas de decisão. A cada etapa do processo, torna-se necessário estabelecer a comunicação e interação entre usuários, gerentes, analistas, programadores e mantenedores numa constante troca de informações. O registro dos artefatos produzidos durante todo o processo é uma questão que norteia as pesquisas em ambiente de desenvolvimento de software. Quando se fala em suporte ao processo de colaboração entre os elementos de uma equipe de desenvolvimento, este registro torna-se ainda mais necessário. Neste contexto, a modelagem dos dados a serem armazenados se amplia para comportar outras informações provenientes da interação do grupo além dos artefatos gerados. As informações trocadas durante este processo interativo que incluem fatos, hipóteses, restrições, decisões e suas razões, o significado de conceitos e, os documentos formais formam o que é denominado pela literatura especializada como memória de grupo. A proposta da arquitetura SaDg PROSOFT visa fornecer suporte a memória de grupo, no que diz respeito ao registro das justificativas de projeto(Design Rationale), através de uma integração com o gerenciador de processos (GP) provido pelo ADS PROSOFT. Esta integração se dá através das ferramentas inseridas no modelo, assim desenhadas: Editor de Norma, Editor de Argumentação, Extrator de Alternativas, Editor de Votação. O ADS PROSOFT integra ferramentas para desenvolvimento de software. Este ADS foi escolhido para o desenvolvimento do modelo SADG, pois baseia-se na construção formal de software, mas particularmente no método algébrico, por ser um ambiente estendível, possibilitando a inclusão do modelo SaDg PROSOFT ao seu conjunto de ferramentas, por ter características de um ambiente distribuído e cooperativo e por não dispor de nenhum suporte à discussões e decisões em grupos. São apresentados os fundamentos de modelos SADG e algumas ferramentas. Alguns dos principais requisitos desses ambientes foram coletados e são apresentados a fim de embasar a proposta do trabalho. O modelo SADG é apresentado na forma de ferramentas PROSOFT(chamadas ATOs) e permite a definição de atividades como: Atividade de argumentação, atividade de extração e a atividade de votação. Além disso, permite a coordenação destas atividades através de um facilitador e do próprio GP, e também, possui um mecanismo para a configuração do processo decisório.