The Experts below are selected from a list of 2922 Experts worldwide ranked by ideXlab platform

Ingo Weber - One of the best experts on this subject based on the ideXlab platform.

  • Runtime verification for business Processes utilizing the Bitcoin blockchain
    Future Generation Computer Systems, 2017
    Co-Authors: Christoph Prybila, Christoph Hochreiner, Stefan Schulte, Ingo Weber
    Abstract:

    The usage of Process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business Process orchestration. In choreographies, control over a Process Instance is shared between independent parties, and no party has full control or knowledge during Process runtime. Nevertheless, it is necessary to monitor and verify Process Instances during runtime for purposes of documentation, accounting, or compensation.To achieve business Process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the Process participants. Furthermore, the prototype is evaluated in a performance analysis.

  • Caterpillar: A blockchain-based business Process management system
    CEUR Workshop Proceedings, 2017
    Co-Authors: Orlenys López-pintado, Luciano García-bañuelos, Marlon Dumas, Ingo Weber
    Abstract:

    This demonstration introduces Caterpillar, an open-source Business Process Management System (BPMS) that runs on top of the Ethereum blockchain. Like any BPMS, Caterpillar supports the creation of Instances of a Process model (captured in the Business Process Model and Notation – BPMN) and allows users to track the state of Process Instances and to execute tasks thereof. The specificity of Caterpillar is that the state of each Process Instance is maintained on the Ethereum blockchain, and the workflow routing is performed by smart contracts generated by a BPMN-to-Solidity compiler. The compiler supports a wide array of BPMN constructs, including user, script and service tasks, parallel and exclusive gateways, subProcesses, multi-Instance activities and event handlers. The target audience of this demonstration includes researchers in the area of business Process management and blockchain technology.

  • \href{http://www.sciencedirect.com/science/article/pii/S0167739X1731837X}{Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain}
    Future Generation Computer Systems, 2017
    Co-Authors: Christoph Prybila, Christoph Hochreiner, Stefan Schulte, Ingo Weber
    Abstract:

    The usage of Process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business Process orchestration. In choreographies, control over a Process Instance is shared between independent parties, and no party has full control or knowledge during Process runtime. Nevertheless, it is necessary to monitor and verify Process Instances during runtime for purposes of documentation, accounting, or compensation. To achieve business Process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the Process participants. Furthermore, the prototype is evaluated in a performance analysis.

Christoph Prybila - One of the best experts on this subject based on the ideXlab platform.

  • Runtime verification for business Processes utilizing the Bitcoin blockchain
    Future Generation Computer Systems, 2017
    Co-Authors: Christoph Prybila, Christoph Hochreiner, Stefan Schulte, Ingo Weber
    Abstract:

    The usage of Process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business Process orchestration. In choreographies, control over a Process Instance is shared between independent parties, and no party has full control or knowledge during Process runtime. Nevertheless, it is necessary to monitor and verify Process Instances during runtime for purposes of documentation, accounting, or compensation.To achieve business Process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the Process participants. Furthermore, the prototype is evaluated in a performance analysis.

  • \href{http://www.sciencedirect.com/science/article/pii/S0167739X1731837X}{Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain}
    Future Generation Computer Systems, 2017
    Co-Authors: Christoph Prybila, Christoph Hochreiner, Stefan Schulte, Ingo Weber
    Abstract:

    The usage of Process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business Process orchestration. In choreographies, control over a Process Instance is shared between independent parties, and no party has full control or knowledge during Process runtime. Nevertheless, it is necessary to monitor and verify Process Instances during runtime for purposes of documentation, accounting, or compensation. To achieve business Process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the Process participants. Furthermore, the prototype is evaluated in a performance analysis.

Marlon Dumas - One of the best experts on this subject based on the ideXlab platform.

  • ICSSP - White-box prediction of Process performance indicators via flow analysis
    Proceedings of the 2017 International Conference on Software and System Process - ICSSP 2017, 2017
    Co-Authors: Ilya Verenich, Marcello La Rosa, Hoang Nguyen, Marlon Dumas
    Abstract:

    Predictive business Process monitoring methods exploit historical Process execution logs to provide predictions about running Instances of a Process, which enable Process workers and managers to preempt performance issues or compliance violations. A number of approaches have been proposed to predict quantitative Process performance indicators, such as remaining cycle time, cost, or probability of deadline violation. However, these approaches adopt a black-box approach, insofar as they predict a single scalar value without decomposing this prediction into more elementary components. In this paper, we propose a white-box approach to predict performance indicators of running Process Instances. The key idea is to first predict the performance indicator at the level of activities, and then to aggregate these predictions at the level of a Process Instance by means of flow analysis techniques. The paper specifically develops this idea in the context of predicting the remaining cycle time of ongoing Process Instances. The proposed approach has been evaluated on four real-life event logs and compared against several baselines.

  • White-box prediction of Process performance indicators via flow analysis
    Proceedings of the 2017 International Conference on Software and System Process - ICSSP 2017, 2017
    Co-Authors: Ilya Verenich, Marcello La Rosa, Hoang Nguyen, Marlon Dumas
    Abstract:

    © 2017 ACM. Predictive business Process monitoring methods exploit historical Process execution logs to provide predictions about running Instances of a Process, which enable Process workers and managers to preempt performance issues or compliance violations. A number of approaches have been proposed to predict quantitative Process performance indicators, such as remaining cycle time, cost, or probability of deadline violation. However, these approaches adopt a black-box approach, insofar as they predict a single scalar value without decomposing this prediction into more elementary components. In this paper, we propose a white-box approach to predict performance indicators of running Process Instances. The key idea is to first predict the performance indicator at the level of activities, and then to aggregate these predictions at the level of a Process Instance by means of flow analysis techniques. The paper specifically develops this idea in the context of predicting the remaining cycle time of ongoing Process Instances. The proposed approach has been evaluated on four real-life event logs and compared against several baselines.

  • Caterpillar: A blockchain-based business Process management system
    CEUR Workshop Proceedings, 2017
    Co-Authors: Orlenys López-pintado, Luciano García-bañuelos, Marlon Dumas, Ingo Weber
    Abstract:

    This demonstration introduces Caterpillar, an open-source Business Process Management System (BPMS) that runs on top of the Ethereum blockchain. Like any BPMS, Caterpillar supports the creation of Instances of a Process model (captured in the Business Process Model and Notation – BPMN) and allows users to track the state of Process Instances and to execute tasks thereof. The specificity of Caterpillar is that the state of each Process Instance is maintained on the Ethereum blockchain, and the workflow routing is performed by smart contracts generated by a BPMN-to-Solidity compiler. The compiler supports a wide array of BPMN constructs, including user, script and service tasks, parallel and exclusive gateways, subProcesses, multi-Instance activities and event handlers. The target audience of this demonstration includes researchers in the area of business Process management and blockchain technology.

  • Tell me what’s ahead? Predicting remaining activity sequences of business Process Instances
    2016
    Co-Authors: Ilya Verenich, Marcello La Rosa, Marlon Dumas, Fabrizio Maria Maggi, Dmytro Chasovskyi, Andrii Rozumnyi
    Abstract:

    Predictive business Process monitoring is a family of techniques to determine how running Instances of a business Process are likely to unfold in the future. Techniques in this space differ according to their object of prediction. Some predict whether or not a running Process Instance will fulfill a compliance rule, others predict whether or not a given activity will occur, while others predict the remaining execution time. These and other predictive Process monitoring problems are subsumed by the problem of predicting the remaining sequence of activities of a given Process Instance. In this paper, we tackle this latter problem using two alternative approaches. In the first one, we statically construct a transition system from an event log of completed Process Instances and annotate each transition with a probability calculated using a k-nearest neighbors classifier. At runtime, we map the (incomplete) trace of a Process Instance to a state in the transition system. To predict the remaining activity sequence of a Process Instance, we calculate a highest-probability path starting from the current state. In the second approach, we treat the problem of activity sequence prediction as a structured output prediction problem and apply recurrent neural networks. The accuracy of the two proposed approaches is evaluated on real-life and synthetic datasets and compared against an existing baseline technique.

Stefan Schulte - One of the best experts on this subject based on the ideXlab platform.

  • Runtime verification for business Processes utilizing the Bitcoin blockchain
    Future Generation Computer Systems, 2017
    Co-Authors: Christoph Prybila, Christoph Hochreiner, Stefan Schulte, Ingo Weber
    Abstract:

    The usage of Process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business Process orchestration. In choreographies, control over a Process Instance is shared between independent parties, and no party has full control or knowledge during Process runtime. Nevertheless, it is necessary to monitor and verify Process Instances during runtime for purposes of documentation, accounting, or compensation.To achieve business Process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the Process participants. Furthermore, the prototype is evaluated in a performance analysis.

  • \href{http://www.sciencedirect.com/science/article/pii/S0167739X1731837X}{Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain}
    Future Generation Computer Systems, 2017
    Co-Authors: Christoph Prybila, Christoph Hochreiner, Stefan Schulte, Ingo Weber
    Abstract:

    The usage of Process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business Process orchestration. In choreographies, control over a Process Instance is shared between independent parties, and no party has full control or knowledge during Process runtime. Nevertheless, it is necessary to monitor and verify Process Instances during runtime for purposes of documentation, accounting, or compensation. To achieve business Process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the Process participants. Furthermore, the prototype is evaluated in a performance analysis.

Christoph Hochreiner - One of the best experts on this subject based on the ideXlab platform.

  • Runtime verification for business Processes utilizing the Bitcoin blockchain
    Future Generation Computer Systems, 2017
    Co-Authors: Christoph Prybila, Christoph Hochreiner, Stefan Schulte, Ingo Weber
    Abstract:

    The usage of Process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business Process orchestration. In choreographies, control over a Process Instance is shared between independent parties, and no party has full control or knowledge during Process runtime. Nevertheless, it is necessary to monitor and verify Process Instances during runtime for purposes of documentation, accounting, or compensation.To achieve business Process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the Process participants. Furthermore, the prototype is evaluated in a performance analysis.

  • \href{http://www.sciencedirect.com/science/article/pii/S0167739X1731837X}{Runtime Verification for Business Processes Utilizing the Bitcoin Blockchain}
    Future Generation Computer Systems, 2017
    Co-Authors: Christoph Prybila, Christoph Hochreiner, Stefan Schulte, Ingo Weber
    Abstract:

    The usage of Process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business Process orchestration. In choreographies, control over a Process Instance is shared between independent parties, and no party has full control or knowledge during Process runtime. Nevertheless, it is necessary to monitor and verify Process Instances during runtime for purposes of documentation, accounting, or compensation. To achieve business Process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the Process participants. Furthermore, the prototype is evaluated in a performance analysis.