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.

Contributions à la paleontology du Miocène moyen continental du basin du tage

This study on middle Miocene Charophytes from the Tagus'basin indicates the presence of two species. hitherto undescribed from these strata in Portugal, Correlation diagrams of height and width of gyrogonite demonstrate that the populations of Nitellopsis (Tectochara) etrusca from the localities Póvoa de Santarém and Pêro Filho are identical to that from La Grenatière (Hérault, France), The population of Lychnothamnus duplicicarinatus from Tremês is identical to that already known from Anwill (Switzerland). The age of this flora is therefore suggested as being the upper part of the middle Miocene. The results of Charophyte studies are in accordance with stratigraphical conclusions from previously conducted mammalian studies (Antunes and Mein), A table showing the distribution of species in the three portuguese localities is given.

Pattern operators for grid

The definition and programming of distributed applications has become a major research issue due to the increasing availability of (large scale) distributed platforms and the requirements posed by the economical globalization. However, such a task requires a huge effort due to the complexity of the distributed environments: large amount of users may communicate and share information across different authority domains; moreover, the “execution environment” or “computations” are dynamic since the number of users and the computational infrastructure change in time. Grid environments, in particular, promise to be an answer to deal with such complexity, by providing high performance execution support to large amount of users, and resource sharing across different organizations. Nevertheless, programming in Grid environments is still a difficult task. There is a lack of high level programming paradigms and support tools that may guide the application developer and allow reusability of state-of-the-art solutions. Specifically, the main goal of the work presented in this thesis is to contribute to the simplification of the development cycle of applications for Grid environments by bringing structure and flexibility to three stages of that cycle through a commonmodel. The stages are: the design phase, the execution phase, and the reconfiguration phase. The common model is based on the manipulation of patterns through pattern operators, and the division of both patterns and operators into two categories, namely structural and behavioural. Moreover, both structural and behavioural patterns are first class entities at each of the aforesaid stages. At the design phase, patterns can be manipulated like other first class entities such as components. This allows a more structured way to build applications by reusing and composing state-of-the-art patterns. At the execution phase, patterns are units of execution control: it is possible, for example, to start or stop and to resume the execution of a pattern as a single entity. At the reconfiguration phase, patterns can also be manipulated as single entities with the additional advantage that it is possible to perform a structural reconfiguration while keeping some of the behavioural constraints, and vice-versa. For example, it is possible to replace a behavioural pattern, which was applied to some structural pattern, with another behavioural pattern. In this thesis, besides the proposal of the methodology for distributed application development, as sketched above, a definition of a relevant set of pattern operators was made. The methodology and the expressivity of the pattern operators were assessed through the development of several representative distributed applications. To support this validation, a prototype was designed and implemented, encompassing some relevant patterns and a significant part of the patterns operators defined. This prototype was based in the Triana environment; Triana supports the development and deployment of distributed applications in the Grid through a dataflow-based programming model. Additionally, this thesis also presents the analysis of a mapping of some operators for execution control onto the Distributed Resource Management Application API (DRMAA). This assessment confirmed the suitability of the proposed model, as well as the generality and flexibility of the defined pattern operators

Actividade ígnea pós-paleozóica no continente português (elementos para uma síntese crítica)

The Author presents a synopsis about the post-Paleozoic igneous activity in continental Portugal. Subvolcanic massifs of Sintra, Sines and Monchique and the basaltic complex of Lisbon-Mafra are interpreted. The large network of dikes and sills occuring at north of Tagus river in Lisbon- Torres Vedras region as the dikes of Algarve and also those of diapiric formation are studied and compared. Also the doleritic dikes cuting the Hesperic Massif and the Great dike of Alentejo are studied. The Author presents an attempt of petrological and geochemical correlation-among these post-Paleozoic igneous rocks. For this more than 350 chemical analysis are used in order to elaborate several diagrams and some general conclusions are derived from them. The correlation between the origin of these igneous rocks and the opening of North Atlantic and the counter-clockwise rotation of the Iberia are also tried.

Contributions à la paleontology du Miocène moyen continental du basin du Tage; (IV) Charophytes - Póvoa de Santarém, Pero Filho et Tremês

This study on middle Miocene Charophytes from the Tagus' basin indicates the presence of two species, hitherto undescribed from these strata in Portugal. Correlation diagrams of height and width of gyrogonite demonstrate that the populations of Nitellopsis (Tectochara) etrusca from the localities Póvoa de Santarém and Pêro Filho are identical to that from La Grenatière (Hérault, France), The population of Lychnothamnus duplicicarinatus from Tremês is identical to that already known from Anwill (Switzerland). The age of this flora is therefore suggested as being the upper part of the middle Miocene. The results of Charophyte studies are in accordance with stratigraphical conclusions from previously conducted mammalian studies (Antunes and Mein). A table showing the distribution of species in the three portuguese localities is given.

Integrating the theme approach with aspectual scenarios

Dissertação de Mestrado em Engenharia Informática

Reengenharia de processos na indústria farmacêutica

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

Natural antioxidants extraction and their incorporation into model pharmaceutical systems

Dissertation to obtain a Master Degree in Biotechnology

An information model for lean, agile, resilient and green supply chain management

Dissertação para a obtenção de Grau de Mestre em Engenharia e Gestão Industrial