Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. - Ahlem Ben Younes; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed; Rahma Jlassi (COMPSAC Workshops, 2013)