15 基金项目 1.国家科技部重点研发计划（编号2018YFB1402702) 参考文献 [1]Varghese B,Buyya R.Next generation cloud computing:New trends and research directions.Future Generation Computer Systems, 2018(79):849-861 [2]Bibi S,Katsaros D,Bozanis P.Business application acquisition:On-premise or SaaS-based solutions?.IEEE Sofiware,2012,29(3): 86-93 [3]Chai Z G.Thoughts on Contract Law of Smart Contracts Under Blockchain.Social Sciences in Guangdong,2019(04):236-246 (柴振国.区块链下智能合约的合同法思考.广东社会科学，2019(04)：236-246) [4]Li R X.Research on the Application and Governance of Smart Contract in Financial Field.Lanhou Academic J,2020(06):85-94 (李瑞雪.智能合约在金融领域的应用及其治理研究.兰州学刊，2020(06)：85-94) [5]Raskin M.The law and legality of smart contracts.I Georgetown Law Technology Review,2017(2)305-341 [6]Zhu Y,Wang D.Chen E,et al.Smart Legal Contract and its Research Progress.Chin Jng.44:1- (王迪，朱岩，陈娥，等.智能法律合约及其研究进展.工程科学学报，https:://doi.org/10.3374issn2095-9389.2021.02.22.001) [7]Jamshidi P,Pahl C,Mendonca NC,et al.Microservices:The Journey So Far and Challenges Ahead.TEEE Sofhvare.2018,35(3):24-35 [8]Taibi,Davide,Josef Spillner,Konrad Wawruch.Serverless computing-where are we now,and where are we heading.IEEE Sofiware, 2020,38(1)25-31 [9]Zou J,Wang Y,Lin K-J.A formal service contract model for accountable saas and cloud services /Proceedings of 2010 IEEE International Conference on Services Computing.Washington,2010:73-80 [10]Zhu Y,Wang QS,Qin B H.Survey of blockchain technology and its advance Chin J Eng,.2019,41(11):1361-1373 (朱岩，王巧石，秦博涵，等.区块链技术及其研究进展.工程学岸报，2019,41(11少：1361-1373) [11]QING S H.TTP Roles in Electronic Commerce Protocols.J Sofiare,2003,14(11):1936-1943 (卿斯汉.电子商务协议中的可信第三方角色.软件学银，2003,4(11)：1936-1943) [12]Das D,Sahoo L,Datta S.A survey on recommendation system.International Journal of Computer Applications,2017,160(7):6-10 [13]Chinese Institute of Electronics,People's Republic of China.T/CHE 159-2020 Formal expression ofblockchain smart contract.Beijing: Standards Press of China.2021 (中国电子学会.T/CE159-2020区块链智能合约形式化表达.北京：中国标准出版社，2021) [14]Clack C D.Smart Contract Templates:legalsemantics and code validation.Journal of Digital Banking,2018,2(4):338-352 [15]Grigg I.The Ricardian contract.//Proceedings of Ist IEEE International Workshop on Electronic Contracting.San Diego,2004:25-31 [16]Zhang K.Hu Y.On the Applicatio of Smart Contract in the Framework of Contract Law.Administrarion and La.2020(03):108-116 (张可，胡悦.浅议《合同法不框采的智能合约适用问题.行政与法，2020(03)：108-116) [17]Hendriksen E S.Accounting Theor),R.D.Irwin,1970 [18]Cao HY,Falleri JR,and Blane X.Automated generation of RESTAPI specification from plain HTML documentation /Proceedings of International Conference on Service-Oriented Computing,Malaga,2017:453-461 [19]Chen JD.The Legal Structure of Smart Contract.Oriental Law,2019(3):18-29 (陈吉栋.智能约的法律构造.东方法学，2019(3)：18-29) [20]Zhu Y,Qin B,Chen E,et al.An Advanced Smart Contract Conversion and Its Design and Implementation for Auction Contract.Chin J Compu1er,2021,443):1-17 (朱岩，秦博涵，陈娥，刘国伟.一种高级智能合约转化方法及竞买合约设计与实现.计算机学报，2021,44(3)：1-17) [21]He X,Qin B,Zhu Y,et al.SPESC:A specification language for smart contracts /Proceedings of 2018 IEEE 42nd Annual computer software and applications conference (COMPSAC).Tokyo,2018,1:132-137. [22]Zhu Y,Song W,Wang D,et al.TA-SPESC:Toward Asset-Driven Smart Contract Language Supporting Ownership Transa ction and Rule-Based Generation on Blockchain.IEEE Transactions on Reliability,2021,70(3):1255-1270.15 基金项目 1. 国家科技部重点研发计划（编号 2018YFB1402702） 参考文献 [1] Varghese B, Buyya R. Next generation cloud computing: New trends and research directions. Future Generation Computer Systems, 2018(79): 849-861 [2] Bibi S, Katsaros D, Bozanis P. Business application acquisition: On-premise or SaaS-based solutions?. IEEE Software, 2012, 29(3): 86-93 [3] Chai Z G. Thoughts on Contract Law of Smart Contracts Under Blockchain. Social Sciences in Guangdong, 2019(04): 236-246 （柴振国. 区块链下智能合约的合同法思考. 广东社会科学, 2019(04): 236-246） [4] Li R X. Research on the Application and Governance of Smart Contract in Financial Field. Lanzhou Academic J, 2020(06): 85-94 （李瑞雪. 智能合约在金融领域的应用及其治理研究. 兰州学刊, 2020(06): 85-94） [5] Raskin M. The law and legality of smart contracts. 1 Georgetown Law Technology Review, 2017, 1(2), 305-341 [6] Zhu Y, Wang D, Chen E, et al. Smart Legal Contract and its Research Progress. Chin J Eng, 44: 1- （王迪,朱岩,陈娥,等. 智能法律合约及其研究进展. 工程科学学报, https: doi.org 10.13374 j.issn2095-9389.2021.02.22.001） [7] Jamshidi P, Pahl C, Mendonça N C, et al. Microservices:The Journey So Far and Challenges Ahead. IEEE Software.2018,35(3):24-35 [8] Taibi, Davide, Josef Spillner, Konrad Wawruch. Serverless computing-where are we now, and where are we heading. IEEE Software, 2020, 38(1): 25-31 [9] Zou J, Wang Y, Lin K-J. A formal service contract model for accountable saas and cloud services Proceedings of 2010 IEEE International Conference on Services Computing. Washington, 2010: 73-80 [10] Zhu Y, Wang Q S, Qin B H. Survey of blockchain technology and its advances. Chin J Eng, 2019, 41(11): 1361-1373 （朱岩, 王巧石, 秦博涵, 等. 区块链技术及其研究进展. 工程科学学报, 2019, 41(11): 1361-1373） [11] QING S H. TTP Roles in Electronic Commerce Protocols. J Software, 2003, 14(11): 1936-1943 （卿斯汉. 电子商务协议中的可信第三方角色. 软件学报, 2003, 14(11): 1936-1943） [12] Das D, Sahoo L, Datta S. A survey on recommendation system. International Journal of Computer Applications, 2017, 160(7): 6-10 [13] Chinese Institute of Electronics, People’s Republic of China. T CIE 159-2020 Formal expression of blockchain smart contract. Beijing: Standards Press of China, 2021 （中国电子学会. T CIE 159-2020 区块链智能合约形式化表达. 北京：中国标准出版社, 2021） [14] Clack C D. Smart Contract Templates: legal semantics and code validation. Journal of Digital Banking, 2018, 2(4): 338-352 [15] Grigg I. The Ricardian contract. Proceedings of 1st IEEE International Workshop on Electronic Contracting. San Diego,2004:25-31 [16] Zhang K, Hu Y. On the Application of Smart Contract in the Framework of Contract Law.Administration and Law. 2020(03):108-116 （张可, 胡悦. 浅议《合同法》框架下的智能合约适用问题. 行政与法, 2020(03): 108-116） [17] Hendriksen E S. Accounting Theory, R. D. Irwin, 1970 [18] Cao H Y, Falleri J R, and Blanc X. Automated generation of REST API specification from plain HTML documentation Proceedings of International Conference on Service-Oriented Computing, Malaga, 2017: 453-461 [19] Chen J D. The Legal Structure of Smart Contract. Oriental Law, 2019(3): 18-29 （陈吉栋. 智能合约的法律构造. 东方法学, 2019(3): 18-29） [20] Zhu Y, Qin B, Chen E, et al. An Advanced Smart Contract Conversion and Its Design and Implementation for Auction Contract. Chin J Computer, 2021, 44(3): 1-17 （朱岩, 秦博涵, 陈娥, 刘国伟. 一种高级智能合约转化方法及竞买合约设计与实现. 计算机学报, 2021, 44(3): 1-17） [21] He X, Qin B, Zhu Y, et al. SPESC: A specification language for smart contracts Proceedings of 2018 IEEE 42nd Annual computer software and applications conference (COMPSAC). Tokyo, 2018, 1: 132-137. [22] Zhu Y, Song W, Wang D, et al. TA-SPESC: Toward Asset-Driven Smart Contract Language Supporting Ownership Transa ction and Rule-Based Generation on Blockchain. IEEE Transactions on Reliability, 2021,70(3): 1255-1270. 录用稿件，非最终出版稿