A modeling DSL for bpmn-js