K. Bhargavan, A. Delignat-lavaud, C. Fournet, A. Gollamudi, G. Gonthier et al., Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella-Béguelin. 2016. Formal Verification of Smart Contracts: Short Paper, 2016 ACM Workshop on Programming Languages and Analysis for Security (PLAS '16, pp.91-96

P. Chen, The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976.
DOI : 10.1145/320434.320440

T. T. , A. Dinh, J. Wang, G. Chen, R. Liu et al., BLOCKBENCH: A Framework for Analyzing Private Blockchains, Proceedings of the 2017 ACM International Conference on Management of Data (SIGMOD '17, pp.1085-1100, 2017.

S. Dziembowski, Introduction to Cryptocurrencies, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.1700-1701, 2015.
DOI : 10.1007/978-3-662-44381-1_24

R. Elmasri and S. Navathe, Fundamentals of Database Systems, 2010.

, Ethereum Foundation. 2014. Ethereum's white paper, 2014.

, Ethereum Foundation Solidity Documentation Release 0.4.18, 2017.

M. Fowler, UML Distilled: A Brief Guide to the Standard Object Modeling Language, 2003.

A. Hari and T. V. Lakshman, The Internet Blockchain, Proceedings of the 15th ACM Workshop on Hot Topics in Networks, HotNets '16, pp.204-210, 2016.
DOI : 10.1145/279227.279229

A. Juels, A. Kosba, and E. Shi, The Ring of Gyges, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS'16, pp.283-295, 2016.
DOI : 10.1007/3-540-49264-X_17

B. Leiding, P. Memarmoshrefi, and D. Hogrefe, Selfmanaged and Blockchain-based Vehicular Ad-hoc Networks, 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct (UbiComp '16, pp.137-140, 2016.

L. Luu, D. Chu, and H. Olickel, Prateek Saxena, and Aquinas Hobor Making Smart Contracts Smarter, CCS'2016 (ACM Conference on Computer and Communications Security, 2016.

L. Luu, J. Teutsch, R. Kulkarni, and P. Saxena, Demystifying Incentives in the Consensus Computer, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.706-719, 2015.
DOI : 10.1007/978-3-662-46803-6_10

S. Nakamoto, BitCoin: A peer-to-peer electronic cash system bitcoin.org [15] Object Management Group, Business Process Model And Notation, pp.11-12, 2009.

M. Object and . Group, Unified Modelling Language, pp.15-18, 2015.

O. Russell and . Connor, Simplicity: A New Language for Blockchains, Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security (PLAS '17, pp.107-120, 2017.

C. Ouyang, M. Dumas, M. P. Wil, A. H. Van-der-aalst, J. Hofstede et al., From business process models to process-oriented software systems, 37 pages, 2009.
DOI : 10.1145/1555392.1555395

S. Porru, A. Pinna, M. Marchesi, and R. Tonelli, Blockchain-Oriented Software Engineering: Challenges and New Directions, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp.169-171, 2017.
DOI : 10.1109/ICSE-C.2017.142

A. Silberschatz, H. Korth, and S. Sudarshan, Database Systems Concepts, 2011.

X. Xu, I. Weber, M. Staples, L. Zhu, J. Bosch et al., A Taxonomy of Blockchain-Based Systems for Architecture Design, 2017 IEEE International Conference on Software Architecture (ICSA), pp.243-252, 2017.
DOI : 10.1109/ICSA.2017.33