Real-time collaborative editing of OutSystems DSL models

Real-time collaborative editing systems are common nowadays, and their advantages are widely recognized. Examples of such systems include Google Docs, ShareLaTeX, among others. This thesis aims to adopt this paradigm in a software development environment. The OutSystems visual language lends itself very appropriate to this kind of collaboration, since the visual code enables a natural flow of knowledge between developers regarding the developed code. Furthermore, communication and coordination are simplified. This proposal explores the field of collaboration on a very structured and rigid model, where collaboration is made through the copy-modify-merge paradigm, in which a developer gets its own private copy from the shared repository, modifies it in isolation and later uploads his changes to be merged with modifications concurrently produced by other developers. To this end, we designed and implemented an extension to the OutSystems Platform, in order to enable real-time collaborative editing. The solution guarantees consistency among the artefacts distributed across several developers working on the same project. We believe that it is possible to achieve a much more intense collaboration over the same models with a low negative impact on the individual productivity of each developer.

Incremental compilation and deployment for OutSystems Platform

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deployment unit. When the developer published an application, even if he only changed a very small aspect of it, the application would be fully compiled and deployed. Our goal is to reduce compilation and deployment times for the most common use case, in which the developer performs small changes to an application before compiling and deploying it. We modified the OutSystems Platform to support a new incremental compilation and deployment model that reuses previous computations as much as possible in order to improve performance. In our approach, the full application is broken down into smaller compilation and deployment units, increasing what can be cached and reused. We also observed that this finer model would benefit from a parallel execution model. Hereby, we created a task driven Scheduler that executes compilation and deployment tasks in parallel. Our benchmarks show a substantial improvement of the compilation and deployment process times for the aforementioned development scenario.

Produção de electricidade em Portugal

In the present work we intend to do an analysis of the production of electricity in special regime in Portugal. We will focus in particular in the remuneration system through the feed-in tariffs. First, we will excurse throughout different legal diplomas that regulated the special regime in Portugal, exploring which guarantees were conferred to electricity generators throughout the years. We intend to also evaluate how the producers remunerative rights were (or not) protected in the various legislative changes. In the second part of the dissertation we will examine whether the feed-in tariffs may be considered as State aid. Due to the inclusion of the subject in EU Law, we will analyze EU regulation and case law to support our position about the Portuguese regime. Finally, and to the extent that the production of electricity in special regime has undergone several changes to its remunerative regime in the last few years, we propose to analyze more carefully the amendments in question. We will scrutinize the reasons that based the amendments in question, which are mainly based on the economic crisis suffered by the country. We will also examine how those changes may jeopardize the remunerative rights of the producers.

Efeito de um resultado falso positivo da leitura da mamografia na não participação no rastreio do cancro da mama : estudo de coorte histórico de um rastreio de base populacional da região de saúde do centro em Portugal

RESUMO - Introdução: O cancro da mama é uma das principais causas de mortalidade por doença oncológica. O rastreio contribui para o aumento da sobrevivência, mas apresenta riscos como a obtenção de um resultado falso positivo com efeitos controversos sobre a participação subsequente. Métodos: Realizou-se um estudo de coorte histórico (2006-2012) de 170.835 mulheres com 45-67 anos, elegíveis para o programa de rastreio do cancro da mama da ARSC,IP. Calcularam-se as medidas de efeito de um falso positivo da leitura na não participação na volta consecutiva de rastreio do cancro da mama, e a associação entre o evento em estudo e factores sociodemográficos, relacionados com o rastreio e com a anamnese, através de análise de regressão de Poisson. Resultados: A incidência de não participação foi 12,13%. A exposição a falso positivo da leitura aumentou 8,01% o risco absoluto de não participação. O falso positivo da leitura da mamografia revelou-se um factor de risco para a não participação (RRa=1,17; IC 1,10-1,25). O efeito protector da existência de participações anteriores foi superior ao efeito dos factores de risco identificados. Identificaram-se outros factores de risco e de protecção. Discussão: De acordo com os factores de risco e de protecção identificados recomendaram-se alterações à operacionalização do programa de rastreio, a manutenção das estatégias adequadas e a realização de estudos futuros para avaliar o efeito de outros factores não incluídos neste estudo. A comunicação do risco associado a um resultado anormal da mamografia é importante para diminuir a ansiedade consequente ao rastreio, devendo ser oferecidas intervenções que promovam a participação no rastreio.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Segurança e criminalidade organizada

Globalization brought some deep changes to the world (dis)order. Nowadays, more than in other moment in history, we are closer to the ones physically far, living in “global village” called by Marshall McLuhan (1962). The concepts and premises built in this new order, have totally broken with the ones that “came out from Westphalia”, which had last to the end of the cold war, like, for example, the concept of security. Since then, security has been facing one of its biggest transformations ever, completely disrupting the state border based idea and starting to be extended to other domains, as human, economic, environmental and IT security, among others. In this global and interdependent environment, “new” threats and risks have raised, which are demanding a comprehensive approach from the States, international organizations and other actors, to allow the analysis and understanding its impacts on the various society sectors and orders. Inside the enormous challenges to the global security, it is important to regard the organized crime, which covers, by itself, a set of threats and risks, enhanced by its connection to other types of criminality, such as terrorism. The goals pursued and the tactics used by criminal organizations during the perpetration of illegal activities, specially the drug smuggling, have impact in an wide spectrum of the social, economic financial and politic dimensions, which should not be underestimated, otherwise our own security may be compromised. Therefore, the current investigation intends to be an important catalyst to the idea debate inside security scope, through the analysis of the organized crime and the drug smuggling, adding to a discussion of this issue, which should be deeper and holistic, aiming a better understanding of the challenges provided by our society.

On project finance and the first road concession in Portugal

In broad sense, Project Financing1 as a mean of financing large scale infrastructural projects worldwide has had a steady growth in popularity for the last 20 years. This growth has been relatively unscathed from most economic cycles. However in the wake of the 2007 systemic Financial Crisis, Project Financing was also in trouble. The liquidity freeze and credit crunch that ensued affected all parties involved. Traditional Lenders, of this type of financial instrument, locked-in long-term contractual obligations, were severely hit with scarcity of funding compounded by rapidly increasing cost of funding. All the while, Banks were “rescued” by the concerted actions of Central Banks and other Multi-Lateral Agencies around the world but at the same time “stressed” by upcoming regulatory effort (Basel Committee). This impact resulted in specific changes to this type of long-term financing. Changes such as Commercial Banks’ increased risk aversion; pricing increase and maturities decrease of credit facilities; enforcement of Market Disruption Event clauses; partial responsibility for project risk by Multilateral Agencies; and adoption of utility-like availability payments in other industrial sectors such as transportation and even social infrastructure. To the extent possible, this report is then divided in three parts. First, it begins with a more instructional part, touching academic literature (theory) and giving the Banks perspective (practice), but mostly as an overview of Project Finance for awareness’ sake. The renowned Harvard Business School professor – Benjamin Esty, states2 that Project Finance is a “relatively unexplored territory for both empirical and theoretical research” which means that academic research efforts are lagging the practice of Project Finance. Second, the report presents a practical case regarding the first Road Concession in Portugal in 1998 ending with the lessons learned 10 years after Financial Close. Lastly, the report concludes with the analysis of the current trends and changes to the industry post Financial Crisis of the late 2000’s. To achieve this I’ll reference relevant papers, books on the subject, online articles and my own experience in the Project Finance Department at a major Portuguese Investment Bank. Regarding the latter, with the signing of a confidentiality agreement, I’m duly omitting sensitive and proprietary bank information.

A liberalização do mercado energético e o papel das entidades reguladoras

The liberalisation of the energy market goes back to the 1990s, when it was impelled by the European legislator. Since then, three legislative packages, temporarily successive, were approved. Those packages contained the measures to be implemented in order to deepen the internal energy market. Besides the opening up of several national markets to competition, the European legislator aimed the creation of a real internal energy market within the European Union. The unbundling regime was one of the most important steps with respect to the liberalisation process. The introduction of these rules ensured independence to the various market operators. A real and effective right of choice was granted to the consumers so they may choose their electricity and natural gas supplier. Therefore, the activity of comercialisation is subject to competition. However, some activities of the electricity’s and natural gas’ chain of value, namely the activities of transportation and distribution, were kept under regulation rules. Even though it may seem odd, the assignment of important competences and strong powers to a regulatory authority was essential in order to achieve the liberalisation process’ goals. Electricity and natural gas are essential public goods; therefore the market operators are legally bound to public service obligations, such as the security, the universality and the continuity of the supply. The performance of these obligations may become, in some cases, unprofitable for those operators. For such reason, the protection of the consumers’ rights shall only be properly defended if there is a regulatory authority that monitors the behaviour of the operators and sanctions the failure to comply with the public service obligations. Portugal, as a Member State of the European Union, transposed into the national legal order the European directives concerning the liberalisation process. This transposition has caused radical changes to the electricity and natural gas’ national markets. The Entidade Reguladora dos Serviços Energéticos also suffered various mutations in order to keep up with the regulatory demands regarding the liberalisation process.