SEPARATION OF EVENT AND CONSTRAINT RULES IN UML&OCL MODELS OF SERVICE ORIENTED INFORMATION SYSTEMS · Study