Especificação Formal e Verificação de Workflows Científicos
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 assume que um workflow está correto se respeita os controles e as dependências definidos pelo cientista. Além disso, muitos workflows científicos são críticos e 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. Avaliamos a abordagem utilizando a ferramenta de workflows GExpLine.
Referências
Aalst, W. M. P. V. D., Hofstede, A. H. M. T., Kiepuszewski, B., Barros, A. P., 2003, "Workflow Patterns", Distrib. Parallel Databases, v. 14, n. 1, p. 5-51.
Aalst, W. M. P. V. D., 2000, "Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques". In: Business Process Management, Models, Techniques, and Empirical Studies, p. 161-183
Aalst, W. M. V. D., Hofstede, A. H. M. T., 2000, "Verification of workflow task structures: A petri-net-based approach", Inf. Syst., v. 25, n. 1, p. 43-69.
Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludascher, B., Mock, S., 2004, "Kepler: an extensible system for design and execution of scientific workflows". In: 16th SSDBM, p. 423-424, Santorini, Greece.
Barga, R., Gannon, D., 2007, "Scientific versus Business Workflows", Workflows for eScience, Springer, p. 9-16.
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P., 2001, Systems and Software Verification: Model-Checking Techniques and Tools. 1 ed. Springer.
BPMN, 2009, Business Process Modeling Notation (BPMN), Version 1.0, [link].
Braghetto, K. R., Ferreira, J. E., Pu, C., 2007, "Using control-flow patterns for specifying business processes in cooperative environments". In: Proceedings of the 2007 ACM symposium on Applied computing, p. 1234-1241, Seoul, Korea.
Cleaveland, R., Li, T., Sims, S., 2000, "The concurrency workbench of the new century", User’s manual, SUNY at Stony Brook, Stony Brooke, NY, USA
Deelman, E., Gannon, D., Shields, M., Taylor, I., 2009, "Workflows and e-Science: An overview of workflow system features and capabilities", Future Generation Computer Systems, v. 25, n. 5, p. 528-540.
Kim, J., Gil, Y., Spraragen, M., 2009, "Principles for interactive acquisition and validation of workflows", Journal of Experimental & Theoretical Artificial Intelligence
Liang, Q., Zhao, J., 2008, "Verification of Unstructured Workflows via Propositional Logic". In: Computer and Information Science, 2008. ICIS 08. Seventh IEEE/ACIS International Conference onComputer and Information Science, 2008. ICIS 08. Seventh IEEE/ACIS International Conference on, p. 247-252 Milner, R., 1989, Communication and concurrency. Prentice-Hall, Inc.
Milner, R., Parrow, J., Walker, D., 1992a, "A calculus of mobile processes, I", Inf. Comput., v. 100, n. 1, p. 1-40.
Milner, R., Parrow, J., Walker, D., 1992b, "A calculus of mobile processes, II", Inf. Comput., v. 100, n. 1, p. 41-77.
Ogasawara, E., Paulino, C., Murta, L., Werner, C., Mattoso, M., 2009, "Experiment Line: Software Reuse in Scientific Workflows". In: 21th SSDBM, p. 264–272, New Orleans, LA.
Puhlmann, F., Weske, M., 2005, "Using the π-Calculus for Formalizing Workflow Patterns", Business Process Management, , p. 153-168.
Russell, N., Hofstede, A. H. M. T., Mulyar, N., 2006, "Workflow ControlFlow Patterns: A Revised View"
Slominski, A., 2007, "Adapting BPEL to Scientific Workflows", Workflows for e-Science, Springer, p. 208-226.
Stefansen, C., 2005, "SMAWL: A small workflow language based on CCS", HARVARD UNIVERSITY
Woodman, S., Parastatidis, S., Webber, J., 2007, "Protocol-Based Integration Using SSDL and π-Calculus", Workflows for e-Science, Springer, p. 227-243.
Zhao, L., Li, Q., Liu, X., Du, N., 2009, "A modeling method based on CCS for workflow". In: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, p. 376-384, Suwon, Korea.
Aalst, W. M. P. V. D., 2000, "Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques". In: Business Process Management, Models, Techniques, and Empirical Studies, p. 161-183
Aalst, W. M. V. D., Hofstede, A. H. M. T., 2000, "Verification of workflow task structures: A petri-net-based approach", Inf. Syst., v. 25, n. 1, p. 43-69.
Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludascher, B., Mock, S., 2004, "Kepler: an extensible system for design and execution of scientific workflows". In: 16th SSDBM, p. 423-424, Santorini, Greece.
Barga, R., Gannon, D., 2007, "Scientific versus Business Workflows", Workflows for eScience, Springer, p. 9-16.
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P., 2001, Systems and Software Verification: Model-Checking Techniques and Tools. 1 ed. Springer.
BPMN, 2009, Business Process Modeling Notation (BPMN), Version 1.0, [link].
Braghetto, K. R., Ferreira, J. E., Pu, C., 2007, "Using control-flow patterns for specifying business processes in cooperative environments". In: Proceedings of the 2007 ACM symposium on Applied computing, p. 1234-1241, Seoul, Korea.
Cleaveland, R., Li, T., Sims, S., 2000, "The concurrency workbench of the new century", User’s manual, SUNY at Stony Brook, Stony Brooke, NY, USA
Deelman, E., Gannon, D., Shields, M., Taylor, I., 2009, "Workflows and e-Science: An overview of workflow system features and capabilities", Future Generation Computer Systems, v. 25, n. 5, p. 528-540.
Kim, J., Gil, Y., Spraragen, M., 2009, "Principles for interactive acquisition and validation of workflows", Journal of Experimental & Theoretical Artificial Intelligence
Liang, Q., Zhao, J., 2008, "Verification of Unstructured Workflows via Propositional Logic". In: Computer and Information Science, 2008. ICIS 08. Seventh IEEE/ACIS International Conference onComputer and Information Science, 2008. ICIS 08. Seventh IEEE/ACIS International Conference on, p. 247-252 Milner, R., 1989, Communication and concurrency. Prentice-Hall, Inc.
Milner, R., Parrow, J., Walker, D., 1992a, "A calculus of mobile processes, I", Inf. Comput., v. 100, n. 1, p. 1-40.
Milner, R., Parrow, J., Walker, D., 1992b, "A calculus of mobile processes, II", Inf. Comput., v. 100, n. 1, p. 41-77.
Ogasawara, E., Paulino, C., Murta, L., Werner, C., Mattoso, M., 2009, "Experiment Line: Software Reuse in Scientific Workflows". In: 21th SSDBM, p. 264–272, New Orleans, LA.
Puhlmann, F., Weske, M., 2005, "Using the π-Calculus for Formalizing Workflow Patterns", Business Process Management, , p. 153-168.
Russell, N., Hofstede, A. H. M. T., Mulyar, N., 2006, "Workflow ControlFlow Patterns: A Revised View"
Slominski, A., 2007, "Adapting BPEL to Scientific Workflows", Workflows for e-Science, Springer, p. 208-226.
Stefansen, C., 2005, "SMAWL: A small workflow language based on CCS", HARVARD UNIVERSITY
Woodman, S., Parastatidis, S., Webber, J., 2007, "Protocol-Based Integration Using SSDL and π-Calculus", Workflows for e-Science, Springer, p. 227-243.
Zhao, L., Li, Q., Liu, X., Du, N., 2009, "A modeling method based on CCS for workflow". In: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, p. 376-384, Suwon, Korea.
Publicado
20/07/2010
Como Citar
SILVA, Edno V.; OGASAWARA, Eduardo; OLIVEIRA, Daniel de; MATTOSO, Marta; BENEVIDES, Mario R. F..
Especificação Formal e Verificação de Workflows Científicos. In: BRAZILIAN E-SCIENCE WORKSHOP (BRESCI), 4. , 2010, Belo Horizonte/MG.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2010
.
p. 201-208.
ISSN 2763-8774.
