Enterprise Architecture (EA) represents both business and Information Technology (IT) perspectives, which must be constantly updated in response to the transformations of the company; this update is difficult to achieve. The problem has been addressed on different fronts and there are still ways to explore, one of them is the blockchain technology, especially the way to extend the logic of smart contracts to the company. In this study the authors propose to implement a new type of operational processes activity through smart contracts, which could detect that, the process in which they are operating, has an unexpected behavior and, in turn, warn of possible needs to update the AE and the same smart contract.
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
Using Blockchain seems a promising approach for Business Process Reengineering (BPR) to alleviate trust issues among stakeholders, by providing decentralization, transparency, traceability, and immutability of information along with its business logic. However, little work seems to be available on utilizing Blockchain for supporting BPR in a systematic and rational way, potentially leading to disappointments and even doubts on the utility of Blockchain. In this paper, as ongoing research, we outline Fides - a framework for exploiting Blockchain towards enhancing the trustworthiness for BPR. Fides supports diagnosing trust issues with AS-IS business processes, exploring TO-BE business process alternatives using Blockchain, and selecting among the alternatives. A business process of a retail chain for a food supply chain is used throughout the paper to illustrate Fides concepts.
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.
Jul 1, 2018·2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)
Olivia Choudhury, Nolan Rudolph, Issa Sylla, Noor Fairoza · 5 authors
Smart contracts are essential in implementing and automating transactions in a blockchain network. The translation of existing business rules on transactions to a smart contract is challenging and time consuming. These types of constraints are often re-used among different contracts in a given application area. Automatic generation of smart contracts can reduce the level of expertise required for, along with the time and cost incurred in, specifying them. In this paper, we provide a novel framework for auto-generating smart contracts by enabling seamless translation of constraints encoded in a knowledge representation to blockchain requirements. Our framework uses ontologies and semantic rules to encode domain-specific knowledge and then leverages the structure of abstract syntax trees to incorporate the required constraints. We successfully demonstrate the functionality and effectiveness of our method in two different applications: translating eligibility criteria for clinical trials and car rentals.
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.
Vincenzo Scoca, Rafael Brundo Uriarte, Rocco De Nicola
A smart contract is the formalisation of an agreement, whose terms are automatically enforced by relying on a transaction protocol, while minimising the need of intermediaries. Such contracts not only specify the service and its quality but also the possible changes at runtime of the terms of agreement. Although smart contracts provide a great deal of flexibility, analysing their compatibility and reaching agreements with this level of dynamism is considerably more challenging, due to the freedom of clients and providers in formulating needs/offers. We introduce a formal language to specify interactions between offers and requests and present a methodology for the autonomous negotiation of smart contracts, which analyses the cost and the necessary changes for reaching an agreement. Moreover, we describe a set of experiments that provides insights on the relative cost of dynamism in negotiating smart contracts and compare the request/offer matching rates of our solution with related works.
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.
Distributed ledger technology, a method of storing and maintaining the integrity of multiple copies of critical data using a massively redundant network of participating machines, has found a “killer application” in blockchain, a type of distributed ledger. A blockchain consists of sequential blocks that may never be modified or reordered, leaving a public, auditable record that is consistent and highly resistant to tampering and deletion. These qualities make blockchain eminently suitable for its most common use, cryptocurrency, and its occasional variants in the form of cryptocurrency tokens, used to represent ownership or some other right to virtual or physical goods and capabilities. Blockchain also enables smart contracts, discrete bodies of software written to serve both as the memorial and the means of execution of an agreement between parties. Smart contracts can have all the elements of a traditional contract, and as jurisdictions legislate or jurists rule on the fine points of enforceability and the acceptability of smart contracts as traditional contracts, applications in nearly every area of commerce have emerged. Digital lawyers may not need to become software developers, but deepening their understanding of the capabilities and limitations of the technology, developing a keen awareness of the issues at the intersection between code and the law, as well as the law’s readiness in this area, will be of great advantage to them and their clients in this rapidly evolving area at the intersection of technology, commerce and law.
Luciano García‐Bañuelos, Alexander Ponomarev, Marlon Dumas, Ingo Weber
Blockchain technology enables the execution of collaborative business processes involving untrusted parties without requiring a central authority. Specifically, a process model comprising tasks performed by multiple parties can be coordinated via smart contracts operating on the blockchain. The consensus mechanism governing the blockchain thereby guarantees that the process model is followed by each party. However, the cost required for blockchain use is highly dependent on the volume of data recorded and the frequency of data updates by smart contracts. This paper proposes an optimized method for executing business processes on top of commodity blockchain technology. The paper presents a method for compiling a process model into a smart contract that encodes the preconditions for executing each task in the process using a space-optimized data structure. The method is empirically compared to a previously proposed baseline by replaying execution logs, including one from a real-life business process, and measuring resource consumption.