Enabling Collaborative Multi-Domain Applications: A Blockchain-Based Solution with Petri Net Workflow Modeling and Incentivization

The increasing value of data and the emergence of programmable infrastructures have paved the way for col-laborative multi-domain applications across industries such as healthcare and airlines. However, such collaborations come with significant challenges, including application coordination, incentivization, and validation of execution. In this paper, we propose a novel solution that leverages blockchain technology and utilizes Petri nets for workflow modeling. Our approach involves implementing a smart contract-based workflow coordinator on the blockchain and employing a three-layered architecture to coordinate off-chain tasks. Additionally, we demonstrate the use of Petri nets for modeling economy tokens, which serve as incentives to foster collaboration among workflow parties. To validate our solution, we present a proof of concept through a simulated use case involving a multi-domain workflow for mitigating a DDoS attack. In this use case, domains collaborate by blocking offending IPs, incentivized by acquired tokens required to invoke workflows.

[1]  I. Mavridis,et al.  Blockchain-Based Access Control in a Globalized Healthcare Provisioning Ecosystem , 2022, Electronics.

[2]  M. Conti,et al.  A survey and taxonomy of consensus protocols for blockchains , 2022, J. Syst. Archit..

[3]  F. Corradini,et al.  Engineering Trustable and Auditable Choreography-based Systems Using Blockchain , 2022, ACM Trans. Manag. Inf. Syst..

[4]  Jing Li,et al.  A survey of application research based on blockchain smart contract , 2022, Wireless Networks.

[5]  Atik Mahmud,et al.  Blockchain and smart contract for IoT enabled smart agriculture , 2021, PeerJ Comput. Sci..

[6]  Jian Zhu,et al.  Smart Contract Engineering , 2020, Electronics.

[7]  Xiaoxia Zhou Policy Enforcement for Secure and Trustworthy Data Sharing in Multi-domain Infrastructures , 2020, 2020 IEEE 14th International Conference on Big Data Science and Engineering (BigDataSE).

[8]  Barbara Carminati,et al.  Blockchain-based controlled information sharing in inter-organizational workflows , 2020, 2020 IEEE International Conference on Services Computing (SCC).

[9]  Shang-Wei Lin,et al.  A Survey of Smart Contract Formal Specification and Verification , 2020, ACM Comput. Surv..

[10]  Marco Ruffini,et al.  Collaborative Cyber Attack Defense in SDN Networks using Blockchain Technology , 2020, 2020 6th IEEE Conference on Network Softwarization (NetSoft).

[11]  Shuchih E. Chang,et al.  When Blockchain Meets Supply Chain: A Systematic Literature Review on Current Development and Potential Applications , 2020, IEEE Access.

[12]  Fabian Schär Decentralized Finance: On Blockchain- and Smart Contract-Based Financial Markets , 2020, Review.

[13]  Muhammad Imran,et al.  Perception layer security in Internet of Things , 2019, Future Gener. Comput. Syst..

[14]  Hong Li,et al.  Blockchain for Large-Scale Internet of Things Data Storage and Protection , 2019, IEEE Transactions on Services Computing.

[15]  Keshav Dahal,et al.  Supply Chain using Smart Contract: A Blockchain enabled model with Traceability and Ownership Management , 2019, 2019 9th International Conference on Cloud Computing, Data Science & Engineering (Confluence).

[16]  Xu Chen,et al.  Formal Verification of Smart Contracts from the Perspective of Concurrency , 2018, SmartBlock.

[17]  Barbara Carminati,et al.  Blockchain as a Platform for Secure Inter-Organizational Business Processes , 2018, 2018 IEEE 4th International Conference on Collaboration and Internet Computing (CIC).

[18]  Jorge Cuéllar,et al.  Workflow-Aware Security of Integrated Mobility Services , 2018, ESORICS.

[19]  Barbara Carminati,et al.  Confidential Business Process Execution on Blockchain , 2018, 2018 IEEE International Conference on Web Services (ICWS).

[20]  Karen Scarfone,et al.  Blockchain Technology Overview , 2018, ArXiv.

[21]  Aniol Llorente-Saguer,et al.  Get Rid of Unanimity Rule: The Superiority of Majority Rules with Veto Power , 2018, Journal of Political Economy.

[22]  Jonathan W. Ivy,et al.  Token Economy: A Systematic Review of Procedural Descriptions , 2017, Behavior modification.

[23]  Alin Deutsch,et al.  Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes , 2016, ICSOC.

[24]  Jan Mendling,et al.  Untrusted Business Process Monitoring and Execution Using Blockchain , 2016, BPM.

[25]  Salil S. Kanhere,et al.  Blockchain in internet of things: Challenges and Solutions , 2016, ArXiv.

[26]  Aggelos Kiayias,et al.  The Bitcoin Backbone Protocol: Analysis and Applications , 2015, EUROCRYPT.

[27]  Walburga Rödding,et al.  On the aggregation of preferences , 1978 .

[28]  Jorge Cuellar,et al.  Secure Smart Contract Generation Based on Petri Nets , 2020 .

[29]  Juan M. Corchado,et al.  Distributed e-health wide-world accounting ledger via blockchain , 2019, J. Intell. Fuzzy Syst..

[30]  Nick Szabo,et al.  Smart Contracts: Building Blocks for Digital Markets , 2018 .

[31]  Hiroki Watanabe,et al.  Blockchain contract: Securing a blockchain applied to smart contracts , 2016, 2016 IEEE International Conference on Consumer Electronics (ICCE).

[32]  S. Nakamoto,et al.  Bitcoin: A Peer-to-Peer Electronic Cash System , 2008 .

[33]  A. Kazdin The token economy : a review and evaluation , 1977 .

[34]  C. Petri Kommunikation mit Automaten , 1962 .