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.

The Gap Between Knowledge and Action: Obstacles, Restraints and Deficits During the Execution of Refurbishments

This article outlines the initial draft of a PhD project which investigates refurbishment or rehabilitation projects in two German cities. The study focuses on obstacles, restraints and deficits as well as factors of success, which can be identified during the execution of the refurbishments. Moreover the study examines the process of the refurbishment itself, the general conditions under which the refurbishments are being executed as well as the implementation of sustainability criteria. First the article gives a short summary of the theoretical considerations of the study. In this respect it shortly outlines the global conditions of urban development and conducting challenges for cities in the 21st century, guiding principles of a sustainable urban development as well as goals of sustainable refurbishments. Finally the article shortly describes the case studies and presents the initial results of the empirical work.

Unlimited or disrupted communication? How does the development of the mobile phone effect our ability of social action?

The aim of this essay is to discuss the thesis of the German Sociologist Günter Burkhart that in modern societies a phenomenon appeared which he calls “handymania”, an excessive and nearly addictive use of the mobile phones especially from adolescents. After a short overview about the history of the cell phone, I will relate this development to Jürgen Habermas “theory of communicative action”, more precisely to his diagnosis of a pathological society (“lifeworld”) to find out if the “handymania” could be one expression of it. Adjacent I will present social-psychological theories from E.H.Erikson and Tilmann Habermas to ascertain whether juveniles could really be a high-risk group for this kind of addiction. I will focus on the ability to communicate in an Habermasian way that could be seriously harmed by the unregulated usage of cell phones.

Model driven development implementation of a control systems user interfaces specification tool

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

Unravelling novel modes of antimicrobial action

Dissertation presented to obtain the Ph.D. degree in Biochemistry at the Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa

Hox genes control the specification of global vertebral domains

Dissertação apresentada para obtenção do grau de doutor em Biologia pelo Instituto de Tecnologia Química e Biológica da Universidade Nova de Lisboa

Mental health promotion during pregnancy and early childhood : an action- research project in primary health care

ABSTRACT – Background: Primary Health Care (PHC) is usually the first contact with the health system, and health professionals are key mediators for enabling citizens to take care of their health. In Portugal, great improvements have been achieved in the biometric indicators of maternal and child health during the last decades. Nevertheless, scant attention has been paid to the mental health dimension, in spite of the recognition of its importance, being pregnancy and early childhood crucial opportunities in the lifecycle for mental health promotion, especially in the early years of life, with a strong impact in the health of the child. The impact of early attachment between mother and baby on maternal and child health has long been recognized. This attachment can be influenced by some factors, as the mother’s emotional adjustment. Attention to these factors may facilitate implementation of both positive conditions and preventative measures. Family support during the transition to parenthood has been highlighted as an effective measure and PHC professionals are in a privileged position as information sources as well as mediators. Aims: The project we present describes an action-research process developed together among academic researchers and health professionals to embrace these issues. We intend to enable health professionals to support families in the transition to parenthood thereby promoting children’s mental health. Approach: The project is driven by a participatory approach intended to lead to reorganization of health care during pregnancy and early childhood. Effective change happens when those involved are interested and motivated, what makes their participation so important. Reflection about current practices and needs, and knowledge about evidence-based interventions have been guiding the selection of changes to introduce in clinical practice for family support and development of parenthood skills and self-confidence. Development: We summarize the main steps in development: the initial assessment and the picture taken from the community under study; the decision making process; the training programme of PHC professionals in action; the review of the protocols of maternal consultation, home visits and antenatal education; the implementation planning; the plan for evaluation the effectiveness of the changes introduced in the delivery of maternal and child health care units. The already developed work has shown that motivation, leadership and organizational issues are decisive for process development.-------------------------- RESUMO - Os Cuidados de Saúde Primários são habitualmente o primeiro contacto com o sistema de saúde e os profissionais de saúde são mediadores chave na capacitação dos cidadãos para cuidarem da sua saúde. Em Portugal, nas últimas décadas, têm-se alcançado grandes melhorias nos indicadores biométricos de saúde materno-infantil. Contudo, tem-se dedicado pouca atenção à dimensão de saúde mental, apesar do reconhecimento da sua importância. A gravidez e primeira infância têm sido apontadas como uma oportunidade crucial no ciclo de vida para a promoção da saúde mental. É dado especial enfoque aos primeiros tempos de vida, dado o forte impacto na saúde da criança. O impacte da vinculação precoce entre a mãe e o bebé na saúde da mãe e da criança há muito que é reconhecido. Esta vinculação pode ser influenciada por vários factores, nomeadamente pelo ajustamento emocional da mãe. A focalização nestes aspectos pode facilitar a criação de condições favoráveis e a implementação de medidas preventivas. O suporte familiar durante o período de transição para a parentalidade tem sido enfatizado como uma medida eficaz e os Cuidados de Saúde Primários estão numa posição privilegiada como fontes de informação e como mediadores. O projecto que apresentamos descreve um processo de investigação- acção desenvolvido em parceria entre investigadores académicos e profissionais de saúde para abordar os aspectos referidos. Pretende-se capacitar os profissionais de saúde para apoiarem as famílias na transição para a parentalidade, promovendo assim a saúde mental das crianças. O projecto baseia-se numa abordagem participativa, direccionada para a reorganização dos cuidados durante a gravidez e primeiros tempos de vida. A mudança efectiva acontece quando os envolvidos estão interessados e motivados, o que torna a sua participação tão importante. A reflexão acerca das práticas e necessidades actuais e o conhecimento acerca de intervenções baseadas na evidência têm guiado a selecção das alterações a introduzir na prática clínica, no sentido de promover o suporte familiar e o desenvolvimento de competências parentais e auto-confiança. Neste artigo, apresentamos as etapas principais do desenvolvimento do projecto: avaliação inicial da comunidade em estudo; processo de tomada de decisão; programa de formação dos profissionais dos Cuidados de Saúde Primários; revisão dos protocolos da consulta de saúde materna, visita domiciliária e educação pré-natal; planeamento da implementação; plano de avaliação da efectividade das alterações introduzidas na prestação de cuidados. O trabalho já desenvolvido tem mostrado que a motivação, liderança e aspectos

Novel insights into the action of antimicrobial agents against human pathogens

Dissertation presented to obtain the Ph.D degree in Biochemistry

Assessing the efficacy of the Mental Health Gap Action Programme (mhGAP) training for non-specialized health workers in Ethiopia

RESUMO: A OMS lançou em 2008, o Programa de Acção do Gap em Saúde Mental (mhGAP) para suprir a falta de cuidados, especialmente em países de rendimento baixo e médio, para as pessoas que sofrem de perturbações mentais, neurológicas e de uso de substâncias (MNS). Um componente crucial do mhGAP é representado pelo esforço no sentido da integração da saúde mental nos cuidados de saúde primários. Na Etiópia, o mhGAP foi monitorizado durante 3 anos, graças a um projeto de demonstração implementado em clínicas selecionadas em quatro regiões do país. A fase de demonstração de mhGAP na Etiópia traduziu-se principalmente na formação de profissionais de saúde não especializados, fornecendo-lhes orientação e supervisão apoiada para a utilização de medicamentos psicotrópicos essenciais e na coordenação com o Ministério Etíope Federal da Saúde, Hospital Amanuel de Saúde Mental e as Secretarias Regionais de Saúde ( RHBs ). O presente trabalho investigou a eficácia do pacote de formação mhGAP através de uma análise das pontuações dos participantes no pré- e pós-testes. A análise estatística mostrou - com uma exceção - que a melhoria dos formandos é estatisticamente significativa, o que sugere que os conhecimentos dos participantes é melhorada na fase de pós-teste. A eficácia do pacote de formação mhGAP para profissionais de saúde não especializados é uma evidência promissora de que os mesmos podem ser treinados com sucesso para realizar um pacote básico de intervenções para a prestação de cuidados e tratamento para pessoas com perturbações mentais, neurológicas e de uso de substâncias. Este trabalho destaca, também, várias limitações não apenas inerentes ao próprio projecto de investigação tais como o número limitado de respostas que foram analisadas e a falta de dados de uma das quatro regiões onde mhGAP foi testado na Etiópia. As principais limitações decorrem de facto da abordagem global limitar as intervenções de saúde mental ao programa de formação e supervisão dos trabalhadores de cuidados de saúde primários . Este processo só será bem sucedido se, juntamente com outras intervenções - que vão desde o desenvolvimento de currículos para o desenvolvimento de uma legislação de saúde mental -, fôr incluído numa estratégia mais abrangente para a reforma da saúde mental e desafiar o status quo.-----------ABSTRACT:In 2008, WHO launched the Mental Health Gap Action Programme (mhGAP) to address the lack of care, especially in low- and middle- income countries, for people living with mental, neurological and substance use (MNS) disorders. A crucial component of mhGAP is represented by the endeavor towards integration of mental health into primary health care. In Ethiopia, mhGAP has been piloted for 3 years thanks to a demonstration project implemented in selected clinics in 4 regions of the country. The demonstration phase of mhGAP in Ethiopia has mainly translated into training of non-specialized health workers, providing them with mentorship and supportive supervision, availing essential psychotropic medications and coordinating with the Ethiopian Federal Ministry of Health, Amanuel Mental Health Hospital and the Regional Health Bureaus (RHBs). The present paper investigated the efficacy of the mhGAP training package through an analysis of the participants’ scores at pre-test and post-test. The statistical analysis showed - with one exception - that the improvement of trainees is statistically significant, therefore suggesting that the knowledge of participants is improved in the post-test phase. The efficacy of the mhGAP training package on non-specialized health workers is promising evidence that non-specialized health-care providers can be successfully trained to deliver a basic package of interventions for providing care and treatment for people with mental, neurological and substance use disorders. However, this paper also highlights several limitations, which are not only inherent to the research itself, such as the limited number of scores that was analyzed, or the lack of data from one of the four regions where mhGAP has been piloted in Ethiopia; major limitations occur in fact in the overall approach of confining mental health interventions to training and supervising primary health care workers. This process will only be successful if coupled with other interventions – ranging from curricula development to development of a mental health legislation - and if it is included in a more comprehensive strategy to reform mental health and challenge the status quo.

Strengthening to seismic action of reinforced columns with rectangular cross-section

The first part of this research work regards the assessment of the mathematical modelling of reinforced concrete columns confined with carbon fibre (CFRP) sheets under axial loading. The purpose was to evaluate existing analytical models, contribute to possible improvements and choose the best model(s) to be part of a new model for the prediction of the behaviour of confined columns under bending and compression. For circular columns, a wide group of authors have proposed several models specific for FRP-confined concrete. The analysis of some of the existing models was carried out by comparing these with several tested columns. Although several models predict fairly the peak load only few can properly estimate the load-strain and dilation behaviour of the columns. Square columns confined with CFRP show a more complex interpretation of their behaviour. Accordingly, the analysis of two experimental programs was carried out to propose new modelling equations for the whole behaviour of columns. The modelling results show that the analytical curves are in general agreement with the presented experimental curves for a wide range of dimensions. An analysis similar to the one done for circular columns was this turn carried out for square columns. Few models can fairly estimate the whole behaviour of the columns and with less accuracy at all levels when compared with circular columns. The second part of this study includes seven experimental tests carried out on reinforced concrete rectangular columns with rounded corners, different damage condition and with confinement and longitudinal strengthening systems. It was concluded that the use of CFRP confinement is viable and of effective performance enhancement alone and combined with other techniques, maintaining a good ductile behaviour for established threshold displacements. As regards the use of external longitudinal strengthening combined with CFRP confinement, this system is effective for the performance enhancement and viable in terms of execution. The load capacity was increased significantly, preserving also in this case a good ductile behaviour for threshold displacements. As to the numerical nonlinear modelling of the tested columns, the results show a variation of the peak load of 1% to 10% compared with tests results. The good results are partly due to the inclusion of the concrete constitutive model by Mander et al. modified by Faustino, Chastre & Paula taking into account the confinement effect. Despite the reasonable approximation to tests results, the modelling results showed higher unloading, which leads to an overestimate dissipated energy and residualdisplacement.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.