Título
[en] A MECHANISM BASED ON LOGS WITH META-INFORMATION FOR THE VERIFICATION OF CONTRACTS IN DISTRIBUTED SYSTEMS
Título
[pt] UM MECANISMO BASEADO EM LOGS COM META-INFORMAÇÕES PARA A VERIFICAÇÃO DE CONTRATOS EM SISTEMAS DISTRIBUÍDOS
Autor
[pt] PEDRO DE GOES CARNAVAL ROCHA
Vocabulário
[pt] ENGENHARIA DE SOFTWARE
Vocabulário
[pt] DETECCAO DE FALHAS
Vocabulário
[pt] QUALIDADE DE SOFTWARE
Vocabulário
[pt] SISTEMAS DISTRIBUIDOS
Vocabulário
[en] SOFTWARE ENGINEERING
Vocabulário
[en] FAULT DETECTION
Vocabulário
[en] SOFTWARE QUALITY
Vocabulário
[en] DISTRIBUTED SYSTEMS
Resumo
[pt] Contratos de software podem ser escritos como expressões lógicas capazes
de identificar falhas que ocorrem durante a utilização de um software. É possível
implementar a verificação de um contrato em um software através de assertivas
executáveis. No entanto, a forma como assertivas convencionais são
implementadas não é diretamente aplicável a sistemas distribuídos, uma vez que
apresentam dificuldades para avaliar expressões temporais, tampouco as
expressões podem envolver propriedades de diferentes processos. Este trabalho
propõe um mecanismo baseado em logs com meta-informações para a verificação
de contratos em sistemas distribuídos. Uma gramática para redigir contratos
possibilita operações temporais, ou seja, permite a especificação de condições
entre eventos, em diferentes instantes de tempo, ou mesmo garante uma sequência
de eventos, durante um período de tempo. O fluxo de eventos gerado é avaliado
assincronamente em relação à utilização do sistema, pela comparação com
contratos, previamente escritos de acordo com a gramática, que representam as
expectativas sobre o comportamento normal do sistema.
Resumo
[en] Software contracts can be written as assertions that identify failures
observed while using the software. Software contracts can be implemented
through executable assertions. However, conventional assertions are not directly
applicable in distributed systems, as they present difficulties to evaluate temporal
expressions, as well as expressions involving properties of different processes.
This work proposes a mechanism based on logs with meta-information to evaluate
contracts in distributed systems. A grammar to write contracts enable temporal
operations, e.g., allows specifying conditions between events at different
timestamps, or even guaranteeing a sequence of events over a period of time. The
flow of events is evaluated asynchronously in relation to the system execution, by
comparison with contracts, previously written according to the grammar,
representing the expectations on the behavior of the system.
Orientador(es)
ARNDT VON STAA
Banca
NOEMI DE LA ROCQUE RODRIGUEZ
Banca
ARNDT VON STAA
Banca
ALESSANDRO FABRICIO GARCIA
Catalogação
2015-03-19
Apresentação
2014-08-21
Tipo
[pt] TEXTO
Formato
application/pdf
Idioma(s)
PORTUGUÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24308@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=24308@2
Referência DOI
https://doi.org/10.17771/PUCRio.acad.24308
Arquivos do conteúdo
NA ÍNTEGRA PDF