Publications

Formal Modelling and Analysis of Scientific Workflows Using Hierarchical State Machines, by P. Yang, Z. Yang and S. Lu, to appear, 2nd International Workshop on Scientific Workflows and Business Workflow Standards in e-Science, held in conjuction with IEEE international conference on e-science and grid computing, © IEEE press, 2007. [abstract| bibtex| pdf]

Model Checking Approach to Itinerary-based Access Control Enforcement of Mobile Tasks in Scientific Workflows, by Z. Yang, S. Lu and P. Yang, to appear, Journal of Autonomic and Trusted Computing [pdf].