English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Currently, inter-organizational process collaboration (IOPC) has been widelyused in the design and development of distributed systems that support businessprocess execution. Blockchain-based IOPC can establish trusted data sharingamong participants, attracting more and more attention. The core of such studyis to translate the graphical model (e.g., BPMN) into program code called smartcontract that can be executed in the blockchain environment. In this context, aproper smart contract plays a vital role in the correct implementation ofblock-chain-based IOPC. In fact, the quality of graphical model affects thesmart con-tract generation. Problematic models (e.g., deadlock) will result inincorrect contracts (causing unexpected behaviours). To avoid this undesiredimplementation, this paper explores to generate smart contracts by using theverified formal model as input instead of graphical model. Specifically, weintroduce a prototype framework that supports the automatic generation of smartcontracts, providing an end-to-end solution from modeling, verification,translation to implementation. One of the cores of this framework is to providea CSP#-based formalization for the BPMN collaboration model from theperspective of message interaction. This formalization provides preciseexecution semantics and model verification for graphical models, and a verifiedformal model for smart contract generation. Another novelty is that itintroduces a syntax tree-based translation algorithm to directly map the formalmodel into a smart contract. The required formalism, verification andtranslation techniques are transparent to users without imposing additionalburdens. Finally, a set of experiments shows the effectiveness of theframework.

Smart Contract Generation for Inter-Organizational Process Collaboration