Edno V. Silva,  Eduardo Ogasawara,  Daniel de Oliveira,  Marta Mattoso,  Mario 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

Processando consulta.