文献

J-GLOBAL ID：202102276800340172   整理番号：21A1194234

ブロックチェーンベースの協調:スマート契約の表現力の評価【JST・京大機械翻訳】

Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts

著者 (4件)： Ciatto Giovanni (Department of Computer Science and Engineering, University of Bologna, 47521 Cesena, Italy) ,  Mariani Stefano (Department of Sciences and Methods of Engineering, University of Modena and Reggio Emilia, 42122 Reggio Emilia, Italy) ,  Maffi Alfredo (Mark One S.R.L., 47521 Cesena, Italy) ,  Omicini Andrea (Department of Computer Science and Engineering, University of Bologna, 47521 Cesena, Italy)
資料名： Information (Web)  (Information (Web))
巻： 11  号： 1  ページ： 52  発行年： 2020年 
JST資料番号： U7203A  ISSN： 2078-2489  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： スイス (CHE)  言語： 英語 (EN)

抄録/ポイント： ブロックチェーンスマート契約(SC)のための一般的使用事例は,相互作用のための規則を自動強制することによって,相互信頼されていないパーティ間の支配相互作用である。しかし,文献における多くの貢献はSC計算表現性を評価する一方で,協調(すなわち,支配相互作用)に関するそれらの電力の評価はまだ欠けている。これは,本論文では,ユーザ間とSC間活動の両者を協調する際に,それらの表現力を評価することにより,主流SC実装をテストする理由である。そうするために,著者らは,どの程度主流のブロックチェーン技術がその実装をサポートするかを論じるために,協調モデルおよび言語の分野におけるベンチマーク共通実践として,原型Linda協調モデルを利用した。それらがいくつかの注目すべき限界(特にSC間の協調)を明らかにするので,SCのより表現的概念を提供するカスタムブロックチェーン実装であるTenderfoneが,前述の限界に対処することを示した。Copyright 2021 The Author(s) All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *相互作用 ,  言語 ,  電力 ,  ベンチマーク
準シソーラス用語： 協調モデル ,  *ブロックチェーン , 【Automatic Indexing@JST】

著者キーワード (5件)： ブロックチェーン ,  スマート契約 ,  協調 ,  L<スパンスタイルボーイングフォント-バリアント:小キャップ”> ,  テンダーホン

分類 (3件)： 経営工学一般  (KA01010C) ,  物的流通  (KA08000O) ,  計算機網  (JC03000K)

引用文献 (33件)：

• Kim, H.M.; Laskowski, M. Toward an ontology-driven blockchain design for supply-chain provenance. Intell. Syst. Accounting Financ. Manag. 2018, 25, 18-27.
• Azaria, A.; Ekblaw, A.; Vieira, T.; Lippman, A. MedRec: Using Blockchain for Medical Data Access and Permission Management. In Proceedings of the 2nd International Conference on Open and Big Data (OBD 2016), Vienna, Austria, 22-24 August 2016; pp. 25-30.
• Chavez-Dreyfuss, G. Sweden tests blockchain technology for land registry. Reuters June 2016, 16. Available online: https://www.reuters.com/article/us-sweden-blockchain/sweden-tests-blockchain-technology-for-land-registry-idUSKCN0Z22KV (accessed on 16 January 2020).
• Wood, G. Ethereum: A secure decentralised generalised transaction ledger. Ethereum Proj. Yellow Pap. 2014, 151, 1-32.
• Szabo, N. Smart Contracts, 1994; Unpublished work. Ciatto, G.; Calegari, R.; Mariani, S.; Denti, E.; Omicini, A. From the Blockchain to Logic Programming and Back: Research Perspectives. In Proceedings of the WOA 2018-19th Workshop “From Objects to Agents”, Palermo, Italy, 28-29 June 2018.

タイトルに関連する用語 (5件)： ブロックチェーン ,  協調 ,  契約 ,  表現力 ,  評価