[论文解读] Towards an Ontology-Driven Blockchain Design for Supply Chain Provenance

Henry Kim, Marek Laskowski|arXiv (Cornell University)|Aug 28, 2016

Food Supply Chain Traceability参考文献 8被引用 6

一句话总结

本文提出一种基于本体的区块链设计，通过将领域特定本体与以太坊区块链上的智能合约相结合，以增强供应链溯源能力。它展示了如何将形式化本体中的可追溯性约束转化为可执行的智能合约，从而实现在复杂供应链中对实物商品进行自动化、可验证和透明的追踪。

ABSTRACT

An interesting research problem in our age of Big Data is that of determining provenance. Granular evaluation of provenance of physical goods--e.g. tracking ingredients of a pharmaceutical or demonstrating authenticity of luxury goods--has often not been possible with today's items that are produced and transported in complex, inter-organizational, often internationally-spanning supply chains. Recent adoption of Internet of Things and Blockchain technologies give promise at better supply chain provenance. We are particularly interested in the blockchain as many favoured use cases of blockchain are for provenance tracking. We are also interested in applying ontologies as there has been some work done on knowledge provenance, traceability, and food provenance using ontologies. In this paper, we make a case for why ontologies can contribute to blockchain design. To support this case, we analyze a traceability ontology and translate some of its representations to smart contracts that execute a provenance trace and enforce traceability constraints on the Ethereum blockchain platform.

研究动机与目标

• 解决复杂、多组织供应链中细粒度、可信溯源追踪的挑战。
• 克服现有系统在跨国网络中追踪药品或奢侈品等实物商品时的局限性。
• 将语义本体与区块链技术集成，以形式化并强制执行可追溯性约束。
• 证明将基于本体的可追溯性规则转化为以太坊上可执行智能合约的可行性。
• 为供应链管理中可扩展、互操作且语义丰富的溯源系统提供基础。

提出的方法

• 分析现有可追溯性本体，提取用于追踪商品在供应链各阶段的正式规则。
• 将本体概念及其关系（例如，'由...生产'、'转移至'、'由...验证'）映射为智能合约的逻辑条件。
• 在以太坊区块链平台实现转换后的规则作为智能合约。
• 使用形式逻辑和语义建模，确保代码中可追溯性约束的一致性和正确性。
• 通过在以太坊网络上执行生成的智能合约的溯源追踪工作流，验证该方法。
• 利用区块链原生特性确保数据不可篡改和可审计性，同时通过本体保持语义表达力。

实验结果

研究问题

• RQ1 如何将领域特定本体正式映射到基于区块链的智能合约，以实现自动化溯源追踪？
• RQ2 供应链中哪些关键可追溯性约束可以通过智能合约编码并强制执行？
• RQ3 语义本体在多大程度上能增强基于区块链的溯源系统的表达力和可验证性？
• RQ4 本体与区块链的集成能否支持端到端、可审计且互操作的供应链可追溯性？
• RQ5 将语义规则转化为可执行的区块链逻辑时，面临哪些技术和架构挑战？

主要发现

• 该研究成功地将一个形式化的可追溯性本体转换为以太坊区块链上的可执行智能合约。
• 所构建的系统能够自动强制执行溯源约束，例如有效的转移序列和授权处理阶段。
• 通过本体进行语义建模增强了基于区块链的溯源记录的表达力和可审计性。
• 该集成实现了跨组织边界的可验证、不可篡改且机器可检查的供应链追踪。
• 该方法在药品和奢侈品等高风险领域具备实际部署的可行性。
• 该方法通过基于标准化语义模型的溯源逻辑，支持互操作性，减少了数据交换中的歧义。