Describir: An OCL - based semantics of system state modification primitives