A formal approach to modeling office information systems · Study