A formal semantics for the Taverna 2 workflow model.
Jacek SrokaJan HiddersPaolo MissierCarole A. GoblePublished in: J. Comput. Syst. Sci. (2010)
Keyphrases
- formal semantics
- workflow model
- business process
- workflow systems
- business processes
- data flow
- workflow management
- design methodologies
- logical language
- theorem prover
- fully integrated
- modeling language
- first order logic
- design methodology
- process mining
- active databases
- machine learning
- temporal constraints
- intelligent agents
- expert systems