F. Van-breugel and M. Koshkina, Models and Verification of BPEL, Unpublished Draft, 2006.

F. Paternò, C. Mancini, and S. Meniconi, ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, 1997.
DOI : 10.1007/978-0-387-35175-9_58

N. Stanton, Hierarchical task analysis: Developments, applications, and extensions, Applied Ergonomics, vol.37, issue.1, 2006.
DOI : 10.1016/j.apergo.2005.06.003
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.2474

W. Van-der-aalst, T. Hofstede, and A. , YAWL: yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2005.
DOI : 10.1016/j.is.2004.02.002

M. B. Juric, Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition2006

K. Gajos and D. Weld, SUPPLE, Proceedings of the 9th international conference on Intelligent user interface , IUI '04, 2004.
DOI : 10.1145/964442.964461

K. Gajos, J. Wobbrock, and D. Weld, Automatically generating user interfaces adapted to users' motor and vision ?. ? symposium on User interface ?, 2007.

A. Brogi and R. Popescu, From BPEL processes to YAWL workflows. Lecture notes in computer science, pp.107-122, 41842006.

V. Slovacek, Towards Workflow-based Application Development Framework2010

J. Jelinek and P. Slavik, GUI generation from annotated source code, Proceedings of the 3rd annual conference on Task models and diagrams , TAMODIA '04, 2004.
DOI : 10.1145/1045446.1045470

E. Bernard and S. Peterson, JSR-303 Bean Validation, Bean Validation Expert Group, 2009.

M. Blackmon, Cognitive walkthrough. Encyclopedia of human-computer interaction

S. Weibel, J. Kunze, C. Lagoze, and M. Wolf, RFC2413: Dublin Core Metadata for Resource Discovery, RFC Editor United States, 1998.