Using UML and object-coordination-nets for workflow specification | IEEE Conference Publication | IEEE Xplore