Suporte a testes automáticos em aplicações web geradas com a OutSystems Platform

Dissertação de natureza científica para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Expressiveness improvements of OutSystems DSL query primitives

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

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.

Optimizações guiadas por dados reais em linguagens de domínio específico para a web

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

Data queries over heterogeneous sources

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

Optimizações numa linguagem para desenvolvimento de aplicações web

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Otimização automática de aplicações web usando templates client-side

O crescente poder computacional dos dispositivos móveis e a maior eficiência dos navegadores fomentam a construção de aplicações Web mais rápidas e fluídas, através da troca assíncrona de dados em vez de páginas HTML completas. A OutSystems Platform é um ambiente de desenvolvimento usado para a construção rápida e validada de aplicaçõesWeb, que integra numa só linguagem a construção de interfaces de utilizador, lógica da aplicação e modelo de dados. O modelo normal de interação cliente-servidor da plataforma é coerente com o ciclo completo de pedido-resposta, embora seja possível implementar, de forma explícita, aplicações assíncronas. Neste trabalho apresentamos um modelo de separação, baseado em análise estática sobre a definição de uma aplicação, entre os dados apresentados nas páginas geradas pela plataforma e o código correspondente à sua estrutura e apresentação. Esta abordagem permite a geração automática e transparente de interfaces de utilizador mais rápidas e fluídas, a partir do modelo de uma aplicação OutSystems. O modelo apresentado, em conjunto com a análise estática, permite identificar o subconjunto mínimo dos dados a serem transmitidos na rede para a execução de uma funcionalidade no servidor, e isolar a execução de código no cliente. Como resultado da utilização desta abordagem obtém-se uma diminuição muito significativa na transmissão de dados, e possivelmente uma redução na carga de processamento no servidor, dado que a geração das páginasWeb é delegada no cliente, e este se torna apto para executar código. Este modelo é definido sobre uma linguagem, inspirada na da plataforma OutSystems, a partir da qual é implementado um gerador de código. Neste contexto, uma linguagem de domínio específico cria uma camada de abstração entre a definição do modelo de uma aplicação e o respetivo código gerado, tornando transparente a criação de templates clientside e o código executado no cliente e no servidor.

Integrated data model and DSL modifications

Companies are increasingly more and more dependent on distributed web-based software systems to support their businesses. This increases the need to maintain and extend software systems with up-to-date new features. Thus, the development process to introduce new features usually needs to be swift and agile, and the supporting software evolution process needs to be safe, fast, and efficient. However, this is usually a difficult and challenging task for a developer due to the lack of support offered by programming environments, frameworks, and database management systems. Changes needed at the code level, database model, and the actual data contained in the database must be planned and developed together and executed in a synchronized way. Even under a careful development discipline, the impact of changing an application data model is hard to predict. The lifetime of an application comprises changes and updates designed and tested using data, which is usually far from the real, production, data. So, coding DDL and DML SQL scripts to update database schema and data, is the usual (and hard) approach taken by developers. Such manual approach is error prone and disconnected from the real data in production, because developers may not know the exact impact of their changes. This work aims to improve the maintenance process in the context of Agile Platform by Outsystems. Our goal is to design and implement new data-model evolution features that ensure a safe support for change and a sound migration process. Our solution includes impact analysis mechanisms targeting the data model and the data itself. This provides, to developers, a safe, simple, and guided evolution process.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Asking why

The growth of a solid, knowledge-intensive firm, OutSystems—an IT company recognized in 2003 by Fortune magazine as one of the most promising start-ups in the world—is accompanied by efforts to create a strong culture that preserves the traits that have driven OutSystems’ success and that drives innovation, adaptability, high performance, and accountability. The lessons OutSystems learned from previous international experiences are presented along with its latest growth model of branded local partners. The case study is intended to introduce concepts related to organizational culture, traits of cultures that drive innovation, national versus organizational culture, and the challenges of globalization. It is designed to be used in Organizational Behavior classes and is appropriate for MBA- and Master’s-level courses in the area of management. It is suggested as a guideline for 60- to 90-minute classes. Participants are invited to discuss the importance of organizational cultures and their fit with the company strategy. Participants are also encouraged to brainstorm about the best approach to face OutSystems’ new stage of growth, specifically the advantages and consequences of growing as a metanational company. Finally, in the conclusion, the most relevant findings taken from the discussions proposed are revisited: The importance of an organizational culture adapted to the market needs and the potential of innovation behind metanational companies. Other considerations are made about: how the case illustrates the importance of leadership, group age, and group size in the process of building a culture; and how OutSystems’ culture solves the apparent contradiction behind adaptable culture.

Desenvolvimento de uma plataforma online na área da restauração

Cada vez mais, no nosso quotidiano, recorremos à internet para obter respostas aos nossos problemas diários, para tal existem motores de busca que nos facilitam a procura. Por vezes não somos bem-sucedidos na nossa busca, pela complexidade dos nossos requisitos, ou pela sua especificidade. Neste projeto considera-se como caso de estudo o modelo de negócio que suporta a divulgação, por parte das empresas de restauração, das informações acerca das suas refeições disponibilizadas diariamente. No sentido de avaliar a viabilidade do projeto no contexto do caso de estudo considerado, são realizados dois estudos: um estudo de marketing, como intuito de avaliar as suas mais-valias e fraquezas; e uma avaliação das plataformas online atualmente existentes na área da restauração. O objetivo principal deste projeto é desenvolver uma plataforma online, utlizando a tecnologia Outsystems, que facilite a apresentação das refeições diárias de cada empresa de restauração, apoiando diariamente a decisão do utilizador (consumidor), e disponibilizando-lhe um serviço de pesquisa eficaz e de simples utilização. Pretende-se sustentar o desenvolvimento através do alinhamento, da tecnologia proposta, com o modelo de negócio considerado. Ou seja, a plataforma possibilita a interação entre os seus atores, ao longo do processo de negócio, estabelecendo claramente a responsabilidade de cada um, nas suas comunicações. Assim, pretendemos que esta plataforma seja o suporte do modelo de negócio, correspondendo às funcionalidades pretendidas e facilitando a sua futura integração com outras áreas. A validação da solução desenvolvida neste projeto foi realizada através de inquéritos de satisfa-ção, e testes de usabilidade, aos diferentes utilizadores da plataforma. De acordo com o resultado final da plataforma desenvolvida, podemos afirmar que esta, possui todas as funcionalidades necessárias para atingir os objetivos iniciais deste projeto.