[pt] 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). / [en] 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).
Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:4317 |
Date | 19 December 2003 |
Creators | CARLOS DE SALLES SOARES NETO |
Contributors | LUIZ FERNANDO GOMES SOARES |
Publisher | MAXWELL |
Source Sets | PUC Rio |
Language | Portuguese |
Detected Language | Portuguese |
Type | TEXTO |
Page generated in 0.0019 seconds