Representation, specification and automation of office procedures