Proceso de negocio
Páginas: 313 (78223 palabras)
Publicado: 2 de agosto de 2010
C
AR
I L OS I
I
UNIVERSIDAD CARLOS III DE MADRID ´ ´ DEPARTAMENTO DE INGENIERIA TELEMATICA
TESIS DOCTORAL
´ ´ DEFINICION DE UN MODELO PARA LA VERIFICACION FORMAL DE PROCESOS DE NEGOCIO
´ Autor: Jesus Arias Fisteus Ingeniero de Telecomunicaci´ n o
Director: Carlos Delgado Kloos Doctor Ingeniero de Telecomunicaci´ n o
Legan´ s, Septiembre de 2005 e
·
DE
III
MAD
R
ID
: UN
I
V
ER
SID A D
·
Tribunal nombrado por el Mgfco. y Excmo. Sr. Rector de la Universidad Carlos III de Madrid, el d´a ı de de .
Presidente Vocal Vocal Vocal Secretario
Realizado el acto de defensa y lectura de la Tesis el d´a ı en .
de
de
Calificaci´ n: o
EL PRESIDENTE
EL SECRETARIO
LOS VOCALES
Agradecimientos
En primer lugar, megustar´a agradecer a Carlos Delgado Kloos por la direcci´ n de esta ı o tesis, sin cuya ayuda no habr´a sido posible su realizaci´ n. Este agradecimiento es extensible ı o a quienes han aportado ideas o sugerencias valiosas para esta tesis en distintos momentos de su desarrollo: Abelardo, Andr´ s, Carlos (cgr), Luis y Vicente. e Gracias a todos mis compa˜ eros del Departamento de Ingenier´a Telem´tica, especialn ı a mente a M. Carmen, Celeste, Julio, Norberto, Pablo y Raquel. Gracias muy especiales a Iria por todos estos a˜ os que llevamos estudiando y trabajando juntos. n Y gracias a mi familia, sobre todo a mis padres y hermanos.
Resumen
Las tecnolog´as de gesti´ n de procesos de negocio supusieron, en los a˜ os 90, una revoı o n luci´ n en la forma de coordinar las actividadesinternas de organizaciones, principalmente o ´ de tama˜ o grande o mediano. Posteriormente, a principios de esta d´ cada, el ambito de utin e lizaci´ n de estas tecnolog´as comenz´ su expansi´ n a entornos B2B, como un facilitador o ı o o de las colaboraciones entre distintas organizaciones. Ahora, est´ n comenzando a ser aplia cadas para realizar composici´ n de servicios en entornos dise˜ adosconforme al paradigma o n de la computaci´ n orientada a servicios. Aunque un proceso de negocio no deja de ser un o programa de ordenador, la principal caracter´stica que lo diferencia de los programas conı vencionales es su muy alto nivel de abstracci´ n. Este nivel de abstracci´ n permite que el o o desarrollo, implantaci´ n o modificaci´ n de procesos sea considerablemente m´ s agil que en o o a ´el caso de programas convencionales. Por otra parte, aporta una gran flexibilidad durante la ejecuci´ n de los mismos. Sin embargo, a pesar de este nivel de abstracci´ n, tambi´ n las o o e definiciones de procesos de negocio son susceptibles de tener errores, especialmente debido al alto grado de concurrencia, computaci´ n distribuida y dependencia de entidades externas o que las caracterizan.Esto hace necesario el uso de t´ cnicas de verificaci´ n que permitan e o comprobar que el comportamiento de los procesos sea conforme a sus especificaciones. ´ En esta tesis doctoral se realizan aportaciones en el ambito de la verificaci´ n de requisio tos funcionales de procesos de negocio. Por una parte, se propone una arquitectura abierta, modular y extensible para la verificaci´ n de procesos, quepermite la integraci´ n de distintos o o lenguajes de definici´ n de procesos y herramientas de verificaci´ n, y se basa en un sistema o o formal intermedio. Por otra parte, se define este sistema formal intermedio, llamado Modelo Formal Com´ n (CFM), que se basa en sistemas de estado–transici´ n etiquetados, pero con u o una notaci´ n y abstracciones orientadas a la representaci´ n de procesos denegocio. Con el o o objetivo de comprobar la expresividad y adecuaci´ n de este formalismo para la representao ci´ n de los mismos, se realiza un an´ lisis basado en patrones de workflow. Adicionalmente, o a se integra BPEL4WS, un lenguaje de definici´ n de composiciones de servicios Web basado o en procesos, en la arquitectura. Para ello, se define su sem´ ntica en t´ rminos del formalismo, a e as´...
AR
I L OS I
I
UNIVERSIDAD CARLOS III DE MADRID ´ ´ DEPARTAMENTO DE INGENIERIA TELEMATICA
TESIS DOCTORAL
´ ´ DEFINICION DE UN MODELO PARA LA VERIFICACION FORMAL DE PROCESOS DE NEGOCIO
´ Autor: Jesus Arias Fisteus Ingeniero de Telecomunicaci´ n o
Director: Carlos Delgado Kloos Doctor Ingeniero de Telecomunicaci´ n o
Legan´ s, Septiembre de 2005 e
·
DE
III
MAD
R
ID
: UN
I
V
ER
SID A D
·
Tribunal nombrado por el Mgfco. y Excmo. Sr. Rector de la Universidad Carlos III de Madrid, el d´a ı de de .
Presidente Vocal Vocal Vocal Secretario
Realizado el acto de defensa y lectura de la Tesis el d´a ı en .
de
de
Calificaci´ n: o
EL PRESIDENTE
EL SECRETARIO
LOS VOCALES
Agradecimientos
En primer lugar, megustar´a agradecer a Carlos Delgado Kloos por la direcci´ n de esta ı o tesis, sin cuya ayuda no habr´a sido posible su realizaci´ n. Este agradecimiento es extensible ı o a quienes han aportado ideas o sugerencias valiosas para esta tesis en distintos momentos de su desarrollo: Abelardo, Andr´ s, Carlos (cgr), Luis y Vicente. e Gracias a todos mis compa˜ eros del Departamento de Ingenier´a Telem´tica, especialn ı a mente a M. Carmen, Celeste, Julio, Norberto, Pablo y Raquel. Gracias muy especiales a Iria por todos estos a˜ os que llevamos estudiando y trabajando juntos. n Y gracias a mi familia, sobre todo a mis padres y hermanos.
Resumen
Las tecnolog´as de gesti´ n de procesos de negocio supusieron, en los a˜ os 90, una revoı o n luci´ n en la forma de coordinar las actividadesinternas de organizaciones, principalmente o ´ de tama˜ o grande o mediano. Posteriormente, a principios de esta d´ cada, el ambito de utin e lizaci´ n de estas tecnolog´as comenz´ su expansi´ n a entornos B2B, como un facilitador o ı o o de las colaboraciones entre distintas organizaciones. Ahora, est´ n comenzando a ser aplia cadas para realizar composici´ n de servicios en entornos dise˜ adosconforme al paradigma o n de la computaci´ n orientada a servicios. Aunque un proceso de negocio no deja de ser un o programa de ordenador, la principal caracter´stica que lo diferencia de los programas conı vencionales es su muy alto nivel de abstracci´ n. Este nivel de abstracci´ n permite que el o o desarrollo, implantaci´ n o modificaci´ n de procesos sea considerablemente m´ s agil que en o o a ´el caso de programas convencionales. Por otra parte, aporta una gran flexibilidad durante la ejecuci´ n de los mismos. Sin embargo, a pesar de este nivel de abstracci´ n, tambi´ n las o o e definiciones de procesos de negocio son susceptibles de tener errores, especialmente debido al alto grado de concurrencia, computaci´ n distribuida y dependencia de entidades externas o que las caracterizan.Esto hace necesario el uso de t´ cnicas de verificaci´ n que permitan e o comprobar que el comportamiento de los procesos sea conforme a sus especificaciones. ´ En esta tesis doctoral se realizan aportaciones en el ambito de la verificaci´ n de requisio tos funcionales de procesos de negocio. Por una parte, se propone una arquitectura abierta, modular y extensible para la verificaci´ n de procesos, quepermite la integraci´ n de distintos o o lenguajes de definici´ n de procesos y herramientas de verificaci´ n, y se basa en un sistema o o formal intermedio. Por otra parte, se define este sistema formal intermedio, llamado Modelo Formal Com´ n (CFM), que se basa en sistemas de estado–transici´ n etiquetados, pero con u o una notaci´ n y abstracciones orientadas a la representaci´ n de procesos denegocio. Con el o o objetivo de comprobar la expresividad y adecuaci´ n de este formalismo para la representao ci´ n de los mismos, se realiza un an´ lisis basado en patrones de workflow. Adicionalmente, o a se integra BPEL4WS, un lenguaje de definici´ n de composiciones de servicios Web basado o en procesos, en la arquitectura. Para ello, se define su sem´ ntica en t´ rminos del formalismo, a e as´...
Leer documento completo
Regístrate para leer el documento completo.