Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

A high level e-maintenance architecture to support on-site teams

Emergent architectures and paradigms targeting reconfigurable manufacturing systems increasingly rely on intelligent modules to maximize the robustness and responsiveness of modern installations. Although intelligent behaviour significantly minimizes the occurrence of faults and breakdowns it does not exclude them nor can prevent equipment’s normal wear. Adequate maintenance is fundamental to extend equipments’ life cycle. It is of major importance the ability of each intelligent device to take an active role in maintenance support. Further this paradigm shift towards “embedded intelligence”, supported by cross platform technologies, induces relevant organizational and functional changes on local maintenance teams. On the one hand, the possibility of outsourcing maintenance activities, with the warranty of a timely response, through the use of pervasive networking technologies and, on the other hand, the optimization of local maintenance staff are some examples of how IT is changing the scenario in maintenance. The concept of e-maintenance is, in this context, emerging as a new discipline with defined socio-economic challenges. This paper proposes a high level maintenance architecture supporting maintenance teams’ management and offering contextualized operational support. All the functionalities hosted by the architecture are offered to the remaining system as network services. Any intelligent module, implementing the services’ interface, can report diagnostic, prognostic and maintenance recommendations that enable the core of the platform to decide on the best course of action.

DSAAR: distributed software architecture for autonomous robots

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

Weight of gravity - The bodies and the gestores in Galician-Portuguese Medieval poetry

Portuguese version: http://hdl.handle.net/10362/3593

tlCell: a software transactional memory for the cell broadband engine architecture

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

Subsídio para o estudo das relações familiares na sociedade medieval portuguesa

Revista de Faculdade de Ciências Sociais e Humanas, N.1(1980)

Arqueologia medieval cristã no Alto Mondego. Ocupação e exploração do território nos séculos V a XI

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em História, especialidade de Arqueologia,

Educar para a preservação do património cultural : uma proposta de um roteiro pedagégico através do património medieval de Lisboa

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Património, área de Património Urbano

Vir sapiens dominabitur astris: astrological knowledge and practices in the Portuguese medieval court (king João I to king Afonso V)

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em História Medieval

A colheita regia medieval,padrão alimentar de qualidade (um contributo beirão)

pp. 175-189

Vilas, poder régio e fronteiras: o exemplo do Entre Lima e Minho Medieval

Tese de doutoramento em História da Idade Média

A importância da linha costeira na estruturação do Reino medieval português. Algumas reflexões

pp. 9-24

A estratégia régia em relação aos portos marítimos no Portugal Medieval : o caso da fachada atlântica

Ciudades y villas portuarias del Atlântico en La Edad Media, Nájera. Encuentros Internacionales del Medievo-Actas, org. Beatriz Arízaga Bolumburu e Jesús Angel Solorzáno Telechea

Dicionários e estudos linguísticos do português medieval. Um projecto de equipa

O tema destes Encontros Literdisciplinares da FCSH-UNL - A Ciência na Universidade - sugere que seja feito o enquadramento, embora muito resumidamente, da investigação que vou apresentar na unidade de investigação em que vem sendo desenvolvida - o Centro de Lingüística da Universidade Nova de Lisboa - CLUNL. A entrada da Lingüística na Universidade Nova tem uma história quase tão longa como a própria instituição, e o actual Centro de Lingüística resulta da restruturação recente do Centro de Estudos Comparados de Línguas e Literaturas Modemas, criado por decisão do Senado da Universidade com o apoio da então Junta Nacional de Investigação Científica e Tecnológica - JNICT, pouco tempo apôs a criação, em 1977, da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa. No seu início, pretendia-se que o Centro reunisse a investigação literária e lingüística dos docentes do Departamento de Línguas e Literaturas Modemas existente na altura, o qual reunia as línguas românicas e germânicas, as literaturas e a lingüística. Porém, do mesmo modo que o Departamento se dividiu em cinco, do Centro foram saindo vários grupos ao longo dos anos, até que, há apenas um ano, se concretizou a separação do gmpo de Lingüística do gmpo que restava das Literaturas, dando origem ao Centro de Lingüística e a dois outros Centros de Literatura, um de Estudos Anglo-Portugueses e o outro de Estudos Portugueses.