Login / Signup
A Formal Model for Weakly-structured Scientific Workflows.
Zhili Zhao
Adrian Paschke
Published in:
SWAT4LS (2013)
Keyphrases
</>
formal model
scientific workflows
scientific data
semantic annotation
service oriented
web services
workflow systems
formal models
security patterns
information systems
domain specific
file system
security properties