Design and verification of a collaborative task execution procedure using bpmn modeler | IEEE Conference Publication | IEEE Xplore