BDBComp
Parceria:
SBC
Especificação Formal e Verificação de Workflows Científicos

Edno V. SilvaEduardo OgasawaraDaniel de OliveiraMarta MattosoMario R. F. Benevides

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 artigo propõe uma abordagem para verificação de workflows baseada em uma álgebra de processo (CCS) e ferramentas de verificação de modelos. A abordagem foi avaliada utilizando a ferramenta de workflows GExpLine.

http://www.lbd.dcc.ufmg.br:8080/colecoes/e-science/2010/67658_1.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