The formal analysis of systems and process to gain insight into patterns of use. This can lead to adjustments to improve the operational efficiency of a system or process.