A study on gradual extension of consistency-preserving interoperable regions based on bidirectional transformations

Research Project

Project/Area Number	24K14903
Research Category	Grant-in-Aid for Scientific Research (C)
Allocation Type	Multi-year Fund
Section	一般
Review Section	Basic Section 60050:Software-related
Research Institution	Hosei University
Principal Investigator	日高宗一郎法政大学, 情報科学部, 教授 (70321578)
Project Period (FY)	2024-04-01 – 2027-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000) Fiscal Year 2026: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000) Fiscal Year 2025: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000) Fiscal Year 2024: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Keywords	双方向変換 / 相互運用 / 同期 / 余スパン
Outline of Research at the Start	デジタルトランスフォーメーション等に代表されるシステムの再構築は、既に連携して運用されている情報システムの更新を必要とし、既存の連携における一貫性を保ったままの移行が必要とされる。しかし、相互に連携したシステムについて、ノード参入等に応じた全体の整合性の再達成は自明でなく、少しずつ同期範囲を拡大するアプローチが望まれる。本研究は、情報システムの漸進的頑強化に向けて、保証つき同期の構成要素として用いられる双方向変換の、利用形態に応じた合成による同期を中心とし、情報システムにおいて一貫性保持に関する一定の条件を満たす構成要素の割合を、無理なく漸進的にシステム全体に浸透させていく方式を開拓する。