Title :
UML AD Refinement Patterns for Modeling Workflow Applications
Author :
Ben Younes, Ahlem ; Jemni Ben Ayed, Leila ; Hlaoui, Yousra Bendaly
Author_Institution :
Lab. LaTICE, Univ. of Tunis, Tunis, Tunisia
Abstract :
In this paper, we propose an UML Activity Diagram (AD) approach based on stepwise refinement technique for modeling and describing workflow applications. Thus, we present a set of UML AD refinement patterns that support the different forms of refining process in a workflow. The workflow application is constructed in a hierarchical fashion. We show that thanks to the hierarchical workflow construction by refinement, a simple view of the workflow is maintained at each level of abstraction. In addition, we provide formal support for building process refinement graphs that are complete, proved correct.
Keywords :
Unified Modeling Language; object-oriented methods; workflow management software; UML AD refinement patterns; UML activity diagram approach; hierarchical workflow construction; process refinement graphs; stepwise refinement technique; workflow applications; Abstracts; Computational modeling; Concrete; Conferences; Software; Systematics; Unified modeling language; Design Patterns; Progressive Development; Refinement UML AD; Specification; Workflow Applications; proof;
Conference_Titel :
Computer Software and Applications Conference Workshops (COMPSACW), 2012 IEEE 36th Annual
Conference_Location :
Izmir
Print_ISBN :
978-1-4673-2714-5
Electronic_ISBN :
978-0-7695-4758-9
DOI :
10.1109/COMPSACW.2012.51
