Guidelines for the specification of managed object behaviors with TIMS