Text this: An OCL - based semantics of system state modification primitives