A Semantically-Enhanced Modelling Environment for Business Process as a Service | IEEE Conference Publication | IEEE Xplore