Defining OCL constraints for the Proxy Design Pattern Profile | IEEE Conference Publication | IEEE Xplore