Static analysis of Taverna workflows to predict provenance patterns.
Pinar AlperKhalid BelhajjameCarole A. GoblePublished in: Future Gener. Comput. Syst. (2017)
Keyphrases
- static analysis
- dynamic analysis
- source code
- scientific workflows
- malicious code
- java card
- workflow systems
- abstract interpretation
- data processing
- business process
- domain knowledge
- web services
- business processes
- learning algorithm
- model checking
- regular expressions
- software engineering
- relational databases
- data analysis
- test generation
- high level
- metadata