ocl to derive attribute isAvailableOffline