Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins

David Withers, Edward A. Kawas, E. Luke McCarthy, Benjamin P. Vandervalk, Mark D. Wilkinson. Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Volume 6415 of Lecture Notes in Computer Science, pages 301-312, Springer, 2010. [doi]

Authors

David Withers

This author has not been identified. Look up 'David Withers' in Google

Edward A. Kawas

This author has not been identified. Look up 'Edward A. Kawas' in Google

E. Luke McCarthy

This author has not been identified. Look up 'E. Luke McCarthy' in Google

Benjamin P. Vandervalk

This author has not been identified. Look up 'Benjamin P. Vandervalk' in Google

Mark D. Wilkinson

This author has not been identified. Look up 'Mark D. Wilkinson' in Google