From model to execution: a formal foundation for managing materials and tools in executable BPMN | Synapse