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.

Functional role of macrobenthos in estuarine sediment dynamics

Thesis submitted to the Universidade Nova de Lisboa,Faculdade de Ciências e Tecnologia for the degree of Doctor of Philosophy in Environmental Engineering

Comments on ‘‘Modeling fractional stochastic systems as non-random fractional dynamics driven Brownian motions

Applied Mathematical Modelling, Vol.33

SmART: an application reconfiguration framework

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.

Diagnosis of an EPS module

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 Computadores

Dissecting neuronal development deficits by inflammation: from morphology to cytoskeleton dynamics

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Chromatin dynamics in Arbidopsis development: a live cell imaging approach

Dissertation presented to obtain the Ph.D degree in Biology

Dynamics of cork mycobiota throughout stopper manufacturing process: from diversity to metabolite

Dissertation presented to obtain the Ph.D degree in Biology

Land cover dynamics in Savanna Ecosystem of Borena Ethiopia

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Urban land cover change detection analysis and modeling spatio-temporal Growth dynamics using Remote Sensing and GIS Techniques: A case study of Dhaka, Bangladesh

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Potencial Utilização de um Enterprise Resource Planning System para Suportar Práticas de Gestão de Conhecimento nas Organizações. Uma Aplicação com Dynamics Nav da Microsoft

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Identity dynamics in non-profit organizations: Ideological and methodological identity orientations

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Labor adjustment dynamics: An application of system GMM

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Dynamics of innovation patterns: some insights for Portugal

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Transitional dynamics of an endogenous growth model with an erosion effect

The convergence features of an Endogenous Growth model with Physical capital, Human Capital and R&D have been studied. We add an erosion effect (supported by empirical evidence) to this model, and fully characterize its convergence properties. The dynamics is described by a fourth-order system of differential equations. We show that the model converges along a one-dimensional stable manifold and that its equilibrium is saddle-path stable. We also argue that one of the implications of considering this “erosion effect” is the increase in the adherence of the model to data.