DESCRIÇÃO ARQUITETURAL DA PROVISÃO DE QOS EM AMBIENTES GENÉRICOS DE PROCESSAMENTO E COMUNICAÇÃO

COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR FINANCIADORA DE ESTUDOS E PROJETOS O aumento da demanda por plataformas com suporte a aplicações multimídia torna evidente a importância de mecanismos que ofereçam garantias de Qualidade de Serviço (QoS), uma vez que cada mídia exige requisitos próprios de processamento e comunicação. O modelo SCM (Service- Composition Model) fornece abstrações adequadas para a representação e programação de aspectos de QoS e comunicação em grupo em serviços de comunicação. Seguindo sua terminologia, a provisão de QoS pode ser vista como um provedor de serviços onde atuam meta serviços de negociação e sintonização de QoS. A negociação de QoS define mecanismos responsáveis pela admissão de novos fluxos do usuário, enquanto a sintonização de QoS age, durante o fornecimento do serviço, na manutenção do nível de serviço negociado. Tais meta serviços já foram previamente descritos por meio de frameworks em UML. O presente trabalho focaliza a descrição arquitetural desses meta serviços, utilizando a linguagem de descrição de arquitetura (ADL) Wright, permitindo o emprego de suas ferramentas de análise e verificação formal para inferir propriedades. Para facilitar o emprego dessa abordagem através do uso de uma notação mais próxima do domínio do problema, uma linguagem de domínio específico (DSL) chamada LindaQoS é proposta especificamente para definir hierarquias de subsistemas de negociação e sintonização. O trabalho é complementado por um compilador que traduz especificações LindaQoS para descrições arquiteturais (atualmente, usando Wright) e para linguagens de programação (futuramente em JAVA). The increased demand for platforms with support for multimedia applications raised the importance of mechanisms for Quality of Service provisioning, since each media has its own processing and communication requirements. SCM Model (Service-Composition Model) provides abstractions for the representation and programming of QoS aspects and multicast in communication services. According to its terminology, the QoS provisioning can be seen as a service provider, where QoS negotiation and QoS maintenance meta services act upon it. The QoS negotiation are the mechanisms responsible for the admission of new user flows, while the QoS maintenance meta service is responsible for maintaining the negotiated level of service during the service operation. Such meta services had been previously described as frameworks modelled in UML. The present work focuses on the architectural description of these meta services using Wright architecture description language (ADL), which allows the use of its analysis and formal verification tools to infer properties. To smooth this approach, a domain-specific language (DSL) called LindaQoS is proposed as a notation closest to the abstraction level of the problem domain, specifically designed to define hierarchies of negotiation and maintenance subsystems. Moreover this work presents a compiler allowing the translation of LindaQoS specifications into architectural descriptions (currently, using Wright) and into programming languages (JAVA in the future).