UML AD Refinement Patterns for Modeling Workflow Applications | IEEE Conference Publication | IEEE Xplore