Towards Effective BPMN Plus Extensions: A Methodological Framework | Synapse