{"updated":"2025-01-19T08:39:30.845573+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00238219","sets":["934:935:11486:11700"]},"path":["11700"],"owner":"44499","recid":"238219","title":["双方向変換網における操作変換を用いたデータ更新競合解決手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-08-19"},"_buckets":{"deposit":"f050b85c-4cee-40a2-92b8-a133019e4ec4"},"_deposit":{"id":"238219","pid":{"type":"depid","value":"238219","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"双方向変換網における操作変換を用いたデータ更新競合解決手法","author_link":["652174","652175","652172","652173"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"双方向変換網における操作変換を用いたデータ更新競合解決手法"},{"subitem_title":"Operational Transformation-based Conflict Resolution for Data Updates in Bidirectional Transformation Network","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"[発表概要, Unrefereed Presentatin Abstract] ","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2024-08-19","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"法政大学情報科学研究科"},{"subitem_text_value":"法政大学情報科学部"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Computer and Information Sciences, Hosei University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Computer and Information Sciences, Hosei University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/238219/files/IPSJ-TPRO1704007.pdf","label":"IPSJ-TPRO1704007.pdf"},"date":[{"dateType":"Available","dateValue":"2026-08-19"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TPRO1704007.pdf","filesize":[{"value":"126.7 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"5"},{"tax":["include_tax"],"price":"0","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"3c03c009-85c8-446b-98c2-4b0aa6f22a08","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"仲野, 祐希"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"日高, 宗一郎"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yuki, Nakano","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Soichiro, Hidaka","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464814","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7802","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"双方向変換とは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と，競合した更新が最終結果に保持されていることを実験により確認した．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"24","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌プログラミング（PRO）"}],"bibliographicPageStart":"24","bibliographicIssueDates":{"bibliographicIssueDate":"2024-08-19","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicVolumeNumber":"17"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"created":"2025-01-19T01:41:19.013845+00:00","id":238219,"links":{}}