An Ontology for Smart Contracts
Bản thể luận cho hợp đồng thông minh
Bài viết này giới thiệu một bản thể luận cơ bản cố gắng nắm bắt các tính năng thiết yếu của nhiều hợp đồng thông minh, nhằm hỗ trợ lập luận chính thức về hành vi của chúng. Phần II cung cấp tổng quan chung về bản thể luận được đề xuất và Phần III đưa ra các phân tích về một số hợp đồng thông minh thú vị từ tài liệu, thông qua lăng kính của bản thể luận này. Các đề xuất ở đây không nhằm mục đích trở thành Một bản thể luận đúng duy nhất, mà là một bản thể luận hữu ích. Một Blockchain được thiết kế tốt sẽ có thể hỗ trợ các bản thể luận tùy ý như vậy.
Nguồn tài liệu tại đây
