State synchronization in process-oriented chaincode

Lian Yu¹ &
Wei-Tek Tsai^2,3

118 Accesses
Explore all metrics

Abstract

Business processes often involve operational processes, contracts, and regulations. The modeling of such processes must address regulation monitoring and enforcement and maintain a reliable history of data for evidence. This study proposes modeling business processes as chaincode (CC) on permissioned blockchains (BCs). The challenges encountered by the proposed approach are state synchronizations among distributed nodes (called authnodes)and realtime requirements. This study separates CC executions from the state management of multiple BCs and demonstrates the validity of the proposed approach with a payment authorization system at a Chinese bank.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic

£29.99 /Month

Get 10 units per month
Download Article/Chapter or eBook
1 Unit = 1 Article or 1 Chapter
Cancel anytime

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Process Channels: A New Layer for Process Enactment Based on Blockchain State Channels

Runtime Monitoring Processes Across Blockchains

Interpreted and Confidential Execution of Process Choreographies on a Blockchain

References

Szabo N. Formalizing and securing relationships on public networks. First Monday, 1997, 2(9): 1–21
Article Google Scholar
Szabo N. A formal language for analyzing contracts. Satoshi Nakamoto Institute, 2002
Nakamoto S. Bitcoin: a peer-to-peer electronic cash system. Bitcoin Website, 2008
Buterin V. A next-generation generalized smart contract and decentralized application platform. White Paper, 2014
Eyal I, Sirer E G. Majority is not enough: Bitcoin mining is vulnerable. In: Proceedings of International Conference on Financial Cryptography and Data Security. 2014, 436–454
Garay J, Kiayias A, Leonardos N. The Bitcoin backbone protocol: analysis and applications. In: Proceedings of Annual International Conference on the Theory and Applications of Cryptographic Techniques. 2015, 281–310
Babaioff M, Dobzinski S, Oren S, Zohar A. On Bitcoin and red balloons. ACM SIGecom Exchanges, 2011, 10(3): 5–9
Article Google Scholar
Johnson B, Laszka A, Grossklags J, Vasek M, Moore T. Gametheoretic analysis of DDoS attacks against Bitcoin mining pools. In: Proceedings of International Conference on Financial Cryptography and Data Security. 2014, 72–86
Laszka A, Johnson B, Grossklags J. When Bitcoin mining pools run dry: a game-theoretic analysis of the long-term impact of attacks between mining pools. Financial Cryptography and Data Security, 2015: 63–77
Karame G, Androulaki E, Capkun S. Double-spending fast payments in Bitcoin. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security. 2012, 906–917
Rosenfeld M. Analysis of hashrate-based double-spending. 2014, arXiv preprint arXiv:1402.2009
Gervais A, Karame G O, Capkun S, Capkun V. Is Bitcoin a decentralized currency? IEEE Security & Privacy, 2014, 12(3): 54–60
Article Google Scholar
Kroll J A, Davey I C, Felten E W. The economics of Bitcoin mining, or Bitcoin in the presence of adversaries. In: Proceedings of the 12th Workshop on the Economics of Information Security. 2013
Laurie B. An efficient distributed currency. Practice, 2011, 100
Schwartz D, Youngs N, Britto A. The ripple protocol consensus algorithm. Ripple Labs Inc White Paper, 2014
Mazieres D. The stellar consensus protocol: a federated model for Internet-level consensus. Stellar Development Foundation, 2015
Bonneau J, Miller A, Clark J, Narayanan A, Kroll J A, Felten E W. Research perspectives and challenges forBitcoin and cryptocurrencies. In: Proceedings of the IEEE Symposium on Security and Privacy. 2015
Laurie B. Certificate transparency. Communication of ACM, 2014, 57(10): 40–46
Article Google Scholar
Tsai W T, Blower R, Zhu Y, Yu L. A system view of financial blockchains. In: Proceedings of IEEE Symposium on Service-Oriented System Engineering. 2016, 450–457
Tsai W T, Feng L, Zhang H, You Y, Wang L, Zhong Y. Intellectual-property blockchain-based protection model for microfilm. In: Proceedings of the 11th Symposium on Service-Oriented System Engineering. 2017, 174–178
Tapscott D, Tapscott A. Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World. Portfolio, 2016
Miller M S, Van Cutsem T, Tulloh B. Distributed electronic rights in JavaScript. In: Proceedings of the 22nd European Conference on Programming Languages and Systems. 2013, 1–20
Szabo N. Secure property titles with owner authority. Satoshi Nakamoto Institute, 1998
Smart Property. Bitcoin Wiki Website, 1994
Accesswire. Bitcoin descendant NXT features 100% new code, green mining, decentralized trading, more. Yahoo Finance, 2013
Treat D, McGraw L, Helbing C, Brodersen C. Blockchain technology: preparing for change. Accenture Website, 2017
Ross R. Smart money: blockchains are the future of the Internet. Newsweek, 2015
Wigan D. Bitcoin technology will disrupt derivatives, says banker. IFR Asia, 2015
Cassano J. What are smart contracts? Cryptocurrency’s Killer App. Fast Company Website, 2014
Ethereum Homestead. Create and deploy a contract. the Docs Website
van der Aalst W M P. Business process management demystified: a tutorial on models, systems and standards for workflow management. Lectures on Concurrency and Petri Nets, 2004, 21–58
Weske M. Business process management: concepts, languages, architectures. Springer-Verlag, 2007
van der Aalst W M P. Business process management: a comprehensive survey. ISRN Software Engineering, 2013, 1–37
Ream J, Chu Y, Schatsky D. Upgrading blockchains, smart contract use cases in industry. Retrieved December, 2016, 12: 2017
Google Scholar
BPMN specification, business process model and notation. NASA Technical Reports Server, 2005

Download references

Acknowledgements

The research was partially supported by the National Natural Science Foundation of China (Grant No. 61872011) and Ministry of Education-China Mobile (MCM20170406). The authors would also like to thank the anonymous reviewers for their invaluable comments. Guan-Nan Li, Cheng-Jian Hu, Ya-fei Yao, Zhi-Jian Li participated in the experiments.

Author information

Authors and Affiliations

School of Software & Microelectronics, Peking University, Beijing, 102600, China
Lian Yu
State Key Laboratory of Software Development Environment, School of Computer Science & Engineering, Beihang University, Beijing, 100191, China
Wei-Tek Tsai
Comp., Info., and Dec. Systems Engineering, Arizona State University, Tempe, AZ, 85287, USA
Wei-Tek Tsai

Authors

Lian Yu
View author publications
You can also search for this author in PubMed Google Scholar
Wei-Tek Tsai
View author publications
You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lian Yu.

Additional information

Lian Yu received the bachelor and master degrees from Tsinghua University, China in 1986 and 1989, respectively, and PhD degree in Information Science at Yokohama National University, Japan in 1999. She had worked as a researcher at Arizona State University, USA from 2000 to 2005. Dr. Yu is currently a full professor at the School of Software and Microelectronics, Peking University, China.

Wei-Tek Tsai received SB from Massachusetts Institute of Technology, master and PhD from University of California — Berkeley, USA and is a professor Emeritus from Arizona State University, USA. He is with Beihang University, China.

Electronic supplementary material