Functional Abstractions for UML Activity Diagrams.