A service-oriented domain specific language programming approach for batch processes | IEEE Conference Publication | IEEE Xplore