WEKO3
-
RootNode
アイテム
双方向変換網における操作変換を用いたデータ更新競合解決手法
https://ipsj.ixsq.nii.ac.jp/records/238219
https://ipsj.ixsq.nii.ac.jp/records/238219d692894e-9fdd-416c-9d3b-328fdafde44b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO1704007.pdf (126.7 kB)
2026年8月19日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥0, IPSJ:学会員：¥0, PRO:会員：¥0, DLIB:会員：¥0 | ||
| Item type | Trans(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-08-19 | |||||||||
| タイトル | ||||||||||
| タイトル | 双方向変換網における操作変換を用いたデータ更新競合解決手法 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Operational Transformation-based Conflict Resolution for Data Updates in Bidirectional Transformation Network | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | [発表概要, Unrefereed Presentatin Abstract] | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | journal article | |||||||||
| 著者所属 | ||||||||||
| 法政大学情報科学研究科 | ||||||||||
| 著者所属 | ||||||||||
| 法政大学情報科学部 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Computer and Information Sciences, Hosei University | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Faculty of Computer and Information Sciences, Hosei University | ||||||||||
| 著者名 |
仲野, 祐希
× 仲野, 祐希
× 日高, 宗一郎
|
|||||||||
| 著者名(英) |
Yuki, Nakano
× Yuki, Nakano
× Soichiro, Hidaka
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 双方向変換とは2つ以上の情報源の間で変換を介して一貫性を維持する仕組みである．多数の情報源間の同期は双方向変換を枝とする網構成で実現できるが，節点に伝播する複数の更新が競合する問題がある．土生らは操作変換を用いて解決しているが，2者のみの競合を仮定した合流性C1に基づいており，網構成に対応できない．3者以上ではC2も必要であるが，通常用いられる挿入，削除に基づく更新APIに追加のパラメータが必要となるため，通常のAPIが利用できない．通常のAPIで（したがってC2なしで）3者以上に対応するには，操作変換の合成に適切な制御が必要となる．本研究では，3つ以上のビューの更新内容を考慮した双方向変換を実現することを目的としつつ，通常の更新APIとC1のみを仮定し，分散台帳プラットフォームHyperledger Fabricの調停機能であるOrdererを用いて上述の制御を試みる．競合解決機能は複製機能を持つ双方向変換言語Xにおける複製結合子Dupを拡張し，その逆方向変換において，制御された操作変換による4-way merge（3つの更新された複製と複製元で計4つ）を行うことで実現する．本研究ではXMLに対する3つのビューを介した共同編集を想定した実装を行い，複製を含む双方向変換のwell-behavednessと，競合した更新が最終結果に保持されていることを実験により確認した． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Bidirectional transformation enables data synchronization between multiple sources, but handling multiple conflicting updates poses a challenge. Habu et al. solve this problem using an operational transformation, but it is based on the convergence property C1, which assumes that only two updates conflict. When a network of bidirectional transformations is used to synchronize more than two sources, more than two updates may conflict. In such cases, the convergence property C2 is also required. However, the normal API which is based on inserts and deletes, cannot be used since it necessitates an additional parameter to the update API. To ensure confluence with more than two updates for the normal API (and thus without C2), appropriate control is needed when operational transformations are composed. This study proposes a solution for handling multiple conflicting updates in a network of bidirectional transformations using controlled operational transformations. The extension of the duplicate primitive “Dup” enables a 4-way merge in its backward transformation. We use Orderer, a mediator of the distributed ledger platform Hyperledger Fabric, to achieve the aforementioned control. Our implementation assumes a collaborative editing for XML via three views and we confirmed through experiments the well-behavedness of the bidirectional transformation including duplicates and that update intentions were preserved in the final result. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA11464814 | |||||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 17, 号 4, p. 24-24, 発行日 2024-08-19 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 1882-7802 | |||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
