Seol mar théacs é seo: Formalisations and applications of BPMN