Functional BPMN2 files and tests for chapter 3