A unified trace meta-model for alignment and synchronization of BPMN and UML models