Analysis and logical design of information systems