Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II.
Jacek SrokaJan HiddersPublished in: Fundam. Informaticae (2009)
Keyphrases
- formal semantics
- process model
- process mining
- business processes
- business process
- logical language
- modeling language
- formal language
- logical reasoning
- petri net
- theorem prover
- first order logic
- event logs
- modelling language
- control flow
- open source
- database systems
- distributed systems
- business process models
- knowledge representation