Browsing by Author "Villarreal, Pablo"

Filter results by typing the first few letters
Now showing 1 - 12 of 12
  • Thumbnail Image
    Item
    Blockchain platform for executing collaborative business processes with Hyperledger Fabric
    (CoNaIISI, 2023) Pairetti Ribotta, Lucas; D’Annunzio, Tomás; Canavesio, Mercedes; Villarreal, Pablo
    Blockchain and Distributed Ledger Technologies have been identified as a tool to build and increase trust in collaborative business processes as well as to provide integrity, security, and transparency to data. Permissioned or private blockchains are more suitable for collaborative processes since the focus is on an efficient exchange of data and transaction execution. In this work, we propose a permissioned blockchain platform for the implementation and execution of collaborative processes, which is based on HyperLedger Fabric (HF). Smart contracts are defined and implemented on the blockchain platform for performing the validation of the messages sent by the organizations as part of the choreography of interactions agreed on collaborative processes. The proposed platform enhances data privacy by using channels for the processes, and the proposed approach for smart contracts allows a blockchain completely decentralized for managing process instances of collaborative processes
  • Thumbnail Image
    Item
    Definición de la perspectiva de recursos en el desarrollo de sistemas de información orientados a procesos de negocios
    (2015-02) Stroppi, Luis Jesús Ramón; Villarreal, Pablo; Chiotti, Omar
    Los Sistemas de Información Orientados a Procesos (SIOPs) son sistemas de software que, con base en modelos de procesos de negocio, gestionan y ejecutan operaciones que involucran personas, aplicaciones y/o fuentes de información. Los Sistemas de Gestión de Workflow (WfMSs) son sistemas de información de propósito general utilizados para desarrollar SIOPs. Los mismos permiten automatizar y ejecutar procesos de negocio que involucran recursos humanos y aplicaciones. La perspectiva de recursos se refiere a la parte de la definición de un proceso de negocio en la que se representan los recursos humanos involucrados en la ejecución del proceso, la distribución del trabajo (tareas a realizar) a los mismos y la gestión de sus interacciones con el SIOP. Los WfMSs proveen un soporte dispar a la perspectiva de recursos. Emplean conceptos diferentes para su representación y proveen soporte a requerimientos diferentes. Por otra parte, el soporte provisto por los lenguajes de modelado de procesos existentes para definir esta perspectiva es limitado, no permitiendo expresar en modelos de procesos aspectos de la misma que tienen impacto en el desempeño de los procesos. En este contexto, se dificulta la especificación de los requerimientos de esta perspectiva, la selección de un WfMS apropiado para soportar estos requerimientos y validar que las soluciones tecnológicas resultantes sean consistentes con los requerimientos de la organización. El objetivo de esta tesis es proveer soporte a la definición, implementación, verificación y validación de los requerimientos de la perspectiva de recursos en el desarrollo de SIOPs basados en WfMSs. Las principales contribuciones de esta tesis son: (1) un marco de trabajo basado en BPMN para la definición de la perspectiva de recursos en modelos de procesos y la representación de las entidades provistas por los WfMSs para implementar la misma, el cual se compone de metamodelos y de extensiones a BPMN; (2) un método de desarrollo dirigido por modelos, que hace uso del marco de trabajo propuesto, para definir la perspectiva de recursos durante el desarrollo de SIOPs; y (3) una herramienta que soporta el marco de trabajo y el método propuestos. A través del uso del marco de trabajo y el método propuestos, es posible expresar los requerimientos de la perspectiva de recursos en modelos conceptuales de procesos de negocio, seleccionar un WfMS adecuado como plataforma de implementación del SIOP, definir la implementación de dichos requerimientos en modelos específicos de la plataforma y generar el código de las especificaciones ejecutables de procesos. De este modo se incopora la definición de la perspectiva de recursos en las distintas etapas del desarrollo de SIOPs manteniendo la consistencia entre los modelos conceptuales de la misma y su implementación en las las correspondientes especificaciones ejecutables de procesos.
  • Thumbnail Image
    Item
    Detection of anti-patterns in the control flow of collaborative business processes
    (2015) Chiotti, Omar; Roa, Jorge; Villarreal, Pablo
    The verification of the behavior of Collaborative Business Processes is an important aspect to consider when developing inter-organizational systems. In this work, a verification approach for the control flow of collaborative processes based on anti-patterns is proposed to improve the performance of verification. The approach supports the verification of complex constructs for advanced synchronization, multiple instances, and exception management. To this aim, 10 anti-patterns were defined from a repository of process models, and a tool which implements the anti-patterns was developed to evaluate the verification approach. Results indicate that, at worst, the verification time is less than half a millisecond, even for models with complex control flow constructs.
  • Thumbnail Image
    Item
    Diseño preliminar de un regulador de presión para uso aeroespacial
    (Universidad tecnológica Nacional.Facultad Regional Buenos Aires, 2012) Salomone, Javier E.; Cova, Walter J.D.; Jazni, Jorge E.; González, Gustavo J.; Sanna, Alexis D.; Villarreal, Pablo; Manavella, Luciano
    El presente trabajo presenta el diseño preliminar de una válvula reguladora de presión para aplicaciones en vehículos lanzadores que surge como una respuesta ante necesidades detectadas en el desarrollo espacial nacional y se integra en la línea de acciones emprendidas por diversos entes del quehacer público y privado vinculados a al ámbito aeroespacial. Los reguladores mecánicos de presión de gas son dispositivos ampliamente difundidos y aplicados, especialmente en redes de suministro de combustible (gas natural) y en sistemas de distribución de aire comprimido y gases hospitalarios. Una importante aplicación en el área espacial, es la utilización de un gas comprimido inerte para la presurización de propelentes líquidos en vehículos lanzadores de satélites, como una alternativa de la presurización activa por medio de turbobombas. Partiendo entonces de un volumen de gas contenido en un tanque a alta presión se logra –a través de un regulador (o una cascada de reguladores)– controlar la presión de líquidos en los tanques de combustible y oxidante, para garantizar de tal manera un flujo regular de los propelentes a lo largo de su correspondientes ductos de alimentación hasta la cámara de combustión del motor. Durante el desarrollo del diseño preliminar se realizó un análisis de requerimientos, se dimensionaron la válvula principal y los elementros de control, se simuló numéricamente el comportamiento dinámico del regulador y se realizó un análisis de la variación de la temperatura durante el funcionamiento. Por último se presentan detalles del diseño preliminar del regulador. Palabras Claves: Sistema de propulsión, Presurización pasiva, Regulador
  • Thumbnail Image
    Item
    Diseño preliminar de un regulador de presión para uso aeroespacial
    (Universidad tecnológica Nacional.Facultad Regional Buenos Aires, 2012-10) Salomone, Javier E.; Cova, Walter J.D.; Jazni, Jorge E.; González, Gustavo J.; Sanna, Alexis D.; Villarreal, Pablo; Manavella, Luciano; ; Universidad Tecnológica Nacional. Facultad Regional Buenos Aires; FoDAMI
    El presente trabajo presenta el diseño preliminar de una válvula reguladora de presión para aplicaciones en vehículos lanzadores que surge como una respuesta ante necesidades detectadas en el desarrollo espacial nacional y se integra en la línea de acciones emprendidas por diversos entes del quehacer público y privado vinculados a al ámbito aeroespacial. Los reguladores mecánicos de presión de gas son dispositivos ampliamente difundidos y aplicados, especialmente en redes de suministro de combustible (gas natural) y en sistemas de distribución de aire comprimido y gases hospitalarios. Una importante aplicación en el área espacial, es la utilización de un gas comprimido inerte para la presurización de propelentes líquidos en vehículos lanzadores de satélites, como una alternativa de la presurización activa por medio de turbobombas. Partiendo entonces de un volumen de gas contenido en un tanque a alta presión se logra –a través de un regulador (o una cascada de reguladores)– controlar la presión de líquidos en los tanques de combustible y oxidante, para garantizar de tal manera un flujo regular de los propelentes a lo largo de su correspondientes ductos de alimentación hasta la cámara de combustión del motor. Durante el desarrollo del diseño preliminar se realizó un análisis de requerimientos, se dimensionaron la válvula principal y los elementros de control, se simuló numéricamente el comportamiento dinámico del regulador y se realizó un análisis de la variación de la temperatura durante el funcionamiento. Por último se presentan detalles del diseño preliminar del regulador.
  • Thumbnail Image
    Item
    Diseño y gestión de modelos de procesos de negocio en colaboraciones interorganizacionales
    (2013-04) Lazarte, Ivanna Maricruz; Villarreal, Pablo; Chiotti, Omar
    En una colaboración inter-organizacional, las organizaciones se centran en el diseño de procesos (de negocio) colaborativos para acordar el comportamiento de la colaboración. No obstante, el diseño de procesos internos (de interfaz y de integración) constituyen un desafío importante para que las organizaciones puedan implementar y gestionar colaboraciones inter-organizacionales. Esta tesis propone métodos y herramientas que posibilitan el diseño y la gestión de los modelos de procesos de negocio internos con el propósito de integrar los mismos con los procesos de negocio colaborativos acordados en el marco de colaboraciones inter-organizacionales. Con el propósito de guiar el proceso de desarrollo e implementación de colaboraciones inter-organizacionales se propone una metodología que sigue un enfoque “top-down” basada en los principios del desarrollo dirigido por modelos. La metodología identifica las fases, actividades y artefactos requeridos para generar soluciones tecnológicas a partir de soluciones inter-organizacionales. Para dar soporte al diseño de los procesos de negocio internos se proponen dos métodos de desarrollo dirigidos por modelos que permiten generar automáticamente los modelos de procesos de interfaz e integración que cada organización requiere para implementar colaboraciones inter-organizacionales. Estos métodos permiten definir modelos de procesos de interfaz e integración interoperables y consistentes con el comportamiento definido en los modelos de procesos colaborativos. Para permitir a las organizaciones gestionar los modelos conceptuales de procesos de negocio que se definen en la solución inter-organizacional en forma distribuida, manteniendo a los mismos consistentes, interoperables, sincronizados y libres de errores lógicos, se propone un repositorio distribuido de modelos de procesos de negocio involucrados en colaboraciones inter-organizacionales.
  • Thumbnail Image
    Item
    Extending the WS-Humantask architecture to support the resource perspective of BPEL processes
    (2014) Villarreal, Pablo; Stroppi, Luis Jesús Ramón; Chiotti, Omar
    The globalization, modern markets, as well as new organizational management philosophies and advances in Information and Communications Technologies, encourage organizations to establish collaboration networks or interorganizational collaborations. In this paper we propose a technology solution based on software agents which allows supporting the management of collaborative business processes in environments dynamic inter-organizational collaborations. First, we propose a software agent platform that integrates in agent specification's the notions of Belief-Desire-Intention agent architecture with functionalities of process-aware information systems. The platform enables organizations to negotiate collaborations agreements in electronic format to establish dynamic inter-organizational collaborations and define the collaborative processes to be executed. Second, we propose a methodology that includes methods based on Model-Driven Development, which enable the generation of executable process models and the code of process-oriented agents, derived from conceptual models of collaborative processes. This methodology and methods are implemented and automated by software agents that enable the generations of these implementation artifacts, at run-time of the platform. Therefore, the platform enables the automatic generation of the technology solution that requires each organization to execute the agreed collaborative processes, where the generated artifacts are built and initialized in the platform, allowing the implementation and execution of these processes. In this way, the proposed agent-based platform allows to establish collaboration among heterogeneous and autonomous organizations focusing in the process-oriented integration.
  • Thumbnail Image
    Item
    Microservices-based approach for a collaborative business process management cloud platform
    (XLVI CLEI - SLPNASO, 2023-11) Cocconi, Diego; Villarreal, Pablo
    Nowadays, as a result of the adoption of new Internet technologies like cloud computing and containers, new software architectural styles like microservices, and emerging business models, organizations are able to establish collaborative networks for executing Collaborative Business Processes (CBPs) in a flexible way. Current approaches of Process-Aware Information Systems (PAISs) for implementing and executing CBPs have shortcomings, not only related to the services offered, but also about issues typical of the technological solution chosen, such as portability, elasticity, and privacy even when they are cloud-based. Portability refers to the dependency that is created due to the heterogeneity of the services offered by different cloud providers (generating a problem known as “vendor lock-in”), elasticity defines the degree to which a system is able to adapt to workload changes by provisioning and deprovisioning resources in an autonomic manner, and privacy refers to sensitive information about one person or a group that is expected to be hidden from others (e.g., identity, address, health, and hobbies). Then, the purpose of this work is to define an adequate approach for a cloud architecture of a CBP management platform facing these issues. To do so, starting from a definition of a cloud platform architecture that solves (almost all) shortcomings for CBP services offered, an enhancement making use of the microservices paradigm is proposed, overcoming the cloud difficulties previously identified.
  • Thumbnail Image
    Item
    Software agents architecture for managing inter-organizational collaboration
    (2014) Villarreal, Pablo; Chiotti, Omar; Tello-Leal, Edgar
    The globalization, modern markets, as well as new organizational management philosophies and advances in Information and Communications Technologies, encourage organizations to establish collaboration networks or interorganizational collaborations. In this paper we propose a technology solution based on software agents which allows supporting the management of collaborative business processes in environments dynamic inter-organizational collaborations. First, we propose a software agent platform that integrates in agent specification's the notions of Belief-Desire-Intention agent architecture with functionalities of process-aware information systems. The platform enables organizations to negotiate collaborations agreements in electronic format to establish dynamic inter-organizational collaborations and define the collaborative processes to be executed. Second, we propose a methodology that includes methods based on Model-Driven Development, which enable the generation of executable process models and the code of process-oriented agents, derived from conceptual models of collaborative processes. This methodology and methods are implemented and automated by software agents that enable the generations of these implementation artifacts, at run-time of the platform. Therefore, the platform enables the automatic generation of the technology solution that requires each organization to execute the agreed collaborative processes, where the generated artifacts are built and initialized in the platform, allowing the implementation and execution of these processes. In this way, the proposed agent-based platform allows to establish collaboration among heterogeneous and autonomous organizations focusing in the process-oriented integration.
  • Thumbnail Image
    Item
    Software agents for management dynamic inter-organizational collaborations
    (2014) Villarreal, Pablo; Chiotti, Omar; Tello-Leal, Edgar
    The globalization, modern markets, as well as new organizational management philosophies and advances in Information and Communications Technologies, encourage organizations to establish collaboration networks or interorganizational collaborations. In this paper we propose a technology solution based on software agents which allows supporting the management of collaborative business processes in environments dynamic inter-organizational collaborations. First, we propose a software agent platform that integrates in agent specification's the notions of Belief-Desire-Intention agent architecture with functionalities of process-aware information systems. The platform enables organizations to negotiate collaborations agreements in electronic format to establish dynamic inter-organizational collaborations and define the collaborative processes to be executed. Second, we propose a methodology that includes methods based on Model-Driven Development, which enable the generation of executable process models and the code of process-oriented agents, derived from conceptual models of collaborative processes. This methodology and methods are implemented and automated by software agents that enable the generations of these implementation artifacts, at run-time of the platform. Therefore, the platform enables the automatic generation of the technology solution that requires each organization to execute the agreed collaborative processes, where the generated artifacts are built and initialized in the platform, allowing the implementation and execution of these processes. In this way, the proposed agent-based platform allows to establish collaboration among heterogeneous and autonomous organizations focusing in the process-oriented integration.
  • Thumbnail Image
    Item
    Verificación y alineación de procesos de negocio colaborativos
    (2014-02) Roa, Jorge; Villarreal, Pablo; Chiotti, Omar
    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.
  • Thumbnail Image
    Item
    Verification of structured processes : a method based on unsoundness profile
    (2013) Villarreal, Pablo; Roa, Jorge; Chiotti, Omar
    The verification of business processes has been widely studied in the last two decades achieving significant results. Despite this, existing verification tech-niques based on state space exploration suffer, for large processes, the state space explosion problem. New techniques improved verification performance by structuring processes as trees. However, they do not support complex con-structs for advanced synchronization and exception management. To cope with this issue we propose the definition of an unsoundness profile of a given pro-cess language, which specifies all possible combinations of control flow con-structs that can lead to errors in the behavior of structured processes defined with such a language. In addition, we introduce the sequential and hierarchical soundness properties, which make use of this profile to determine soundness of a structured process with complex constructs in polynomial time. As an exam-ple, we defined an unsoundness profile for a subset of the BPMN language and verified the behavior of a BPMN process model.