Formalization of a process activity performance estimation approach using human competencies | Synapse