Especificação Formal e Verificação Automática de Workflows Científicos

Informações:

Publicações do PESC

Título
Especificação Formal e Verificação Automática de Workflows Científicos
Linha de pesquisa
Engenharia de Dados e Conhecimento
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
30/9/2010
Resumo

Workflows são utilizados em diversos domínios com propósitos científicos. Nos
últimos anos estes workflows tornaram-se mais complexos e os cientistas necessitam de
métodos para verificar a sua correção. A maioria dos sistemas disponíveis pressupõe
que um workflow está correto se respeita os controles e as dependências definidos pelo
cientista. Além disso, muitos workflows científicos devem ser completamente
confiáveis, e por isso devem estar especificados corretamente.  Este trabalho propõe
uma abordagem para verificação de workflows baseada em uma álgebra de processo
(CCS) e ferramentas de verificação de modelos. Essa abordagem foi implementada
como prova de conceito junto à ferramenta de especificação de workflows GExpLine.
Experimentos realizados sob a ferramenta mostram as vantagens da verificação
automática.

Abstract

Workflows are used in several domains for scientific purposes. In the last years
these workflows are becoming more complex and scientists need methods to verify its
correctness. Most of the available systems assume that a workflow is correct if it
respects control and dependencies specified by the scientist. In addition, many scientific
workflows must be completely reliable, that is why they must be correctly specified.
This work proposes an approach that supports workflow verification based on process
algebra specifications (CCS) and model checking tools. This approach was
implemented as proof of concept with the GExpLine workflow specification tool.
Experiments performed under the tool show the advantages of automatic verification.

Arquivo
1296142351.pdf
Topo