Formalize and optimize exchange between process knowledge and statistical knowledge