You can buy this project and download/modify it how often you want.
package org.umlg.runtime.domain.ocl; public interface OclState { }