Text this: A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems