A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties

This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Esta tese apresenta ⇡SOD-M (Policy-based Service Oriented Development Methodology), uma metodologia para a modelagem de aplicações orientadas a serviços a qual usa Políticas de qualidade. O trabalho propõe um método orientado a modelos para desenvolvimento de aplicações confiáveis. ⇡SOD-M consiste de: (i) um conjunto de meta-modelos para representação de requisitos não-funcionais associados a serviços nos diferentes níveis de modelagem, a partir de um modelo de caso de uso até um modelo de composição de serviço, (ii) um meta-modelo de plataforma específica que representa a especificação das composiçoes e as políticas, (iii) regras de transformação model-to-model e model-to-text para semi-automatizar a implementação de composiçoes de serviços confiáveis, e (iv) um ambiente que implementa estes meta-modelos e regras, representando assim aspectos transversais e limitações associadas a serviços, que devem ser respeitados. Esta tese também apresenta uma classificação e nomenclatura de requisitos não-funcionais para o desenvolvimento de aplicações orientadas a serviços. Nossa abordagem visa agregar valor ao desenvolvimento de aplicações orientadas a serviços que têm necessidades de garantias de requisitos de qualidade. Este trabalho utiliza conceitos das áreas de desenvolvimento orientado a serviços, design de requisitos não-funcionais e desenvolvimento dirigido a modelos para propor uma solução que minimiza o problema de modelagem de serviços web confiáveis