Filters








2,935 Hits in 2.3 sec

Bidirectionalizing graph transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
2010 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10  
We challenge the problem of bidirectional transformations within the context of graphs, by proposing a formal definition of a well-behaved bidirectional semantics for UnCAL, i.e., a graph algebra for the  ...  Keywords bidirectional transformation, view updating, graph query and transformation, structural recursion † † The same notion is called driving (Glück and Klimov 1993; Glück and Sørensen 1994) in (Abramov  ...  The research was supported in part by the Grand-Challenging Project on "Linguistic Foundation for Bidirectional Model Transformation" from the National Institute of Informatics, Grant-in-Aid for Scientific  ... 
doi:10.1145/1863543.1863573 dblp:conf/icfp/HidakaHIKMN10 fatcat:towkjjz2fvchji45qam2rcy76y

Bidirectionalizing graph transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
2010 SIGPLAN notices  
We challenge the problem of bidirectional transformations within the context of graphs, by proposing a formal definition of a well-behaved bidirectional semantics for UnCAL, i.e., a graph algebra for the  ...  Keywords bidirectional transformation, view updating, graph query and transformation, structural recursion † † The same notion is called driving (Glück and Klimov 1993; Glück and Sørensen 1994) in (Abramov  ...  The research was supported in part by the Grand-Challenging Project on "Linguistic Foundation for Bidirectional Model Transformation" from the National Institute of Informatics, Grant-in-Aid for Scientific  ... 
doi:10.1145/1932681.1863573 fatcat:luhkqdfnljglbm3pkztihcnini

Toward Bidirectionalization of ATL with GRoundTram [chapter]

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
2011 Lecture Notes in Computer Science  
In our previous work we have shown that transformations of graph structures given in some form can be bidirectionalized and have implemented a system called GRoundTram system for bidirectional graph transformations  ...  We say a transformation t is bidirectionalized when we obtain a backward transformation t ′ so that the pair (t, t ′ ) of transformations satisfies certain wellbehavedness properties.  ...  With representing the source model in a graph data structure, we can bidirectionally apply the encoded transformation in GRoundTram system.  ... 
doi:10.1007/978-3-642-21732-6_10 fatcat:pufzh3ioyjcrtm2rsfcpyfgumu

Practical aspects of bidirectional graph transformations

Zhenjiang Hu
2013 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13  
We have challenged the problem of bidirectional transformations on graphs, and succeeded in bidirectionalizing graph queries (in UnQL) [3, 4, 8] and implementing a bidirectional graph transformation engine  ...  In fact, there are challenges in designing a language for bidirectional transformation on graphs.  ...  We have challenged the problem of bidirectional transformations on graphs, and succeeded in bidirectionalizing graph queries (in UnQL) [3, 4, 8] and implementing a bidirectional graph transformation  ... 
doi:10.1145/2426890.2426892 dblp:conf/pepm/Hu13 fatcat:f25ufsxainghlddt7uvl6t3mdy

"Bidirectionalization for free" for monomorphic transformations

Kazutaka Matsuda, Meng Wang
2015 Science of Computer Programming  
We demonstrate our technique with case studies of typical applications of bidirectional transformation, namely text processing, XML query and graph transformation, which were commonly considered beyond  ...  In particular, a technique known as bidirectionalization is able to analyze and transform unidirectional programs written in general purpose languages, and "bidirectionalize" them.  ...  us for the counterexample for Weak-PutGet This work was partially supported by JSPS KAKENHI Grant Number 24700020, the Grand-Challenging Project on the "Linguistic Foundation for Bidirectional Model Transformation  ... 
doi:10.1016/j.scico.2014.07.008 fatcat:5pau5kotfrblfdifjnv3at42bm

Dagstuhl seminar on bidirectional transformations (BX)

Zhenjiang Hu, Andy Schurr, Perdita Stevens, James F. Terwilliger
2011 SIGMOD record  
Participants at both the Dagstuhl and GRACE seminars came from four disciplines: (1) Programming Languages, (2) Graph Transformations, (3) Software Engineering, and (4) Databases.  ...  Janis Voigtländer described a complement-based approach to bidirectionalization [17] that automatically constructs a backward function from a forward function based on derivation of a constant-complement  ...  Finally, Zhenjiang Hu introduced trace-based bidirectionalization, which is used for bidirectionalizing graph transformations [10] .  ... 
doi:10.1145/2007206.2007217 fatcat:voo4poxx7zaermnki2g3ieqj34

Bidirectional Transformations: A Cross-Discipline Perspective [chapter]

Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger
2009 Lecture Notes in Computer Science  
, and graph query and transformation systems.  ...  Bidirectional Transformation Subcommunities Bidirectional transformations are being used in a variety of disciplines including programming languages, database management systems, model-driven engineering  ...  The resulting bidirectional graph transformation approach comes with a powerful automatic bidirectionalization method for the automatic derivation of a backward graph transformation from a given forward  ... 
doi:10.1007/978-3-642-02408-5_19 fatcat:wkbln73w3jefhagbj63rhtqt5a

A compositional approach to bidirectional model transformation

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2009 2009 31st International Conference on Software Engineering - Companion Volume  
In this paper, we propose a novel compositional framework for bidirectional model transformation based on an existing graph querying language UnQL, so that one can develop various useful bidirectional  ...  model transformation by combination of a fixed number of primitive bidirectional model transformations.  ...  For bidirectionalization of UnCAL, since UnCAL is compositional, consisting nine primitive transformations and three combinators, it suffices to give forward and backward computations for nine primitive  ... 
doi:10.1109/icse-companion.2009.5070990 dblp:conf/icse/HidakaHKN09 fatcat:m3tpmmvicvcozjbuccawqldxwq

Cactus-Expandable Graphs

Shun-ichi Azuma, Toshimitsu Kure, Takahiro Yoshida, Toshiharu Sugie
2019 IEEE Transactions on Control of Network Systems  
A sufficient condition is presented based on two graph characteristics, called the nucleus graphs and doubly bidirectionally connected pairs.  ...  However, the condition under which such transformation is possible has never been clarified so far. This paper addresses the problem of finding graphs which can be transformed into a cactus graph.  ...  Fig. 6 . 6 Graph G having a doubly bidirectionally connected pair.  ... 
doi:10.1109/tcns.2018.2875355 fatcat:xit7dirwargvbak6urhtweruia

A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon

Anthony Anjorin, Marius Lauder
2013 Electronic Proceedings in Theoretical Computer Science  
Our primary goal in recent years has been to increase the expressiveness of TGGs by providing a set of pragmatic features that allow a controlled fallback to programmed graph transformations and Java.  ...  bidirectional model transformations.  ...  ) language such as standard Java or programmed graph transformations via, e.g., Story Driven Modelling (SDM) [4] .  ... 
doi:10.4204/eptcs.135.8 fatcat:dwumjhyxxjbkljkqzwfspit6bm

Support for Bidirectional Model-to-Text Transformations

Anthony Anjorin, Marius Paul Lauder, Michael Schlereth, Andy Schürr
2010 Electronic Communications of the EASST  
Based on the requirements of a real-world case study, we introduce a new concept that has been inspired by a successful bidirectional model-to-model transformation approach: Triple Graph Grammars.  ...  model-to-text transformations becomes a vital area of research.  ...  Along similar lines, model transformations can be formalised using graph grammars [EGL + 05].  ... 
doi:10.14279/tuj.eceasst.36.443 dblp:journals/eceasst/AnjorinLSS10 fatcat:qrzfyn7hjfbi3o56h5yrkhslqq

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
2011 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)  
model transformations, an optimization mechanism for improving efficiency, and a powerful debugging environment for testing bidirectional behavior.  ...  Bidirectional model transformation is useful for maintaining consistency between two models, and has many potential applications in software development including model synchronization, round-trip engineering  ...  In particular, it has been recently shown [14] that a graph query algebra UnCAL can be fully bidirectionalized.  ... 
doi:10.1109/ase.2011.6100104 dblp:conf/kbse/HidakaHIKN11 fatcat:hb7pokknizh4fapqgj3p7ah6za

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations

Soichiro HIDAKA, Zhenjiang HU, Kazuhiro INABA, Hiroyuki KATO, Keisuke NAKANO
2013 Progress in Informatics  
model transformations, an optimization mechanism for improving efficiency, and a powerful debugging environment for testing bidirectional behavior.  ...  Bidirectional model transformation is useful for maintaining consistency between two models, and has many potential applications in software development including model synchronization, round-trip engineering  ...  In particular, it has been recently shown [14] that a graph query algebra UnCAL can be fully bidirectionalized.  ... 
doi:10.2201/niipi.2013.10.7 fatcat:eswkuhlov5h4tausieayjs24fm

Chaotic Image Encryption Algorithm Based on Zigzag Transform with Bidirectional Crossover from Random Position

Hao Gao, Xingyuan Wang
2021 IEEE Access  
This paper proposes a Zigzag transform that starts at random positions and crosses bidirectionally (ZZBCRP) to scramble the image.  ...  The number of sequence types of this new Zigzag transform is the number of pixels in the plaintext image, which is more and more complicated than other Zigzag transform methods, and Arrangement in a bidirectional  ...  proposes a Zigzag transformation that starts at random positions and crosses bidirectionally.  ... 
doi:10.1109/access.2021.3099214 fatcat:6q2bago4tnaojievnxexxdzk2e

Model Transformations [chapter]

Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio
2012 Lecture Notes in Computer Science  
Moreover, two specific application scenarios are proposed to highlight bidirectionality and higher-order transformations in the change propagation and coupled evolution domains, respectively.  ...  This paper introduces a classification of model transformation approaches and languages, illustrating the characteristics of the most prominent ones.  ...  Other approaches, notably hybrid or graph-based transformation techniques, even if claiming to support bidirectionality, are able to deal only with (partially) bijective mappings [14] .  ... 
doi:10.1007/978-3-642-30982-3_4 fatcat:nzfocu6ypbgnpbdwxanqdauxwe
« Previous Showing results 1 — 15 out of 2,935 results