Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines

• Authors:

• Ping Yang;Zijiang Yang;Shiyong Lu

• Affiliations:

• -;-;-

• Venue:
• E-SCIENCE '07 Proceedings of the Third IEEE International Conference on e-Science and Grid Computing
• Year:
• 2007