A Study on interoperable bidirectional graph transformations (Fostering Joint International Research)
| Jazyk: | japonština |
|---|---|
| Rok vydání: | 2019 |
| Předmět: | |
| Zdroj: | 科学研究費助成事業 研究成果報告書. :1-5 |
| Popis: | 研究成果の概要 (和文) : 双方向変換は、モデル駆動開発に於いて下流での修正の上流への伝播を実現する枠組として期待されている。本研究は、単方向変換言語から双方向変換言語への部分翻訳に基づく部分双方向変換手法について、単方向変換言語処理系と双方向変換言語処理系の統合実行による統合処理系が全体としてラウンドトリップ性を示すための十分条件を証明し、実装を公開した。更に、上述の十分条件のうちのひとつである単方向変換言語の加法性について、query containmentと変換の間の包含関係との間の関係、包含関係がなす束、単調性と文脈を用いた加法性抽出法などをまとめた研究論文を国際会議で発表した。 研究成果の概要 (英文) : Bidirectional transformations are expected to play an important role in propagating changes upwards in model driven software development.In this project, we have proved the sufficient condition for the integrated execution of unidirectional transformation and bidirectional transformation has a round-trip property when the unidirectional transformation languages are partially bidirectionalized by partially translating unidirectional transformation languages to bidirectional transformation languages.With respect to the additivity of the unidirectional transformation language which is one of the above sufficient conditions, we have presented in an international conference the relationship between the notion of query containment and the containment relation between transformations, a lattice formed by the containment, how to extract the additivity through monotonicity and contexts. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|