Child programming: an adequate domain specific language for programming specific robots

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Model morphisms (MoMo) to enable language independent information models and interoperable business networks

MSc. Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering

Assessment of climate change statistical downscaling methods: Application and comparison of two statistical methods to a single site in Lisbon

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 do Ambiente

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Using perspective schema and a reference model to design the ETL process

Dissertação apresentada para a obtenção do Grau de Doutor em Informática

Model of a specialized bidirectional dictionary for German and Portuguese

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Terminologia e Gestão da Informação de Especialidade

A framework for supporting knowledge representation – an ontological based approach

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Impacts of climate change scenarios on terrestrial productivity and biomass for energy in the Iberian Peninsula: assessment through the JSBACH model

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, Perfil de Gestão e Sistemas Ambientais

Development of a fuzzy qualitative risk assessment model applied to construction industry

Dissertação para obtenção do Grau de Doutor em Engenharia Industrial

Analysable software language translations

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Data-centric concurrency control on the java programming language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Quality of process modeling using BPMN: a model-driven approach

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Dissecting gastrointestinal dysfunction and inflammation in a “pre-motor” rodent model of Parkinson’s disease

Research on Parkinson’s disease (PD) has mainly focused on the degeneration of the dopaminergic neurons of nigro-striatal (NS) pathway; also, post-mortem studies have demonstrated that the noradrenergic and the serotonergic transmitter systems are also affected (Jellinger, 1999). Degeneration of these neuronal cell bodies is generally thought to start prior to the loss of dopaminergic neurons in the NS pathway and precedes the appearance of the motor symptoms that are the “hallmark” of PD. Gastrointestinal (GI) motility is often disturbed in PD, manifesting chiefly as impaired gastric emptying and constipation. These GI dysfunction symptoms may be the result of a loss in noradrenergic and serotonergic innervation. GI deficits were evaluated using an organ bath technique. Groups treated with different combinations of neurotoxins (6-OHDA alone, 6-OHDA + pCA or 6-OHDA + DSP-4) presented significant differences in gut contractility compared to control groups. Since a substantial body of literature suggests the presence of an inflammatory process in parkinsonian state (Whitton, 2007), changes in pro-inflammatory cytokines in the gut were assessed using a cytokine microarray. It has been found in this work that groups with a combined dopaminergic and noradrenergic lesion have a significant increase in both expressions of IL-13 and VEGF. IL-6 also shows a decrease in treatment groups; however this decrease did not reach statistical significance. The therapeutic value of Exendin-4 (EX-4) was evaluated. It has been previously demonstrated that EX-4, a glucagon-like peptide-1 receptor (GLP-1R) agonist, is neuroprotective in rodent models of PD (Harkavyi et al., 2008). In this thesis it has been found that EX-4 was able to reverse a decrease in gut contractility obtained through intracerebral bilateral 6-OHDA injection. Although more studies are required, EX-4 could be used as a possible therapy for the GI symptoms prominent in the early stages of PD.

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.