Facultad Regional Santa Fe

Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/113

Browse

Author: search.filters.author.Villarreal, PabloSubject: search.filters.subject.Business process

Search Results

Now showing 1 - 4 of 4
  • 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
    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
    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
    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.