Transition System Semantics of DFL as a Scientific Workflow Language.
Nanshan DuYiwen LiangQing LiLinxia DuPublished in: SKG (2008)
Keyphrases
- scientific workflows
- logical language
- highly expressive
- specification language
- data provenance
- operational semantics
- programming language
- formal semantics
- provenance information
- scientific data
- fine grained
- semantic annotation
- natural language
- knowledge representation
- service oriented
- workflow systems
- machine learning
- conceptual model
- logic programming
- natural language processing
- web services