III U N I V E R S I D A D · C A R L O S I I I · D E M A D R I D : UNIVERSIDAD CARLOS III DE MADRID DEPARTAMENTO DE INGENIER ´ IA TELEM ´ ATICA TESIS DOCTORAL DEFINICI ´ ON DE UN MODELO PARA LA VERIFICACI ´ ON FORMAL DE PROCESOS DE NEGOCIO Autor: Jes ´ us Arias Fisteus Ingeniero de Telecomunicaci´ on Director: Carlos Delgado Kloos Doctor Ingeniero de Telecomunicaci´ on Legan´ es, Septiembre de 2005