16.5 OCL Representation of Warehouse Operation Constraints

   [C-1] A ChangeRequest instance must not apply to itself.context ChangeRequestinv: self.modelElement -> forAll (element | element <> self)[C-2] A completionDate may only be provided for a completed ChangeRequest.context ChangeRequestinv: self.completionDate->notEmpty implies self.completed

   [C-3] A Measurement instance must not apply to itself.context Measurementinv: self.modelElement <> self

   [C-4] If the TransformationExecution is not inProgress, the successful status and endDate attributes must be present, and endDate must not be earlier than startDate.

   context TransformationExecution

   inv: self.inProgress=false implies (self.successful->notEmpty and self.status>notEmpty and self.endDate->notEmpty and self.endDate >= self.startDate)