Information flow analysis of scientific workflows

DOI10.1016/j.jcss.2009.11.002zbMath1209.68074OpenAlexW2046899755MaRDI QIDQ980980

Mikhail I. Gofman, Shiyong Lu, Ping Yang, Zi-Jiang 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)

Cites Work

• Unnamed Item
• Unnamed Item
• Structural soundness of workflow nets is decidable
• Verification of workflow task structures: A Petri-net-based approach
• Automatic workflow verification and generation
• A lattice model of secure information flow