Verificación y alineación de procesos de negocio colaborativos

Las colaboraciones inter-organizacionales permiten nuevas formas de gestión basadas en la cooperación. Los sistemas de información que brindan soporte a la gestión de estas acciones de colaboración requieren definir modelos y especificaciones de procesos de negocio colaborativos (PNCs) que represent...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Roa, Jorge
Otros Autores: Villareal, Pablo
Formato: Tesis doctoral acceptedVersion
Lenguaje:Español
Publicado: Universidad Tecnológica Nacional. Facultad Regional Santa Fe 2017
Materias:
Procesos de negocios
B2B
Desarrollos dirigidos por modelos
Acceso en línea:http://hdl.handle.net/20.500.12272/1507
Aporte de:
RIA - Repositorio Institucional Abierto (UTN) de Universidad Tecnológica Nacional
id I68-R174-20.500.12272-1507
record_format dspace
spelling I68-R174-20.500.12272-15072023-06-30T21:25:28Z Verificación y alineación de procesos de negocio colaborativos Roa, Jorge Villareal, Pablo Chiotti, Omar Procesos de negocios B2B Desarrollos dirigidos por modelos Las colaboraciones inter-organizacionales permiten nuevas formas de gestión basadas en la cooperación. Los sistemas de información que brindan soporte a la gestión de estas acciones de colaboración requieren definir modelos y especificaciones de procesos de negocio colaborativos (PNCs) que representan el comportamiento explícito de la colaboración. En base a técnicas formales y a los conceptos del desarrollo dirigido por modelos, en esta tesis se proponen métodos y herramientas que permiten determinar el correcto comportamiento de los modelos de PNCs y, a partir de dichos modelos, generar especificaciones de PNCs cuyo comportamiento está alineado con el de los modelos. Se propone el lenguaje formal Redes de Interacción Global (GI-Nets) y un método de transformación para definir modelos formales de PNCs con GI-Nets a partir de modelos conceptuales de PNCs. Se definen dos métodos de verificación que permiten determinar si un modelo de PNC satisface un conjunto de propiedades que determinan su correcto comportamiento. El primer método, basado en GI-Nets, propone la propiedad de Solidez de Interacción Global de una GI-Net como principal criterio de verificación. Este método permite detectar el lugar específico donde existe un bloqueo en un modelo de PNC. El segundo método, basado en anti-patrones de comportamiento, provee un enfoque para especificar en forma sistemática los anti-patrones de cualquier lenguaje de PNCs. Este método detecta el lugar de un bloqueo y determina el conjunto de elementos que lo produce. Ambos métodos pueden ser utilizados con cualquier lenguaje de PNCs y dan soporte a la verificación de PNCs con constructores complejos. Se define un método formal de transformación de modelos que permite generar en forma automática una especificación de PNC cuyo comportamiento esté alineado con el definido en el modelo conceptual del PNC a partir del cual fue generada. Esto implica que el comportamiento de la especificación será correcto si el comportamiento del modelo del PNC es correcto, y viceversa. El método se utiliza para generar especificaciones de PNCs basadas en tecnologías de servicios Web a partir de modelos conceptuales de PNCs. Finalmente, se presentan las herramientas desarrolladas para la formalización, verificación y transformación de modelos y especificaciones de PNCs, y se utilizan las mismas para evaluar y validar los métodos propuestos en la tesis. Fil: Roa, Jorge. Universidad Tecnológica. Nacional. Facultad Regional Santa Fe; Argentina. Peer Reviewed Tesis presentada en el cumplimiento de los requisitos exigidos por la Universidad Tecnológica Nacional para la obtención del grado académico de Doctor en Ingeniería, mención Sistemas de Información 2017-05-22T17:36:22Z 2017-05-22T17:36:22Z 2014-02 info:eu-repo/semantics/doctoralThesis info:eu-repo/semantics/acceptedVersion info:ar-repo/semantics/tesis doctoral Roa, J. (2014). Verificación y alineación de procesos de negocio colaborativos (Tesis doctoral). Universidad Tecnológica Nacional, Facultad Regional Santa Fe, Argentina. http://hdl.handle.net/20.500.12272/1507 spa info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/4.0/ El autor Licencia Creative Commons Atribución-NoComercial-CompartirIgual 4.0 Internacional application/pdf Universidad Tecnológica Nacional. Facultad Regional Santa Fe
institution Universidad Tecnológica Nacional
institution_str I-68
repository_str R-174
collection RIA - Repositorio Institucional Abierto (UTN)
language Español
topic Procesos de negocios
B2B
Desarrollos dirigidos por modelos
spellingShingle Procesos de negocios
B2B
Desarrollos dirigidos por modelos
Roa, Jorge
Verificación y alineación de procesos de negocio colaborativos
topic_facet Procesos de negocios
B2B
Desarrollos dirigidos por modelos
description Las colaboraciones inter-organizacionales permiten nuevas formas de gestión basadas en la cooperación. Los sistemas de información que brindan soporte a la gestión de estas acciones de colaboración requieren definir modelos y especificaciones de procesos de negocio colaborativos (PNCs) que representan el comportamiento explícito de la colaboración. En base a técnicas formales y a los conceptos del desarrollo dirigido por modelos, en esta tesis se proponen métodos y herramientas que permiten determinar el correcto comportamiento de los modelos de PNCs y, a partir de dichos modelos, generar especificaciones de PNCs cuyo comportamiento está alineado con el de los modelos. Se propone el lenguaje formal Redes de Interacción Global (GI-Nets) y un método de transformación para definir modelos formales de PNCs con GI-Nets a partir de modelos conceptuales de PNCs. Se definen dos métodos de verificación que permiten determinar si un modelo de PNC satisface un conjunto de propiedades que determinan su correcto comportamiento. El primer método, basado en GI-Nets, propone la propiedad de Solidez de Interacción Global de una GI-Net como principal criterio de verificación. Este método permite detectar el lugar específico donde existe un bloqueo en un modelo de PNC. El segundo método, basado en anti-patrones de comportamiento, provee un enfoque para especificar en forma sistemática los anti-patrones de cualquier lenguaje de PNCs. Este método detecta el lugar de un bloqueo y determina el conjunto de elementos que lo produce. Ambos métodos pueden ser utilizados con cualquier lenguaje de PNCs y dan soporte a la verificación de PNCs con constructores complejos. Se define un método formal de transformación de modelos que permite generar en forma automática una especificación de PNC cuyo comportamiento esté alineado con el definido en el modelo conceptual del PNC a partir del cual fue generada. Esto implica que el comportamiento de la especificación será correcto si el comportamiento del modelo del PNC es correcto, y viceversa. El método se utiliza para generar especificaciones de PNCs basadas en tecnologías de servicios Web a partir de modelos conceptuales de PNCs. Finalmente, se presentan las herramientas desarrolladas para la formalización, verificación y transformación de modelos y especificaciones de PNCs, y se utilizan las mismas para evaluar y validar los métodos propuestos en la tesis.
author2 Villareal, Pablo
author_facet Villareal, Pablo
Roa, Jorge
format Tesis doctoral
acceptedVersion
Tesis doctoral
author Roa, Jorge
author_sort Roa, Jorge
title Verificación y alineación de procesos de negocio colaborativos
title_short Verificación y alineación de procesos de negocio colaborativos
title_full Verificación y alineación de procesos de negocio colaborativos
title_fullStr Verificación y alineación de procesos de negocio colaborativos
title_full_unstemmed Verificación y alineación de procesos de negocio colaborativos
title_sort verificación y alineación de procesos de negocio colaborativos
publisher Universidad Tecnológica Nacional. Facultad Regional Santa Fe
publishDate 2017
url http://hdl.handle.net/20.500.12272/1507
work_keys_str_mv AT roajorge verificacionyalineaciondeprocesosdenegociocolaborativos
_version_ 1770623453219520512

Ejemplares similares