Nếu lấy tiêu chí là số dòng mã (LoC) trên smart contract cuối cùng để đưa ra tỉ lệ tự động hoá so với thủ công, dựa trên ví dụ hợp đồng cho thuê xe từ đầu báo cáo, tỉ lệ đó sẽ là27/110, tương đương khoảng 25% số dòng mã được tự động sinh ra.
Tuy nhiên, nên nhắc lại là mỗi smart contract mẫu phải tự định nghĩa có thể tái sử dụng lại trong trường hợp các giá trị của ràng buộc hay các tập luật thay đổi, mà không cần bất kỳ điều chỉnh thủ công nào để sinh ra smart contract hoàn chỉnh. Do đó, khả năng tái sử dụng các smart contract mẫu cũng là một ưu điểm của phương pháp.
43
6 Hướng phát triển & kết luận
Với tính ứng dụng ngày càng tăng cao của công nghệ blockchain trong nhiều lĩnh vực khác nhau, smart contract trở thành một giải pháp đầy hứa hẹn để đảm bảo tính minh bạch của việc thực thi các logic nghiệp vụ, đảm bảo tính toàn vẹn dữ liệu, cũng như tăng tính tương tác giữa các bên liên quan. Tuy nhiện, việc hiện thực các smart contract yêu cầu đầu tư về thời gian và kinh nghiệm chuyên môn. Đồng thời, các tính năng, cấu trúc cơ bản của smart contract có thể sử dụng ở nhiều trường hợp khác nhau trong cùng một lĩnh vực. Dựa trên các vấn đề trên, đề tài đưa ra phương pháp và hiện thực công cụ cho phép tự động sinh smart contract dựa trên các cơ sở tri thức của một lĩnh vực cụ thể. Xậy dựng các ontologies và các luật ngữ nghĩa thể hiện các tri thức về các ràng buộc; tận dụng cơ chế duyệt và thao tác trên AST để cập nhật tương ứng dựa trên các yêu cầu đặt ra. Việc định nghĩa các mẫu smart contract giúp giảm thời gian hiện thực cũng như tăng khả năng tái sử dụng, chỉ cần thay đổi chi tiết các ràng buộc, smart contract hoàn thiện sinh ra với các yêu cầu tương ứng thể hiện bởi các ràng buộc dựa trên cùng một mẫu smart contract và có thể triển khai trên mạng lưới blockchain Hyperledger Fabric mà không cần bất cứ can thiệp thủ công nào. Phương pháp cũng đã thể hiện tính ứng dụng trên dịch vụ cho thuê xe với các điều kiện về tuổi tác, trạng thái bằng lái xe, loại thẻ thanh toán để cho phép tạo hợp đồng cho thuê.
Phương pháp nghiên cứu sử dụng ngôn ngữ Golang trong quá trình hiện thực nhưng vẫn có thể triển khai trên các ngôn ngữ lập trình khác. Hay smart contract được triển khai giới hạn trên các private blockchain, cụ thể là Hyperledger Fabric, nhưng vẫn có thể mở rộng sang các nền tảng blockchain khác như Etherum với ngôn ngữ Solidity, NEO với JavaScript hay EOS với C++.
Các giới hạn về tập luật trong mô hình khái quát các hợp đồng dịch vụ có thể được mở rộng sang các Role khác như uses, owns, requests, ... bằng cách mở rộng cấu trúc ngữ pháp LL mà đề tài đã đề xuất; cải thiện bộ duyệt LL để chương trình đọc hiểu được các ràng buộc mới; cũng như phát triển bộ cập nhật AST để tương thích với các mẫu smart contract khác hỗ trợ các loại luật mới nêu trên.
Quá trình tự động hoá các hợp đồng nghiệp vụ bao gồm rất nhiều bước, cũng như có thể chia thành nhiều thành phần khác nhau để ứng dụng tính tự động hoá. Hướng tiếp cận hiện tại của đề tài yêu cầu đầu vào phải là các ontology và các luật ngữ nghĩa đã được dựng sẵn dựa trên miền tri thức nhất định. Trong tương lại, đề tài đề xuất tự sinh các luật cần thiết dựa trên các kỹ thuật phân tích ngôn ngữ tự nhiên. Hay hiện tại các smart contract phải được triển khai trên một mạng blockchain dựng sẵn, đề tài đề xuất quá trình tự động triển khai mạng lưới blockchain dựa trên một file cấu hình cho trước. Hai đề xuất trên là cách giúp cho quá trình tự động hoá các hợp đồng nghiệp vụ và ứng dụng blockchain giảm thiểu chi phí và thời gian, cũng như giảm bớt độ phức tạp trong quá trình áp dụng các giải pháp liên quan đến blockchain. Qua đó, đóng góp chung cho việc khuyến khích áp dụng công nghệ blockchain vào các lĩnh vực thiết thực và hữu ích.
44
7 Tài liệu tham khảo
[1] David Z. Morris, Tesla Could Deliver ‘Full Self-Driving’ Within Weeks November 20, 2019
[2] Steve Wilson, business.com writer,How Contract Automation Is Changing the Busi- ness World Dec 20, 2017
[3] Wikipedia contributors. (2019, December 11). Blockchain. In Wikipedia, The Free Encyclopedia. Retrieved 17:59, December 12, 2019, from https://en.wikipedia.
org/w/index.php?title=Blockchain&oldid=930295903.
[4] Trung-Viet Nguyen, Khuong Nguyen-An, Lam Son Le, Bo Dao - Leveraging Blockchain in Monitoring SLA-oriented Tourism Service Provisioning, Faculty of Computer Science & Engineering, HCMC University of Technology (VNU-HCM), Vietnam
[5] Governatori, G., Idelberger, F., Milosevic, Z. et al. Artif Intell Law (2018) 26:
377. On legal contracts, imperative and declarative smart contracts, and blockchain systems. https://doi.org/10.1007/s10506-018-9223-3
[6] Tan KL. (2009) Distributed Database Systems. In: LIU L., ¨OZSU M.T. (eds) Ency- clopedia of Database Systems. Springer, Boston, MA. https://doi.org/10.1007/
978-0-387-39940-9
[7] Choudhury, Olivia & Rudolph, Nolan & Sylla, Issa & Fairoza, Noor & Das, Amar.
(2018). Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules. 10.1109/Cybermatics_2018.2018.00183.
[8] Thomas R. Gruber. A Translation Approach to Portable Ontology Specifica- tions.Knowledge Acquisition, 5(2):199-220, 1993.
[9] D. L. McGuinness, F. Van Harmelen et al., “OWL web ontology language overview,”
W3C recommendation, vol. 10, no. 10, p. 2004, 2004.
[10] I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean et al., “SWRL: A semantic web rule language combining OWL and RuleML,” W3C Member submission, vol. 21, p. 79, 2004.
[11] Kim, Jaehyun & Lee, Yangsun. (2018). A Study on Abstract Syntax Tree for Development of a JavaScript Compiler. International Journal of Grid and Distributed Computing. 11. 37-48. 10.14257/ijgdc.2018.11.6.04.
[12] Zheng, Zibin & Xie, Shaoan & Dai, Hong-Ning & Chen, Xiangping & Wang, Huaimin. (2017). An Overview of Blockchain Technology: Architecture, Consensus, and Future Trends. 10.1109/BigDataCongress.2017.85.
[13] Jaramillo, Gloria. A Semantic Contract Model and Knowledge-driven Process for Supporting Controllability in Service-oriented Approaches. Diss. Université de Pau et des Pays de l’Adour, 2016.
45
[14] Wikipedia contributors. (2019, November 27). History of the web browser.
In Wikipedia, The Free Encyclopedia. Retrieved 17:58, December 12, 2019, from https://en.wikipedia.org/w/index.php?title=History_of_the_web_
browser&oldid=928183584.
[15] Blockchain and smart contract automation: How smart contracts automate digital business?, https://declara.com/content/YamDM4e5.
[16] OWL Web Ontology Language - Use Cases and Requirements, W3C Recommen- dation 10 February 2004, https://www.w3.org/TR/webont-req/#onto-def.
[17] OWL Web Ontology Language - Overview, W3C Recommendation 10 February 2004, https://www.w3.org/TR/2004/REC-owl-features-20040210/#s1.
[18] SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission 21 May 2004, https://www.w3.org/Submission/SWRL/#1.
[19] Wikipedia contributors. (2020, July 5). LL grammar. In Wikipedia, The Free En- cyclopedia. Retrieved 17:15, July 24, 2020, from https://en.wikipedia.org/w/
index.php?title=LL_grammar&oldid=966152948
[20] "SWRL: A Semantic Web Rule Language Combining OWL and RuleML".
www.w3.org. Retrieved 21 December 2017. https://www.w3.org/Submission/
SWRL/.
[21] "The SWRLAPI: A Development Environment for Working with SWRL Rules"
M.J. O’Connor, R.D. Shankar, C. Nyulas, A.K. Das, M.A. Musen. OWL: Experiences and Directions (OWLED), 4th International Workshop, Washington, D.C., U.S.A, 2008.
[22] The innovator’s Guide to picking the right Blockchain, Ben Wald and Bill Brock.
[23] In Search of an Understandable Consensus Algorithm (Extended Version), Diego Ongaro and John Ousterhout, Stanford University, https://raft.github.io/
raft.pdf.
[24] Hyperledger Architecture, Volume 1 - Introduction to Hyperledger Busi- ness Blockchain Design Philosophy and Consensus, Hyperledger, https:
//www.hyperledger.org/wp-content/uploads/2017/08/Hyperledger_Arch_
WG_Paper_1_Consensus.pdf.
[25] Nick Szabo - Smart Contracts: Building Blocks for Digital Markets, http://
www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/
LOTwinterschool2006/szabo.best.vwh.net/smart_contracts_2.html.
[26] Wikipedia contributors. (2019, September 5). LL grammar. In Wikipedia, The Free Encyclopedia. Retrieved 18:13, December 10, 2019, from https://en.wikipedia.
org/w/index.php?title=LL_grammar&oldid=914163888.
7/29/2020 grad.hcmut.edu.vn/hv/hv_print_llkh.php?hisid=
grad.hcmut.edu.vn/hv/hv_print_llkh.php?hisid= 1/2
ĐẠI HỌC QUỐC GIA TP.HCM TRƯỜNG ĐẠI HỌC BÁCH KHOA
CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúc
TÓM TẮT LÝ LỊCH KHOA HỌC
1. Bản thân
Họ và tên khai sinh: Phạm Thành Công Phái: Nam
Sinh ngày: 24/01/1994 Nơi sinh: Quảng Ngãi
Dân tộc: Kinh Tôn giáo: Không
Địa chỉ thường trú: Tịnh Châu, TP.Quảng Ngãi
Địa chỉ liên lạc: E13 Cư Xá Phú Thọ Hoà, P.10, Q.Tân Bình, TP.HCM Điện thoại: 0384745456 Email: cse.thanhcong@gmail.com
Nghề nghiệp, nơi làm việc: Kỹ Sư Phần Mềm, Công Ty Cổ Phần Công Nghệ & Ứng Dụng DSV Ngày vào Đoàn TNCS-HCM:
Ngày vào Đảng CSVN:
Diện chính sách:
2. Quá trình đào tạo a. ĐẠI HỌC
Tốt nghiệp Trường/Viện: Trường ĐH Bách Khoa - ĐHQG TP.HCM Ngành học: Khoa Học Máy Tính
Loại hình đào tạo: Chính quy
Thời gian đào tạo từ năm: 2012 đến năm: 2017 Xếp loại tốt nghiệp: Giỏi
b. SAU ĐẠI HỌC
Thực tập khoa học, kỹ thuật từ đến Tại Trường, Viện, Nước:
Nội dung thực tập:
Học cao học/làm NCS từ năm: đến năm: tại Chuyên ngành:
Ngày và nơi bảo vệ luận văn thạc sĩ: ,
3. Quá trình học tập và làm việc của bản thân (từ khi học đại học đến nay):
Từ Ngày Đến Ngày Học hoặc làm việc gì Ở đâu Thành tích học tập 06/01/2016 06/09/2016 Nhân viên lập trình Công ty TNHH Solazu