Semantically enabled process synthesis and optimisation. (4th October 2016)