Definição e execução de computações dinâmicas numa linguagem de programação orientada-a-serviços

Os serviços inicialmente idealizados para o mundo dos negócios, têm actualmente um espectro de utilização muito mais lato, facilitando assim a incorporação de software do exterior, sob a representação de serviço, por parte das aplicações. Os principais contribuidores para a emergente utilização de serviços são a proliferação dos dispositivos móveis, a crescente popularidade da computação da nuvem e a ubiquidade da Internet. Apesar deste estado da arte, a abstracção dos serviços continua, maioritariamente, a ser relegada para a camada do middleware. Consequentemente, este confinamento obstem o programador de ter privilégios para interagir com os serviços ao nível da linguagem. A inexistência deste nível de abstracção dificulta o deployment de aplicações dinâmicas. Como medida para tal, o objectivo do nosso trabalho é garantir suporte ao dinamismo e deployment de arquitecturas orientadas a serviços. Com esse propósito, vamos endereçar os problemas de incorporação dos serviços acessíveis pela Web e permitir operações de reconfiguração dos mesmos, nomeadamente, a ligação dinâmica, substituição do fornecedor de serviços e a gestão dinâmica de conjuntos de fornecedores de serviços.

Modelação e integração em sistemas flexíveis de produção

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Informática,pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Quantitative assessment of modularity of caesarJ components

Dissertação apresentada no âmbito do Mestrado em Engenharia Informática para obtenção do grau de Mestre em Engenharia Informática

Implementação de uma linguagem concorrente com tipos comportamentais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Exploração da linguagem Scala para suporte a aplicações paralelas

Nos anos mais recentes tem sido feita investigação no uso da Programação Orientada a Aspectos no suporte a computação paralela, nomeadamente para conseguir guardar as funcionalidades da mesma em módulos, algo que não é possível quando se utiliza Programação Orientada a Objectos. Um resultado desta investigação foi o desenvolvimento de uma aplicação, o ParJECoLi, desenvolvida usando a linguagem Java e recorrendo ao AspectJ para paralelizar a mesma. No entanto, durante essa mesma investigação, chegou-se à conclusão que o AspectJ apresenta algumas limitações na reutilização de módulos. Tendo em conta isso, surgiu a ideia de estudar uma outra linguagem de programação, conceptualmente diferente da usada na investigação. A linguagem Scala é conhecida por ter uma capacidade de composição modular flexível. Como tal parece interessante entender até que ponto é capaz de substituir AspectJ no suporte modular à computação paralela. Este projecto pretende aferir essa capacidade. Neste contexto, pretende-se usar o ParJECoLi como caso de estudo para dirigir comparações entre Scala e AspectJ.

Arquitectura orientada a serviços REST para laboratórios remotos

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Sistema de programação e controle de estações robóticas: uma arquitectura baseada em conhecimento

Dissertação apresentada para obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia

Estudo comparativo entre interfaces de programação de aplicações de mapas

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Desafios da preservação digital: uma perspectiva orientada aos documentos digitalizados do Arquivo Científico Tropical

A utilização crescente das tecnologias de informação provocou uma revolução do conhecimento. O resultado deste novo paradigma trouxe mudanças significativas no modo de gerir e difundir a informação arquivística. A digitalização de parte ou da totalidade de acervos tem sido uma prática constante nos arquivos, bibliotecas e centros de documentação como forma de permitir ao utilizador o acesso remoto e alargado à informação. Neste sentido, o presente estudo, o qual enquadra-se na Sociedade da Informação, incide sobre preservação a longo prazo de documentos digitalizados e tem como objeto de estudo os representantes digitais inseridos no Arquivo Científico Tropical Digital (ACTD), pertencente ao Instituto de Investigação Científica Tropical (IICT). Propõe-se aqui entender o processo de digitalização dos documentos inseridos no ACTD, analisar se é realizada alguma preservação digital a longo prazo, bem como analisar a perceção dos profissionais da instituição em estudo relativa à esta temática e a partir deste conhecimento fazer recomendações de preservação digital a longo prazo ao Arquivo digital. O método de recolha e análise de dados utilizado diz respeito à análise de documentos institucionais do IICT, das páginas web do IICT e do ACTD, a fim de compreender a sua génese e estrutura e, a análise qualitativa de entrevistas semiestruturadas aplicada a cinco colaboradores do IICT que trabalham direta ou indiretamente com o ACTD. Para ajudar na análise dos dados recolhidos em entrevista construiu-se uma grelha de análise qualitativa por tema e categoria. A partir do tratamento e análise dos dados identificou-se algumas dificuldades que o ACTD apresenta relativamente á preservação digital a longo prazo, e recomendações foram sugeridas. O IICT não possui plano de preservação digital, nem ações de preservação definidas para serem aplicadas aos objetos digitais do ACTD. A perceção dos profissionais entrevistados relativa à temática é superficial, por isso no que diz respeito à preservação dos objetos digitais recomenda-se ao ACTD e aos profissionais que estão a trabalhar diretamente com as coleções documentais digitalizadas a criação de um grupo de trabalho, de um projeto de digitalização formalizado e de um plano de preservação digital, além da utilização de metadados de preservação, assim como a definição de normas e estratégias de preservação com base em políticas nacionais e internacionais.

Problemas de programação matemática com restrições lineares de equilíbrio

Neste trabalho é desenvolvido um algoritmo enumerativo paramétrico de optimização global para a resolução de Problemas de Programação Matemática com Restrições de Equilíbrio ou de Complementaridade (MPEC). A comparação com outras técnicas globais da literatura é efectuada para um leque variado de problemas, de modo a poder avaliar a eficiência do processo proposto. A utilização de algoritmos de MPEC para a resolução de alguns problemas de optimização global é o outro grande objectivo desta tese. Nesse sentido são introduzidas novas formula¸c˜oes de programas bilineares e lineares complementares como MPECs. São ainda analisadas e discutidas formulaçõess MPEC para o problema de programação linear inteira 0-1, para a determinação do Conjunto Independente Máximo de um Grafo (MIS) e para a estimação do Número de Condição de uma Matriz. Para o problema MIS é desenvolvido um algoritmo de ramificação e limitação, baseado na decomposição de uma função quadrática numa diferença de duas funçõess convexas (DC). Finalmente é introduzida uma técnica MPEC local para a estimação do número de condição com a norma l1 e é estabelecido para matrizes de Minkowski que o número de condição nessa norma pode ser estimado com apenas um sistema de equações lineares. Em todos os desenvolvimentos houve uma grande preocupação em testar as novas formulações e algoritmos com problemas conhecidos da literatura, de modo a aferir da qualidade e interesse dessas propostas.

Uma Linguagem específica do domínio para uma abordagem orientada aos objectivos baseada em KAOS

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Integração de ambientes industriais colaborativos através da visualização orientada pelos modelos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Por o cinema a pensar de dentro: a programação cinematográfica como hipótese

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Comunicação.

Pesquisa segura de dados em redes de sensores

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática