We’ll see the same kind of Cambrian explosion we witnessed in the web world once we started using mutualized infrastructure in public clouds and frameworks. It took only three weeks to learn enough Ruby on Rails and Heroku to push out the first version of a management system for that brokerage. And that’s because I had to think only about the models, the views, and the controllers. The hardest part, of course, had to do with building a secure wallet.
This article discusses the possibility of validating the results of the work of the process mining algorithms using consensus algorithms of distributed ledger technology.
Abstract Blockchain technology provides basic building blocks to support the execution of collaborative business processes involving mutually untrusted parties in a decentralized environment. Several research proposals have demonstrated the feasibility of designing blockchain-based collaborative business processes using a high-level notation, such as the Business Process Model and Notation (BPMN), and thereon automatically generating the code artifacts required to execute these processes on a blockchain platform. In this paper, we present the conceptual foundations of model-driven approaches for blockchain-based collaborative process execution and we compare two concrete approaches, namely Caterpillar and Lorikeet.
Blockchain technology is argued to have the potential to facilitate the development and improvement of cross-organizational business processes, on various aspects of the business process management discipline. In this paper, we review existing work on the use of blockchain technology to support business processes with a focus on cross-organizational settings. Based on this, we suggest to view blockchain as a software connector helping organizations to integrate the IT systems they use to support business processes. In addition, this paper suggests to use a model-driven engineering approach for the development of such connectors. By doing so, the need to develop a methodology helping to model and implement blockchain-based software connectors supporting cross-organizational business processes is highlighted. By adopting such an approach, organizations would be able to facilitate and speed up the development of blockchain-based solutions. This in turn would facilitate experimentations with this technology, which is considered as an important phase for organizations to derive value from it.
N. Sánchez-Gómez, L. Morales-Trujillo, Jesús Torres Valderrama
Immutability - the ability for a Blockchain (BC) Ledger to remain an unalterable, permanent and indelible \nhistory of transactions - is a feature that is highlighted as a key benefit of BC. This ability is very important \nwhen several companies work collaboratively to achieve common objectives. This collaboration is usually \nrepresented by using business process models. BC is considered as a suitable technology to reduce the \ncomplexity of designing these collaborative processes using Smart Contracts. This paper discusses how to \ncombine Model-based Software Development, modelling techniques, such as use cases models and activity \ndiagram models based on Unified Model Languages (UML) in order to simplify and improve the modelling, \nmanagement and execution of collaborative business processes between multiple companies in the BC \nnetwork. This paper includes the neccessity of using transformation protocols to obtain Smart Contract code. \nIn addition, it presents systematic mechanisms to evaluate and validate Smart Contract, applying early testing \ntechniques, before deploying the Smart Contract code in the BC network.
Smart contracts are self-executing contracts defining rules for negotiating, verifying the fulfillment of rules and executing the agreement using formal code. They run on top of a blockchain. Errors in smart contracts are costly and are mostly found too late after execution, which is too late for fixing. To improve the validation of executed smart contracts, this paper suggests a process mining based approach. For this, we present an approach for the extraction of meaningful event logs from a blockchain. The event log can be imported in any process mining tool and validation and verification techniques can be used allowing to diagnose (non)conformity in smart contracts by means of common quality measures and with low latency after smart contract execution.
Intelligent Cyber-physical systems can be modelled as multi-agent systems\nwith planning capability to impart adaptivity for changing contexts. In such\nmulti-agent systems, the protocol for plan execution must result in the proper\ncompletion and ordering of actions in spite of their distributed execution.\nHowever, in untrusted scenarios, there is a possibility of agents not\nrespecting the protocol either due to faults or due to malicious reasons\nthereby resulting in plan failure. In order to prevent such situations, we\npropose to implement the execution of agents through smart contracts. This\npoints to a generic architecture seamlessly integrating intelligent\nplanning-based CPS and smart-contracts.\n
Blockchain technology enables the execution of collaborative business processes involving mutually untrusted parties. Existing platforms allow such processes to be modeled using high-level notations and compiled into smart contracts that can be deployed on blockchain platforms. However, these platforms brush aside the question of who is allowed to execute which tasks in the process, either by deferring the question altogether or by adopting a static approach where all actors are bound to roles upon process instantiation. Yet, a key advantage of blockchains is their ability to support dynamic sets of actors. This paper presents a model for dynamic binding of actors to roles in collaborative processes and an associated binding policy specification language. The proposed language is endowed with a Petri net semantics, thus enabling policy consistency verification. The paper also outlines an approach to compile policy specifications into smart contracts for enforcement. An experimental evaluation shows that the cost of policy enforcement increases linearly with the number of roles and constraints.
Blockchain platforms, such as Ethereum, allow a set of actors to maintain a ledger of transactions without relying on a central authority and to deploy scripts, called smart contracts, that are executed whenever certain transactions occur. These features can be used as basic building blocks for executing collaborative business processes between mutually untrusting parties. However, implementing business processes using the low-level primitives provided by blockchain platforms is cumbersome and error-prone. In contrast, established business process management systems, such as those based on the standard Business Process Model and Notation (BPMN), provide convenient abstractions for rapid development of process-oriented applications. This article demonstrates how to combine the advantages of a business process management system with those of a blockchain platform. The article introduces a blockchain-based BPMN execution engine, namely Caterpillar. Like any BPMN execution engine, Caterpillar supports the creation of instances of a process model and allows users to monitor 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 Caterpillar compiler supports a large array of BPMN constructs, including subprocesses, multi-instances activities and event handlers. The paper describes the architecture of Caterpillar, and the interfaces it provides to support the monitoring of process instances, the allocation and execution of work items, and the execution of service tasks.
Blockchain platforms, such as Ethereum, allow a set of actors to maintain a\nledger of transactions without relying on a central authority and to deploy\nscripts, called smart contracts, that are executed whenever certain\ntransactions occur. These features can be used as basic building blocks for\nexecuting collaborative business processes between mutually untrusting parties.\nHowever, implementing business processes using the low-level primitives\nprovided by blockchain platforms is cumbersome and error-prone. In contrast,\nestablished business process management systems, such as those based on the\nstandard Business Process Model and Notation (BPMN), provide convenient\nabstractions for rapid development of process-oriented applications. This\narticle demonstrates how to combine the advantages of a business process\nmanagement system with those of a blockchain platform. The article introduces a\nblockchain-based BPMN execution engine, namely Caterpillar. Like any BPMN\nexecution engine, Caterpillar supports the creation of instances of a process\nmodel and allows users to monitor the state of process instances and to execute\ntasks thereof. The specificity of Caterpillar is that the state of each process\ninstance is maintained on the (Ethereum) blockchain and the workflow routing is\nperformed by smart contracts generated by a BPMN-to-Solidity compiler. The\nCaterpillar compiler supports a large array of BPMN constructs, including\nsubprocesses, multi-instances activities and event handlers. The paper\ndescribes the architecture of Caterpillar, and the interfaces it provides to\nsupport the monitoring of process instances, the allocation and execution of\nwork items, and the execution of service tasks.\n
Many studies have been done to improve the performance of centrally controlled business processes and enhance the integration between different parties of these collaborations. However, the most serious issues of collaborative business processes remained unsolved in these studies - lack of trust and divided data on various confidential ledgers. Blockchain technology has enormous potential to become a new substantial integration method for untrusted collaborative businesses. Using the governing consensus mechanism, blockchain eliminates the necessity of the trusted third party. It provides a distributed shared ledger which facilitates the job of the process monitoring for the parties. The smart contract, as a crucial tool, is used to define the guaranteed autonomous programs. In addition, the privacy of the data can be ensured by using a permissioned blockchain that handles the access control because, in this way, only verifiable participants can have access to the state of the business process and its related information. In this study, the applicability of execution of a real-world untrusted business process on the permissioned blockchain is investigated. Moreover, we determine the advantages of using the permissioned access-controller blockchain as the infrastructure for the collaborative business processes, through implementing the process of Order Processing on the Hyperledger Fabric blockchain platform.
For supporting the conceptualization and the management of enterprise models in a decentralized manner, this paper introduces an approach based on model versioning and blockchain technologies. The main contribution is twofold, consisting of a., the creation of models for inter-organizational business processes in a decentralized environment, and b., means for tracking process instances using meta-data at run time. Models for business processes, workflows, and instance states are collaboratively created as part of a decentralized architecture. Based on this approach, a hierarchical versioning and modeling approach is employed in order to create and manage public and private models in a transactional fashion. For forming relationships among decentralized participants, semi-formal models linked to a blockchain are suggested. The approach is evaluated with a supply chain use case and demonstrated in an implemented modeling tool.
Jan 1, 2018·Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences
The concept of blockchain technology has gained significant momentum in practice and research in the past few years, as it provides an effective way for addressing the issues of anonymity and traceability in distributed scenarios with multiple parties, which have to exchange information and want to securely collaborate with each other. However, up-to-date, the impact of the structure and setup of business networks on successfully applying blockchain technology, remains largely unexplored. We propose a model-driven approach, combining an ontology and a layer model, that is capable of capturing the properties of existing blockchain-driven business networks. The layers are used to facilitate the comprehensive description of such networks. We also introduce the Blockchain Business Network Ontology (BBO), formalizing the concepts and properties for describing the integral parts of a blockchain network. We show the practical applicability of our work by evaluating and applying it to an available blockchain use case.
We present a proof of concept implementation of an integration strategy for connecting CAD with Blockchain. We explain the components of most blockchains and the value they bring to the built environment ecosystem, the potential impact a complete integration might have and we demonstrate the first two of four levels of integration we have identified between CAD and blockchain technologies. For the purposes of the paper we use Rhino / Grasshopper and Ethereum as the two components of integration.
Jan 1, 2018·Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences
Gilbert Fridgen, Sven Radszuwill, Nils Urbach, Lena Utz
Bringing Blockchain technology and business process management together, we follow the Design Science Research approach and design, implement, and evaluate a Blockchain prototype for cross-organizational workflow management together with a German bank. For the use case of a documentary letter of credit we describe the status quo of the process, identify areas of improvement, implement a Blockchain solution, and compare both workflows. The prototype illustrates that the process, as of today paper-based and with high manual effort, can be significantly improved. Our research reveals that a tamper-proof process history for improved auditability, automation of manual process steps and the decentralized nature of the system can be major advantages of a Blockchain solution for cross-organizational workflow management. Further, our research provides insights how Blockchain technology can be used for business process management in general.
Jan Mendling, Gero Decker, Richard Hull, Hajo A. Reijers · 5 authors
This paper summarizes a panel discussion at the 15th International Conference on Business Process Management. The panel discussed to what extent the emergence of recent technologies including machine learning, robotic process automation, and blockchain will reduce the human factor in business process management. The panel discussion took place on 14 September, 2017, at the Universitat Politècnica de Catalunya in Barcelona, Spain. Jan Mendling served as a chair; Gero Decker, Richard Hull, Hajo Reijers, and Ingo Weber participated as panelists. The discussions emphasized the impact of emerging technologies at the task level and the coordination level. The major challenges that the panel identified relate to employment, technology acceptance, ethics, customer experience, job design, social integration, and regulation.
Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance of these contracts must be enforceable in law and there is an absolute requirement that the smart contract will be faithful to the intentions of the parties as expressed in the original legal documentation. Formal methods provide an attractive route for validation and assurance, and here we present early results from an investigation of the semantics of industry-standard legal documentation for OTC derivatives. We explain the need for a formal representation that combines temporal, deontic and operational aspects, and focus on the requirements for the temporal aspects as derived from the legal text. The relevance of this work extends beyond OTC derivatives and is applicable to understanding the temporal semantics of a wide range of legal documentation.
This paper reports on the development and verification of a novel formal symbolic process virtual machine (FSPVM) for verifying the reliability and security of Ethereum smart contracts, denoted as FSPVM-E, completely in Coq proof assistant. It adopts execution-verification isomorphism (EVI), an extension of Curry-Howard isomorphism (CHI), as its fundamental theoretical framework. The current version of FSPVM-E is constructed on a general, extensible, and reusable formal memory (GERM) framework, an extensible and universal formal intermediate programming language Lolisa, which is a large subset of the Solidity programming language using generalized algebraic datatypes, and the corresponding formally verified interpreter of Lolisa, denoted as FEther. It supports the ERC20 standard and can automatically simultaneously symbolically execute the smart contract programs of Ethereum and verify their reliability and security properties using Hoare logic in Coq. In addition, this work, contributes to solving the problems of automation, inconsistency and reusability in higher-order logic theorem proving.
Adam Watson, Regis Rukundakuvaga, Khachatur Matevosyan
Automated Case Management Systems are still at an early stage of adoption in many developing countries. These are frequently standalone systems implemented with donor financing, and they often fail due to capacity constraints or as a consequence of short-term, project-based funding. But there are examples of developing countries overcoming these pitfalls and producing innovative solutions that surpass government practices in more developed countries. The Integrated Electronic Case Management System (IECMS), developed and implemented by the Ministry of Justice of Rwanda from 2015-2016, is one such innovation. This system has progressed rapidly in its level of adoption and integration between law enforcement, the prosecutor’s office, courts, and corrections. This paper will discuss the key system functionalities and the implementation methodology, including both the benefits and shortcomings of this approach, with the goal of applying lessons learned in future installations. Foremost among the successes of this project were the integrated Sector Wide Approach, the thorough business process re-engineering, and strong ownership by the Rwandan Justice Sector staff. Particularly instructive will be the analysis of the integrated approach, covering five institutions with a single system in less than two years. However, the particular success in this case may not be replicable for governments with a more decentralized approach.
Christoph Prybila, Stefan Schulte, Christoph Hochreiner, Ingo Weber
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.
Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke · 32 authors
Blockchain technology offers a sizable promise to rethink the way interorganizational business processes are managed because of its potential to realize execution without a central party serving as a single point of trust (and failure). To stimulate research on this promise and the limits thereof, in this article, we outline the challenges and opportunities of blockchain for business process management (BPM). We first reflect how blockchains could be used in the context of the established BPM lifecycle and second how they might become relevant beyond. We conclude our discourse with a summary of seven research directions for investigating the application of blockchain technology in the context of BPM.