Filters








9 Hits in 3.5 sec

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  
In this paper, we solve this problem by proposing an integrated framework called GRoundTram, which is carefully designed and implemented for compositional development of well-behaved and efficient bidirectional  ...  GRoundTram is built upon a well-founded bidirectional framework, and is equipped with a user-friendly language for coding bidirectional model transformation, a new tool for validating both models and bidirectional  ...  We implement an integrated development environment GRoundTram, which has a novel tool for validating both models and bidirectional model transformations, an automatic optimization mechanism for improving  ... 
doi:10.2201/niipi.2013.10.7 fatcat:eswkuhlov5h4tausieayjs24fm

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)  
In this paper, we solve this problem by proposing an integrated framework called GRoundTram, which is carefully designed and implemented for compositional development of well-behaved and efficient bidirectional  ...  GRoundTram is built upon a well-founded bidirectional framework, and is equipped with a user-friendly language for coding bidirectional model transformation, a new tool for validating both models and bidirectional  ...  We implement an integrated development environment GRoundTram, which has a novel tool for validating both models and bidirectional model transformations, an automatic optimization mechanism for improving  ... 
doi:10.1109/ase.2011.6100104 dblp:conf/kbse/HidakaHIKN11 fatcat:hb7pokknizh4fapqgj3p7ah6za

IMPLEMENTATION OF NOVEL APPROACHES IN BIDIRECTIONAL MODEL TRANSFORMATION: A SYSTEMATIC LITERATURE REVIEW

Hafiz Gulfam Ahmad, Ghazi University, Dera Ghazi Khan, Pakistan, Iqra Tahir, Naveed Naeem Abbas, National University of Science & Technology, Islamabad, Pakistan, The Islamia University of Bahawalpur, Bahawalpur, Pakistan
2021 Azerbaijan Journal of High Performance Computing  
The main objective of this SLR is to provide an insight into the different approaches and establish a well-balanced approach that can be used in bidirectional model transformation in software development  ...  Bidirectional model transformation is one such technique that encompasses the development of the object code in both directions enabling an abstract view of the software to the developer; over the year's  ...  E., &Rakhman, K., 2016) Effective model approaches in terms of Description Approach GRoundTram: An Integrated framework for developing well- behaved bidirectional model transformations Technique  ... 
doi:10.32010/26166127.2021.4.1.91.112 fatcat:2mflbvhmffd7jeb4cs2vafwqpy

Towards Attribute-Based Authorisation for Bidirectional Programming

Lionel Montrieux, Zhenjiang Hu
2015 Proceedings of the 20th ACM Symposium on Access Control Models and Technologies - SACMAT '15  
Implementing an attribute-based access control (ABAC) mechanism directly in bidirectional transformations would violate the essential properties of well-behaved transformations; it would contradict the  ...  However, the authorisation model afforded by bidirectional transformations is limited.  ...  well-behaved bidirectional transformation.  ... 
doi:10.1145/2752952.2752963 dblp:conf/sacmat/MontrieuxH15 fatcat:gmlgjt2q6fgv3de53sio45jdru

Feature-based classification of bidirectional transformation approaches

Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
2015 Journal of Software and Systems Modeling  
This paper tries to clarify and visualize the space of design choices for bidirectional transformations from an MDE point of view, in the form of a feature model.  ...  Then the feature model is used to highlight some unexplored research lines in bidirectional transformations.  ...  Acknowledgements We thank the anonymous reviewers for their detailed and helpful feedback on our paper, and  ... 
doi:10.1007/s10270-014-0450-0 fatcat:uyjv3l3otbhcfktfvwjrl2o7da

General supervised learning as change propagation with delta lenses [article]

Zinovy Diskin
2020 arXiv   pre-print
Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations.  ...  We also show that sequential and parallel composition of well-behaved ala-lenses are also well-behaved so that well-behaved ala-lenses constitute a full sm-subcategory of ala-lenses.  ...  Introduction The goal of the paper is to develop a formal model of supervised learning in a very general context of bidirectional model transformation or Bx, i.e., synchronization of two arbitrary complex  ... 
arXiv:1911.12904v3 fatcat:z65u44dklrhsdlmoqsfg6yxqym

Least-change bidirectional model transformation with QVT-R and ATL

Nuno Macedo, Alcino Cunha
2014 Journal of Software and Systems Modeling  
QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations.  ...  The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model  ...  Such well behaved lens could be obtained in our least-change maintainer framework, by setting the forward transformation as an implicit consistency relation as T (m, n) ≡ n = − → t (m).  ... 
doi:10.1007/s10270-014-0437-x fatcat:jefhxbv3g5f63nqbm2vzin6goi

General Supervised Learning as Change Propagation with Delta Lenses [chapter]

Zinovy Diskin
2020 Lecture Notes in Computer Science  
Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations (Bx).  ...  Following the recent observations by Fong et al, the paper extends the delta lens framework with a a new ingredient: learning over a parameterized space of model transformations seen as functors.  ...  Definition 4 (Well-behavedness) An ala-lens is called well-behaved (wb) if the following two laws hold for all p ∈ P 0 , A ∈ A 0 and v: A p → B : A → B be an isomorphism between model spaces.  ... 
doi:10.1007/978-3-030-45231-5_10 fatcat:nwisepldgrgkxkqp44volwyn3m

On Additivity in Transformation Languages

Sochiro Hidaka, Frederic Jouault, Massimo Tisi
2017 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
We thank Zheng Cheng and the members of IPL for their valuable comments and suggestions. We also thank the reviewers for their detailed and constructive reviews.  ...  EXAMPLE 2: UNQL GRoundTram is an integrated framework for developing well-behaved bidirectional graph transformations expressed in the language UnQL [7] . Figure 4 shows the syntax of UnQL.  ...  Example of well-known structures are trees in program transformation, tables in databases, models in model-driven engineering.  ... 
doi:10.1109/models.2017.21 dblp:conf/models/HidakaJT17 fatcat:lzpnj7u5lvefhn64kcsh4npfaa