Towards efficient support for executing the Object Constraint Language | IEEE Conference Publication | IEEE Xplore