BDBComp
Parceria:
SBC
Treating Non-Functional Properties of Dynamic Distributed Software Architectures

Nelson S. RosaPaulo R. F. CunhaGeorge R. R. Justo

One of key methods to increase availability of distributed systems is to allow dynamic changes to place at runtime without to stop the entire system. A critical task carried out during such changes consists of verifying and preserving the functional properties of the system. However, as important as to preserve the integrity of functional aspects, non-functional properties (e.g., security and performance) must also be preserved when modifications occur. We present a formal approach for specifying non-functional properties of dynamic distributed systems. This approach allows formal verification to be performed before a change is committed. The paper illustrates our approach with an example of a dynamic client-server application.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbrc/2001/046.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD