相互運用可能な双方向グラフ変換に関する研究（国際共同研究強化）

Material type: 文書・図像類

Author: 日高, 宗一郎

Publisher: -

Publication date: 2019-06-11

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: type:Working Paper研究成果の概要 (和文) : 双方向変換は、モデル駆動開発に於いて下流での修正の上流への伝播を実現する枠組として期待されている。本研究は、単方向変換言語から双方向変換言語への部分翻訳に基づく部分双方向変換手法について、単方向変換言語処理系と双方向変換言語処理系の統...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

HOSEI UNIVERSITY REPOSITORY
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
HOSEI UNIVERSITY REPOSITORY

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: 相互運用可能な双方向グラフ変換に関する研究（国際共同研究強化）
Author/Editor: 日高, 宗一郎
Author Heading: 日高, 宗一郎
Publication Date: 2019-06-11
Publication Date (W3CDTF): 2019-06-11
Alternative Title: A Study on interoperable bidirectional graph transformations (Fostering Joint International Research)
Periodical title: 科学研究費助成事業研究成果報告書
Pages: 1-5
Text Language Code: jpn
Subject Heading: 双方向変換
相互運用性
グラフ変換
モデル変換
プログラミング言語
プログラム変換
加法性
漸進的双方向化
Target Audience: 一般
Note (General): type:Working Paper
研究成果の概要 (和文) : 双方向変換は、モデル駆動開発に於いて下流での修正の上流への伝播を実現する枠組として期待されている。本研究は、単方向変換言語から双方向変換言語への部分翻訳に基づく部分双方向変換手法について、単方向変換言語処理系と双方向変換言語処理系の統合実行による統合処理系が全体としてラウンドトリップ性を示すための十分条件を証明し、実装を公開した。更に、上述の十分条件のうちのひとつである単方向変換言語の加法性について、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.
Source: https://hosei.ecats-library.jp//da/repository/00023351/19_kaken_15KK0017seika.pdf
https://hosei.ecats-library.jp//da/repository/00023351/19_kaken_15KK0017seika.pdf
Access Restrictions: 限定公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 法政大学 : 法政大学学術機関リポジトリ