Integrating the theme approach with aspectual scenarios

Dissertação de Mestrado em Engenharia Informática

Integrating early aspects with goal-oriented requirements engineering

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

Transport mechanism in ionic liquid membranes and the study of thiomersal biodegradation

The initial goal of this work was the development of a supported liquid membrane (SLM) bioreactor for the remediation of vaccine production effluents contaminated with a highly toxic organomercurial – thiomersal. Therefore, two main aspects were focused on: 1) the development of a stable supported liquid membrane – using room temperature ionic liquids (RTILs) – for the selective transport of thiomersal from the wastewater to a biological compartment, 2) study of the biodegradation kinetics of thiomersal to metallic mercury by a Pseudomonas putida strain. The first part of the work focused on the evaluation of the physicochemical properties of ionic liquids and on the SLMs’ operational stability. The results obtained showed that, although it is possible to obtain a SLM with a high stability, water possesses nonnegligible solubility in the RTILs studied. The formation of water clusters inside the hydrophobic ionic liquid was identified and found to regulate the transport of water and small ions. In practical terms, this meant that, although it was possible to transport thiomersal from the vaccine effluent to the biological compartment, complete isolation of the microbial culture could not be guaranteed and the membrane might ultimately be permeable to other species present in the aqueous vaccine wastewater. It was therefore decided not to operate the initially targeted integrated system but, instead, the biological system by itself. Additionally, attention was given to the development of a thorough understanding of the transport mechanisms involved in the solubilisation and transport of water through supported liquid membranes with RTILs as well as to the evaluation of the effect of water uptake by the SLM in the transport mechanisms of water-soluble solutes and its effect on SLM performance. The results obtained highlighted the determinant role played by water – solubilised inside the ionic liquids – on the transport mechanism. It became clear that the transport mechanism of water and water-soluble solutes through SLMs with [CnMIM][PF6] RTILs was regulated by the dynamics of water clusters inside the RTIL, rather than by molecular diffusion through the bulk of the ionic liquid. Although the stability tests vi performed showed that there were no significant losses of organic phase from the membrane pores, the formation of water clusters inside the ionic liquid, which constitute new, non-selective environments for solute transport, leads to a clear deterioration of SLM performance and selectivity. Nevertheless, electrical impedance spectroscopy characterisation of the SLMs showed that the formation of water clusters did not seem to have a detrimental effect on the SLMs’ electrical characteristics and highlighted the potential of using this type of membranes in electrochemical applications with low resistance requirements. The second part of the work studied the kinetics of thiomersal degradation by a pure culture of P. putida spi3 strain, in batch culture and using a synthe tic wastewater. A continuous ly stirred tank reactor fed with the synthetic wastewater was also operated and the bioreactor’s performance and robustness, when exposed to thiomersal shock loads, were evaluated. Finally, a bioreactor for the biological treatment of a real va ccine production effluent was set up and operated at different dilution rates. Thus it was possible to treat a real thiomersal-contaminated effluent, lowering the outlet mercury concentration to values below the European limit for mercury effluent discharges.

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.

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

Traceability support in software product lines

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.

Viewpoints and goals: towards an integrated approach

Dissertação de Mestrado em Engenharia Informática

Segmentation of striatal brain structures from high resolution pet images

Dissertation presented at the Faculty of Science and Technology of the New University of Lisbon in fulfillment of the requirements for the Masters degree in Electrical Engineering and Computers

Extensible metadata repository for information systems

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science

A Web-Based geographical information system prototype on Portuguese traditional food products

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

Spatial data infrastructures model for developing countries: A case study of Nigeria

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

Discovery and retrieval of Geographic data using Google

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

Urban land use change analysis and modelling: a case study of Setubal-Sesimbra, Portugal

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

The intersection of people, technology and local space. PPGIS and Web in practice for participatory planning

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

Estimation of vegetation carbon stock in Portugal using land use/ land cover data

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