Follow blockchain research across journals, conferences, and preprint repositories.
292 results · page 8 of 13
Natanael Yabes Wirawan, Bernardo Nugroho Yahya, Hyerim Bae
No abstract is available for this record.
Jerzy Kisielnicki, Marek Michal Markowski
Abstract The current, fast market changes require enterprises to dynamically adapt the way they conduct their business. This poses many challenges for information technology. Market requirements for immediate response to business changes became the basis of the idea of a real-time information processing (RTE) company. RTE provides real-time information to employees and business partners. Integrated IT systems supporting management constitute a common platform – the foundation of a real-time enterprise. The aim of the article is to present the basic problems of building an IT system that is the basis of a real-time information processing (RTE) company. It is a summary of our work on this type of system. The article justifies the thesis about the need to build a system for the RTE's requirements and the conditions of its implementation. Such a system is designed to provide employees and business partners with the information they need in real time. The use of integrated systems such as ERP, CRM, SCM, and so on provides the ability to implement the main business processes of a real-time enterprise. The article presents both literature analysis and the characteristics of own work on designing IT systems for RTE. Particular attention was paid to the analysis of success factors (determinants) in system design and the use of MUST methodology (MUST is a Danish acronym for theories of and methods for design activities). The final part of the article presents a proposal for further work on IT systems for RTE in the context of existing trends such as DARQ technology (Distributed Ledger, Artificial Intelligence, Extended Reality, Quantum computing).
Richard Hobeck, Christopher Klinkmüller, H. M. N. Dilum Bandara, Ingo Weber · 5 authors
No abstract is available for this record.
Vladimir Ivković, Ivan Luković
No abstract is available for this record.
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
No abstract is available for this record.
Mantas Jurgelaitis, Vaidotas Drungilas, Lina Čeponienė, Evaldas Vaičiukynas · 6 authors
No abstract is available for this record.
Cristian Gómez, Francisco Javier Pérez Blanco, Juan M. Vara, Valeria De Castro · 5 authors
Administrations are constantly making great efforts to cope with the right of citizens to high-quality e-Government services. Since the advent of blockchain and smart contracts, they are trying to incorporate these technologies into their service offerings, which results in a complex task due to their nature and their inherent complexity. On the other hand, business and business process modeling facilitates the understanding and agreement between the different parties involved in the design of e-government services. All this given, this work introduces a model-based proposal to ease the integration of smart contracts into e-government services.
Caroline Kiselev, Patrick Langenegger
No abstract is available for this record.
Yepeng Ding, Hiroyuki Satō
Decentralized systems have been widely developed and applied to address security and privacy issues in centralized systems, especially since the advancement of distributed ledger technology. However, it is challenging to ensure their correct functioning with respect to their designs and minimize the technical risk before the delivery. Although formal methods have made significant progress over the past decades, a feasible solution based on formal methods from a development process perspective has not been well developed. In this paper, we formulate an iterative and incremental development process, named formalism-driven development (FDD), for developing provably correct decentralized systems under the guidance of formal methods. We also present a framework named Seniz, to practicalize FDD with a new modeling language and scaffolds. Furthermore, we conduct case studies to demonstrate the effectiveness of FDD in practice with the support of Seniz.
Claudio A. Ardagna, Marco Anisetti, Barbara Carminati, Ernesto Damiani · 6 authors
Lack of trustworthiness is a major limit of microservice-based systems, where service composition is mainly driven by functional requirements. In this paper, we propose an approach where composite service certification meets blockchain, to support continuous and trustworthy verification of non-functional requirements. A certification process for composite services is then introduced at the basis of an audit process aiming to support certificates with stable properties. Trustworthiness is built on the blockchain, used as a platform for coordinating collaboration among involved parties such as service orchestrators, certification authorities, and auditors.
Sabrina Kirrane, Claudio Di Ciccio
Although Blockchain is still an emerging technology it has the potential to serve as a general purpose information technology platform. Already, smart contract / chaincode platforms, such as Ethereum and Hyperledger Fabric, provide support for the execution of arbitrary computations. However, the suitability of these platforms for specifying and enforcing data and service usage constraints (e.g., usage policies, regulatory obligations, societal norms) and providing guarantees with respect to conformance has yet to be determined. In order to address this gap, in this position paper we argue that symbolic artificial intelligence techniques in the form of semantic technology based policy languages and business process conformance tools and techniques, can together be used to provide guarantees with respect to the behaviour of autonomous smart contract / chaincode applications.
Nikola Malenčić
U ovom radu će biti predstavljene mogućnosti primene blokčejn tehnologije za podršku sistemima za glasanje i opisan razvoj jednog takvog sistema u vidu aplikacije na Ethereum blokčejn platformi. Aplikacija je implementirana na distribuiran i decentralizovan način kako bi se ispitale prednosti i mane softverskog rešenja ovog tipa.
Fredrik Milani, Luciano García‐Bañuelos, Hajo A. Reijers, Lilit Stepanyan
Blockchain has emerged as one of the most promising and revolutionary technologies in the past years. Companies are exploring use cases in the hope of reaping benefits from this technology. However, to achieve the desired impact, it is not sufficient to merely replace existing technologies. Current business processes must be redesigned to realize benefits. This paper shows how a number of best practices for Business Process Redesign can be applied to leverage blockchain technology. Specifically, we adapt these best practices for redesigning processes intended to execute on blockchain. We further explore their applicability using a case study. The major elements of process redesign for blockchain are: (1) changing the view from intra- to inter-organizational processes by using the shared data ledger of blockchain, (2) using smart contracts performers of tasks and connectors of processes, (3) using blockchain as means for data communication, and (4) using tokens to manage digitally represented assets.
Amina Brahem, Nizar Messaï, Yacine Sam, Sami Bhiri · 6 authors
Smart Contracts (SC for short) are gaining momentum as a suitable technology for ensuring trusted execution of Business Processes (BP for short) in open environment. Nevertheless, the transactional semantics of SC which follow ACID transactions are not appropriate for BP characteristics. Indeed, it is admitted that ACID transactions are limited to cope with complex control structure and long running execution of BP. Transactional Business Processes (TBP for short) have emerged as an extension to ACID models to overcome these limits. A TBP ensures transactional reliability of advanced transactions having a control structure as complex as for BP. In this paper, we propose an approach that builds on SC and extends them to implement TBP. We extend Caterpillar, an existing BP execution engine developed on top of Ethereum, to implement our approach and support the execution of TBP.
Hans-Georg Fill
While digital transformation is still a challenge for many companies when introducting digital technologies in existing processes and business models, digital ubiquity stands for the next step in digitalization. It characterizes the omnipresence of a large range of digital technologies, connectivity, and data as well as entirely digital organizations. This includes for example upcoming technologies such as distributed ledgers, artificial intelligence or augmented reality and according interfaces and data sources as well as decentralized apps and autonomous organizations. The challenge thus becomes to optimally deal with these opportunities and deploy them efficiently in business scenarios. In this paper we will investigate the role of enterprise modeling under this paradigm and how it can contribute to a well-structured, systematic understanding of complex digital phenomena for supporting business and technological decisions.
Markus Schinle, Christina Erler, Philip Nicolai Andris, Wilhelm Stork
The digitization of business processes makes it possible to automate and monitor their execution in real-time and thus to optimize them. However, for inter-organizational business processes the lack of trust and transparency between organizations makes it difficult to realize this potential. Distributed Ledger Technology addresses this issue by design, which makes it attractive as a platform for the execution of digitized inter-organizational business processes. In research, especially the mapping of standardized business process notations on smart contract definition languages is discussed recently, to ease the process development for different kinds of stakeholders. Within this work, we present an approach for the integration, execution and monitoring of modeled business processes based on Hyperledger Fabric’s chaincode. Our aim is the reduction of required knowledge about this framework for the integration of business processes in such systems. Therefore, we introduce a reverse translation approach to enable the monitoring of processes defined within a chaincode by providing BPMN 2.0 models, that specify business processes as graphical representations.
Orlenys López‐Pintado, Marlon Dumas, Luciano García‐Bañuelos, Ingo Weber
No abstract is available for this record.
Wattana Viriyasitavat, Li Da Xu, Zhuming Bi
With the fast development of information technologies, traditional value-added chain business models are shifting to service-based applications (SBAs) to cope with ever-changing user behaviors and the modern social system. An SBA allows an organization to utilize external and distributed resources to achieve its business goals, especially when the Internet of Thing (IoT) will soon become mainstream. However, the development of SBAs is at its early stage with a number of unsolved issues, such as the availability of effective methods for services selection and composition, semantic representation of specifications, and security assurances. This article aims to address two main issues in SBAs: 1) the standardization of formulation and 2) the security assurance. A systematic method is proposed to formulate the specifications of services, the prevalent blockchain technology (BCT) is adopted to enable SBAs, and the proposed specification patterns and BCT are integrated as a BCT-based quality-of-service (QoS) framework to support service selections and workflow compositions.
M. E. M. van Wingerde, Hans Weigand
Inter-organizational business processes require extensive information sharing between organizations. To acquire a holistic overview of an inter-organizational process, insight in both its control flow and data model is required. Business artifacts are a well-positioned mechanism to model these two dimensions. However, when business artifacts and their associated lifecycle and information models are shared between organizations, a single source of truth is preferred. To maintain such a single source without centralized administration, blockchain-based smart contracts may be used. We claim that an artifact-centric approach to business processes is well-suited for smart contract implementations. However, the conceptual relationship between business process artifacts and smart contracts has not yet been extensively analyzed. In this paper, we present a novel ontological analysis of artifact-centric processes managed by smart contracts. We adopt the method of enterprise ontology and regard an inter-organizational process as a set of causally related transactions in which the state of the lifecycle and associated data objects of business artifacts is transformed by sending messages to smart contracts. Our conceptual models are visualized in OntoUML, a modeling language based on the Unified Foundational Ontology.
Qinghua Lu, An Binh Tran, Ingo Weber, Hugo O'Connor · 9 authors
Abstract Blockchain has attracted broad interests to build decentralised applications. A typical class of applications uses blockchain for the management of cross‐organisational business processes as well as assets. However, developing such applications without introducing vulnerabilities is hard for developers, not the least because the deployed code is immutable and can be called by anyone with access to the network. Model‐driven engineering (MDE) helps to reduce those risks, by combining proven code snippets as per the model specification, which is easier to understand than source code. Therefore, in this article, we present an approach for integrated MDE across business processes and asset management (e.g., for settlement). Our approach includes methods for fungible/non‐fungible asset registration, escrow for conditional payment, and asset swap. The proposed MDE approach is implemented in a smart contract generation tool called Lorikeet, and evaluated in terms of feasibility, functional correctness, and cost effectiveness.
Thomas Osterland, Thomas Rose, Clemens Putschli
Distributed ledger technologies (DLT) enable new forms of business collaboration while the combination with smart contracts allows for an automation of business and collaboration processes. The immutability of DLT secures the execution of business processes. Hence, any process automation or resource management activities are tamper-proof. Yet, a widespread use can only takeoff, if business process experts can directly use this new form of technology, since business process experts are not necessarily programming experts. Thus, we argue for a high-level business process modeling to allow an application-oriented formulation of business collaboration. Hence it is important to research the instantiation and execution of business processes on DLTs, which are formulated in conventional notations.
Victor Amaral de Sousa, Corentin Burnay, Monique Snoeck
No abstract is available for this record.
Friedrich-Alexander-Universität Erlangen-Nürnberg, Lehrstuhl für Wirtschaftsinformatik, insb. im Dienstleistungsbereich, Nürnberg, Germany, Philipp Klinger, Freimut Bodendorf
Cross-organizational business processes involving multiple participants are choreographed, thus rely on mutual trust of collaborators or need to be coordinated by a central instance.Using Smart Contracts, business processes can be executed without a mutually trusted and centralized orchestrating authority.Former Blockchain-based execution framework proposals focus on orchestration diagrams as a basis for execution.Contrary, this work focuses on BPMN process collaboration diagrams as implementation basis and makes additional transformation steps obsolete.With the herein proposed framework for execution of cross-organizational process collaborations, another approach for the implementation and execution of interorganizational processes on a Blockchain is presented, including a voting mechanism for process deployment as well as a subscription service to facilitate process handovers between participants more efficiently.The framework is exemplified and evaluated with a use case from a large German industrial manufacturing company.
Friedrich-Alexander-Universität Erlangen-Nürnberg, Lehrstuhl für Wirtschaftsinformatik, insb. im Dienstleistungsbereich, Nürnberg, Germany, Moritz Schindelmann, Philipp Klinger, Freimut Bodendorf
Blockchain capabilities like Ethereum Smart Contracts offer great opportunities to manage cross-organizational business processes due to their trustless and tamperproof nature. However, communication in such processes poses a major issue since there is no direct option for one participating organization to inform other collaborators about their individual progress in their impersonation as a Smart Contract. As that knowledge is vital to execute a cross-organizational process, we design a Smart Contract architecture in which participants express their progress through Blockchain events. Furthermore, we implement a prototype that subscribes to the relevant events of one or more participants and reacts to their occurrence by triggering the subsequent step(s) of the process. Evaluation of the prototype and architecture shows that this does not only avoid unnecessary latency in process communication but also results in a fair cost distribution as each participant is only charged for the expenses of its individual actions.