A BPMN 2.0 modeling plugin for Eclipse