Information flow analysis of scientific workflows

Journal of Computer and System Sciences

Volumn 76, Issue 6, 2010, Pages 390-402

  Yang, Ping ^a   Lu, Shiyong ^b   Gofman, Mikhail I ^a   Yang, Zijiang ^c  

^a State University of New York   (United States)

^b Wayne State University   (United States)

^c Western Michigan University   (United States)

Author keywords

Hierarchical state machines; Information flow analysis; Scientific workflows

Indexed keywords

COMPUTER NETWORKS; SYSTEMS SCIENCE;

COLLABORATIVE ENVIRONMENTS; COLLABORATIVE RESEARCH PROJECTS; DISTRIBUTED ORGANIZATIONS; HIERARCHICAL STATE MACHINES; INFORMATION FLOW ANALYSIS; SCIENTIFIC RESEARCHES; SCIENTIFIC WORKFLOWS; SENSITIVE INFORMATIONS;

DATA SHARING;

EID: 77955303801     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2009.11.002     Document Type: Conference Paper

References (37)

1. Java BeanShell http://www.beanshell.org/
2. W. Aalst, and A. Hofstede Verification of workflow task structures: A Petri-net-based approach Inf. Syst. 25 1 2000 43 69
3. N.R. Adam, V. Atluri, and W. Kuang Huang Modeling and analysis of workflows using Petri nets J. Intell. Inf. Syst. 10 2 1998 131 158
4. A. Ailamaki, Y.E. Ioannidis, M. Livny, Scientific workflow management by database management, in: Proc. of the International Conference on Statistical and Scientific Database Management, 1998, pp. 190-199
5. R. Alur, M. McDougall, Z. Yang, Exploiting behavioral hierarchy for efficient model checking, in: International Conference on Computer-Aided Verification, 2002
6. R. Alur, M. Yannakakis, Model checking of hierarchical state machines, in: Foundations of Software Engineering, 1998, pp. 175-188
7. D. Bell, L. LaPadula, Secure computer system: Unified exposition and multics interpretation, Technical Report ESD-TR-75-306, MITRE Corp., 1975
8. S. Bowers, B. Ludäscher, A. Ngu, T. Critchlow, Enabling scientific workflow reuse through structured composition of dataflow and control-flow, in: IEEE Workshop on Workflow and Data Flow for Scientific Applications, 2006
9. J. Chen, and Y. Yang Activity completion duration based checkpoint selection for dynamic verification of temporal constraints in grid workflow systems Int. J. High Perform. Comput. Appl. 22 3 2008 319 329
10. J. Chen, and Y. Yang A taxonomy of grid workflow verification and validation Concurr. Comput.: Pract. Exper. 20 4 2008 347 360
11. J. Chen, Y. Yang, Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems, ACM Trans. Software Eng. Methodol., in press
12. Y. Choi, X. Zhao, K. Han, Hierarchical reachability analysis for workflow-nets, in: Conference on Computer Supported Cooperative Work in Design, 2006, pp. 556-561
13. D. Churches, G. Gombas, A. Harrison, J. Maassen, C. Robinson, M. Shields, I. Taylor, and I. Wang Programming scientific and distributed workflow with Triana services: Research articles Concurr. Comput.: Pract. Exper. 18 10 2006 1021 1037
14. H. Davulcu, M. Kifer, C. Ramakrishnan, I. Ramakrishnan, Logic based modeling and analysis of workflows, in: PODS, 1998, pp. 25-33
15. D.E. Denning A lattice model of secure information flow Commun. ACM 19 5 1976 236 243
16. M. Dumas, A.H.M. ter Hofstede, UML activity diagrams as a workflow specification language, in: UML, 2001, pp. 76-90
17. R. Eshuis, R. Wieringa, Verification support for workflow design with UML activity graphs, in: Proc. of the International Conference on Software Engineering, 2002, pp. 166-176
18. I. Foster, Y. Zhao, I. Raicu, S. Lu, Cloud computing and grid computing 360-degree compared, in: Proc. of the IEEE Grid Computing Environments, Austin, TX, 2008, pp. 1-10
19. J. Freire, C.T. Silva, S.P. Callahan, E. Santos, C.E. Scheidegger, H.T. Vo, Managing rapidly-evolving scientific workflows, in: International Provenance and Annotation Workshop, 2006, pp. 10-18
20. Y. Gil, E. Deelman, J. Blythe, C. Kesselman, and H. Tangmunarunkit Artificial intelligence and grids: Workflow planning and beyond IEEE Intell. Syst. 19 1 2004 26 33
21. G.L. Guernic, A. Banerjee, T. Jensen, D. Schmidt, Automata-based confidentiality monitoring, in: 11th Annual Asian Computing Science Conference, 2006
22. D. Hutter, M. Volkamer, Information flow control to secure dynamic web service composition, in: International Conference on Security in Pervasive Computing, 2006
23. P. Li, S. Zdancewic, Practical information-flow control in web-based information systems, in: Computer Security Foundation Workshop, 2005, pp. 2-15
24. C. Lin, S. Lu, Z. Lai, A. Chebotko, X. Fei, J. Hua, F. Fotouhi, Service-oriented architecture for VIEW: A visual scientific workflow management system, in: Proc. of the IEEE 2008 International Conference on Services Computing (SCC 2008), 2008, pp. 335-342
25. S. Lu, A.J. Bernstein, and P.M. Lewis Automatic workflow verification and generation Theoret. Comput. Sci. 353 1-3 2006 71 92
26. B. Ludäscher, Scientific workflows: Cyberinfrastructure for e-science, in: Pacific Neighborhood Consortium (PNC), 2007
27. B. Ludäscher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger, M. Jones, E.A. Lee, J. Tao, and Y. Zhao Scientific workflow management and the Kepler system: Research articles Concurr. Comput.: Pract. Exper. 18 10 2006 1039 1065
28. A.C. Myers, B. Liskov, A decentralized model for information flow control, in: SOSP, 1997, pp. 129-142
29. T. Oinn Taverna: lessons in creating a workflow environment for the life sciences: Research articles Concurr. Comput.: Pract. Exper. 18 10 2006 1067 1100
30. Y. Pan, Y. Tang, H. Ma, N. Tang, Workflow analysis based on fuzzy temporal workflow nets, in: CSCWD (Selected papers), 2005, pp. 545-553
31. N. Ravi, M. Gruteser, L. Iftode, Information flow control for location-based services, in: 3rd Annual International Conference on Mobile and Ubiquitous Systems: Networks and Services, 2006
32. A. Sabelfeld, and A.C. Myers Language-based information-flow security IEEE J. Sel. Areas in Commun. 21 2003 5 19
33. F.L. Tiplea, and D.C. Marinescu Structural soundness of workflow nets is decidable Inform. Process. Lett. 96 2 2005 54 58
34. M. Wang, R. Kotagiri, J. Chen, Trust-based robust scheduling and runtime adaptation of scientific workflow, Concurr. Comput.: Pract. Exper., in press
35. P. Yang, Z. Yang, S. Lu, Formal modeling and analysis of scientific workflows using hierarchical state machines, in: Proc. of the International Workshop on Scientific Workflows and Business Workflow Standards in e-Science, 2007, pp. 619-626
36. U. Yildiz, C. Godart, Information flow control with decentralized service compositions, in: IEEE International Conference on Web Services, 2007, pp. 9-17
37. Y. Zhao, M. Hategan, B. Clifford, I.T. Foster, G.V. Laszewski, V. Nefedova, I. Raicu, T. Stef-Praun, M. Wilde, Swift: Fast, reliable, loosely coupled parallel computation, in: Proc. of the IEEE International Workshop on Scientific Workflows (SWF 2007), 2007, pp. 199-206