Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I.

Jacek Sroka Jan Hidders

Published in: Fundam. Informaticae (2009)

Keyphrases

formal semantics
process model
process mining
business process
business processes
logical language
logical reasoning
first order logic
formal language
modeling language
theorem prover
control flow
petri net
modelling language
machine learning
databases
software process
expert systems
case study