Extensão de um modelo OO formal com aspectos temporais

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.

Estudo da viabilidade técnica da utilização de escórias de aciaria do processo LD como adição em cimentos

A reciclagem de resíduos apresenta-se como uma alternativa adequada com relação à preservação dos recursos naturais e do meio ambiente. As escórias de aciaria são resíduos siderúrgicos originados na fabricação do aço, e são geradas em grandes quantidades. Estes resíduos são estocados nos pátios siderúrgicos, onde permanecem, na sua maioria, sem qualquer destino. Normalmente, as escórias de aciaria são volumetricamente instáveis, apresentando características expansivas, e por esta razão, a aplicação das mesmas em materiais de construção torna-se restrita. Esta pesquisa tem como objetivo estudar a viabilidade técnica do uso das escórias de aciaria LD como adição em cimentos, propondo um método de estabilização por meio de granulação por resfriamento brusco destas escórias, buscando, desta forma, a eliminação do fenômeno da expansão, e visando a melhoria das características destes resíduos. No processo de estabilização, a escória líquida foi granulada em uma usina siderúrgica. Estudos complementares de granulação foram realizados nos laboratórios da UFRGS, empregando-se escórias refundidas. A granulação por resfriamento brusco favoreceu a redução do CaOlivre, a eliminação do MgO na forma de periclásio, e a eliminação do bC2S das escórias, considerados agentes causadores da expansão. No entanto, a elevada basicidade da escória LD dificulta a formação da estrutura vítrea e a separação da fração metálica após o resfriamento brusco. Foram realizados ensaios de expansão das escórias, atividade pozolânica, e resistência mecânica de argamassas com escórias granuladas. O resfriamento brusco proporcionou a eliminação da expansão e o desenvolvimento das propriedades pozolânicas/cimentícias da escória granulada. Como adição em cimentos, do ponto de vista da resistência mecânica, as argamassas compostas com escórias granuladas e clínquer apresentaram níveis de resistência à compressão axial compatíveis com as especificações referentes ao cimento Portland composto, apesar destes resultados serem inferiores aos obtidos para as argamassas de referência.