Using UML and object-coordination-nets for workflow specification · Study