Through our work to rigorously model the intentions of two versions (1.0 and 2.0) of the OMG standard for BPMN (Business Process Modeling Notation) we detected various principled weaknesses of this standard. We illustrate a possible way out by providing a mathematically accurate, transparent user model for an industrial BPM tool that starts from clearly defined high-level concepts of actions of agents and communication between them.