Title: A methodology for verification and monitoring of office procedures for office information systems