Gravar e-mail: Inspección de propiedades para apoyar la comprensibilidad en el modelado de procesos de negocio con IDEF0: un estudio de caso