複数の双方向変換に対するデータ更新時の競合解決手法

• Item type: Trans(1)
• 公開日: 2021-09-30
• タイトル: 複数の双方向変換に対するデータ更新時の競合解決手法
• タイトル / 言語: en
• タイトル: Conflict Resolution for Data Update by Multiple Bidirectional Transformations
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [発表概要, Unrefereed Presentatin Abstract]
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 法政大学情報科学部
• 著者所属: 法政大学情報科学部
• 著者所属(英): en
• 著者所属(英): Faculty of Computer and Information Sciences, Hosei University
• 著者所属(英): en
• 著者所属(英): Faculty of Computer and Information Sciences, Hosei University
• 著者名: 土生, 樹也; 日高, 宗一郎
• 著者名(英): Mikiya, Habu; Soichiro, Hidaka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 双方向変換とは， 2つあるいはそれ以上の情報源の間でデータの一貫性を保ちつつ， 双方向の変換規則によって変更を伝播する仕組みのことである． 二方向の各々の変換につき， 一貫性を応用ごとにプログラマが保証することに比べて， 双方向変換は1つのプログラムを用意するだけでよい． また， 双方向変換が満たすべき一貫性の法則であるラウンドトリップ性は， 通常システムにより自動的に保証される． 今までの双方向変換は， 2つの情報源間でのデータ変換を想定したシステムが多く研究されてきたが， 近年では， 複数の双方向変換を扱うことで3つ以上のデータの一貫性を保つことや， 3つ以上の情報源の一貫性を保つための大きな枠組みとして多方向変換というものが考えられている． 本発表は，複数の双方向変換による更新伝播において， それらの更新内容の競合解決機能をあわせ持つ手法を提案する． 一般的な双方向変換はソースとビューが1対1の関係を持っているが， 本発表ではmputという新しい逆方向変換を提案し， ソースとビューが1対2の場合の関係を持たせることとした． mputは操作変換を応用したアルゴリズムを適用することにより， 2つのビューの更新内容が異なる場合においても， どちらの更新も考慮したデータ伝播を可能にする． この手法は，双方向変換言語の1つであるX言語のInv言語への埋め込みにおいて， Xの複製演算子Dupを拡張することで実現している． そして，X言語の特性であるGETPUTGET，PUTGETPUTと 操作変換の特性であるTP1を満たすことを確認している．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Bidirectional Transformation is a robust mechanism to propagate changes of data across the transformation while maintaining consistency between two or more data sources. Recently, systems that coordinate multiple bidirectional transformations have been proposed. However, conflicts when multiple bidirectional transformations update to the same source have not been well studied yet. In this presentation, I propose a new conflict resolution method for bidirectional transformations based on an algorithm of Operational Transformation. I apply the algorithm of Operational Transformation to the backward transformation of the tree duplication primitive Dup of an existing bidirectional transformation language X proposed by Hu et al. X had been shown, by embedding into Inv, which is capable of maintaining structured documents such as XML, to allow more flexible operations by Inv's bidirectionality-satisfying operations. Using this mechanism, I propose a new backward transformation function mput that can resolve conflicts between updates on two views. Also, in the implementation of mput, I propose a method that can simultaneously satisfy the properties GETPUTGET, PUTGETPUT, and TP1.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 14, 号 4, p. 6-6, 発行日 2021-09-30
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会