@article{oai:ipsj.ixsq.nii.ac.jp:00238219,
 author = {仲野, 祐希 and 日高, 宗一郎 and Yuki, Nakano and Soichiro, Hidaka},
 issue = {4},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {Aug},
 note = {双方向変換とは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と，競合した更新が最終結果に保持されていることを実験により確認した．, 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.},
 pages = {24--24},
 title = {双方向変換網における操作変換を用いたデータ更新競合解決手法},
 volume = {17},
 year = {2024}
}