Representation of Business Rules in UML&OCL Models for Developing Information Systems · Study