Information flow analysis of scientific workflows

DOI10.1016/J.JCSS.2009.11.002MaRDI QIDQ980980zbMATH OpenOpenAlexFDO

Authors Ping Yang, Shiyong Lu, Mikhail I. Gofman, Zijiang Yang

Publication date 8 July 2010

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2009.11.002

zbMATH Keywords

hierarchical state machinesinformation flow analysisscientific workflows

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• A collaborative scheduling approach for service-driven scientific workflow execution
• A run-time system for efficient execution of scientific workflows on distributed environments
• Scientific workflows. Programming, optimization, and synthesis with ASKALON and AWDL
• Principles for interactive acquisition and validation of workflows
• Cost and accuracy aware scientific workflow retrieval based on distance measure

Cites work

• scientific article; zbMATH DE number 2006480 (Why is no real title available?)
• scientific article; zbMATH DE number 1903363 (Why is no real title available?)
• A lattice model of secure information flow
• Automatic workflow verification and generation
• Structural soundness of workflow nets is decidable
• Verification of workflow task structures: A Petri-net-based approach

Cited in

(5)

• A collaborative scheduling approach for service-driven scientific workflow execution
• WorkFlow analyzed for security and privacy in using databases
• Cost and accuracy aware scientific workflow retrieval based on distance measure
• Principles for interactive acquisition and validation of workflows
• Scientific workflows. Programming, optimization, and synthesis with ASKALON and AWDL

This page was built for publication: Information flow analysis of scientific workflows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q980980)