• 検索結果がありません。

On the Construction of Translation in Partial Bidirectionalization

N/A
N/A
Protected

Academic year: 2021

シェア "On the Construction of Translation in Partial Bidirectionalization"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)IPSJ Transactions on Programming Vol.11 No.2 26 (June 2018). Abstract. On the Construction of Translation in Partial Bidirectionalization Soichiro Hidaka1,a). Massimo Tisi2. Presented: November 2, 2017. Bidirectional transformation (BX) has been extensively studied across different disciplines such as databases, software engineering, programming languages and graph transfrormations, as the potential applications of synchronizing various data sources are ubiquitous. While many natively bidirectional transformation languages are proposed, bidirectionalizing unidirectional transformation (UX) languages would facilitate seamless transitions from unidirectional to bidirectional transformation, especially from programmers’ perspective. In our previous work, we have proposed a general framework of partially translating UX languages to BX ones to fully maintain the expressive power of the UX languages while allowing backpropagable updates on a part of target models. However, alignment of UX and BX languages is far from trivial. In particular, how to come up with such translation was not systematically discussed. In this presentation, by making use of modularity of source and target languages which we formalized as additivity in our another previous work, we propose a systematic approach to constructing partial translation. In an additive transformation language, sequences of language constructs at different level of well-defined syntactic hierarchy in a transformation can be shorten to produce smaller outputs. Once such properties are exploited in both source and target languages, translator can be naturally constructed by following such syntactic structures. Monoid structures in both languages are utilized in such construction.. 1 2 a). Faculty of Computer and Information Sciences, Hosei University, Koganei, Tokyo 184–8584, Japan IMT Atlantique, Department of Automatic Control and Production Systems and IT, IMT Atlantique, Nantes, Loire-Atlantique 44307 France [email protected]. c 2018 Information Processing Society of Japan . 26.

(2)

参照

関連したドキュメント

We use these to show that a segmentation approach to the EIT inverse problem has a unique solution in a suitable space using a fixed point

Here we do not consider the case where the discontinuity curve is the conic (DL), because first in [11, 13] it was proved that discontinuous piecewise linear differential

The commutative case is treated in chapter I, where we recall the notions of a privileged exponent of a polynomial or a power series with respect to a convenient ordering,

“Breuil-M´ezard conjecture and modularity lifting for potentially semistable deformations after

Then it follows immediately from a suitable version of “Hensel’s Lemma” [cf., e.g., the argument of [4], Lemma 2.1] that S may be obtained, as the notation suggests, as the m A

Section 3 is first devoted to the study of a-priori bounds for positive solutions to problem (D) and then to prove our main theorem by using Leray Schauder degree arguments.. To show

In order to solve this problem we in- troduce generalized uniformly continuous solution operators and use them to obtain the unique solution on a certain Colombeau space1. In

We use the monotonicity formula to show that blow up limits of the energy minimizing configurations must be cones, and thus that they are determined completely by their values on