Show simple item record

dc.contributor.advisorVillareal, Pablo
dc.creatorRoa, Jorge
dc.date.accessioned2017-05-22T17:36:22Z
dc.date.available2017-05-22T17:36:22Z
dc.date.issued2014-02
dc.identifier.citationRoa, J. (2014). Verificación y alineación de procesos de negocio colaborativos (Tesis doctoral). Universidad Tecnológica Nacional, Facultad Regional Santa Fe, Argentina.es_ES
dc.identifier.urihttp://hdl.handle.net/20.500.12272/1507
dc.description.abstractLas 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.es_ES
dc.formatapplication/pdf
dc.language.isospaes_ES
dc.publisherUniversidad Tecnológica Nacional. Facultad Regional Santa Fees_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.subjectProcesos de negocioses_ES
dc.subjectB2Bes_ES
dc.subjectDesarrollos dirigidos por modeloses_ES
dc.titleVerificación y alineación de procesos de negocio colaborativoses_ES
dc.typeinfo:eu-repo/semantics/doctoralThesises_ES
dc.rights.holderEl autores_ES
dc.description.affiliationFil: Roa, Jorge. Universidad Tecnológica. Nacional. Facultad Regional Santa Fe; Argentina.es_ES
dc.description.peerreviewedPeer Reviewedes_ES
dc.description.extraTesis 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ónes_ES
dc.type.versioninfo:eu-repo/semantics/acceptedVersiones_ES
dc.type.snrdinfo:ar-repo/semantics/tesis doctorales_ES
dc.contributor.coadvisorChiotti, Omar
dc.rights.useLicencia Creative Commonses_ES
dc.rights.useAtribución-NoComercial-CompartirIgual 4.0 Internacional*


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/openAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/openAccess