Contratos REST robustos e leves : uma abordagem em design-by-contract com NeoIDL

Abstract

A demanda por integração entre sistemas heterogêneos fez aumentar a adoção de soluções baseadas em computação orientada a serviços -- SOC, sendo o uso de serviços Web a estratégia mais comum para implementar serviços, com a adoção crescente do estilo arquitetural REST. Por outro lado, REST ainda não dispõe de uma notação padrão para especificação de contratos e linguagens como Swagger, YAML e WADL cumprem com o único propósito de descrever serviços, porém apresentam uma significativa limitação: são voltadas para computadores, tendo escrita e leitura complexas para humanos, dificultando a abordagem Contract-first, estimulada em SOC. Tal limitação motivou a especificação da linguagem NeoIDL, concebida com o objetivo de ser mais expressiva para humanos, além de prover suporte a modularização e herança. Problema. Nenhuma dessas linguagens, incluindo a NeoIDL, dá suporte a contratos robustos, como os possíveis de serem descritos em linguagens ou extensões de linguagens com suporte a Design-by-contract -- DbC, exploradas tipicamente no paradigma de orientação a objetos. Objetivos. O objetivo geral deste trabalho é investigar o uso de construções de DbC no contexto de SOC, verificando a viabilidade e utilidade de sua adoção na especificação de contratos e implementação de serviços REST. Resultados e Contribuições. Essa dissertação contribui tecnicamente com uma extensão da NeoIDL para DbC, contemplando dois tipos de precondição e pós-condição: uma básica, que valida o valor de atributos e dados de saída; e outra baseada em serviços, em que composições de serviços são acionadas para validar se o serviço deve ser executado (ou se foi executado adequadamente, em caso de pós-condições). Sob a perspectiva de validação empírica, contribui-se com dois estudos. Um primeiro, verificou os requisitos de expressividade e reuso da NeoIDL, sendo realizado no domínio de Comando e Controle em parceria com o Exército Brasileiro. O segundo, teve maior interesse na análise da percepção de utilidade e facilidade de uso das construções DbC propostas para a NeoIDL, levando a respostas positivas em termos de facilidade de uso e aceitação.