Development Support for Specifying and Monitoring Goals of Open Business Processes | IEEE Conference Publication | IEEE Xplore