32,253 Hits in 3.4 sec

Information Preserving Bidirectional Model Transformations [chapter]

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer
Fundamental Approaches to Software Engineering  
But up to now, there is no formal result showing under which condition corresponding forward and backward transformations are inverse to each other in the sense of information preservation.  ...  Most of these transformations need to be bidirectional to e.g. report analysis results, or keep coherence between models.  ...  We will use it in this paper to illustrate the triple graph grammar approach and especially, the conditions for information preserving bidirectional transformations.  ... 
doi:10.1007/978-3-540-71289-3_7 dblp:conf/fase/EhrigEEHT07 fatcat:hphxihmywjghnnmza33xijmi4i

Synchronizing concurrent model updates based on bidirectional transformation

Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2011 Journal of Software and Systems Modeling  
A bidirectional model transformation keeps two models consistent by updating one model in accordance with the other. However, it does not work when the two models are modified at the same time.  ...  We then propose a new algorithm to wrap any bidirectional transformation into a synchronizer with the help of model difference approaches.  ...  Instead of transforming models, incremental bidirectional transformation transforms an update on one model to an update on the other model.  ... 
doi:10.1007/s10270-010-0187-3 fatcat:u37d2oekyzfpxceejzxnzqolxy

Feature-based classification of bidirectional transformation approaches

Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
2015 Journal of Software and Systems Modeling  
Then the feature model is used to highlight some unexplored research lines in bidirectional transformations.  ...  Bidirectional model transformation is a key technology in Model-Driven Engineering (MDE), when two models that can change over time have to be kept constantly consistent with each other.  ...  Conversely, information-preserving TGG [40] , a restriction of the TGG language to information-preserving transformation, is an example of approach that sacrifices Turing-completeness.  ... 
doi:10.1007/s10270-014-0450-0 fatcat:uyjv3l3otbhcfktfvwjrl2o7da

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  
Bidirectional Transformation Subcommunities Bidirectional transformations are being used in a variety of disciplines including programming languages, database management systems, model-driven engineering  ...  The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan.  ...  The foundation of most bidirectional languages is rooted in "round-tripping" laws which require that information be preserved in both directions.  ... 
doi:10.1007/978-3-642-02408-5_19 fatcat:wkbln73w3jefhagbj63rhtqt5a

Supporting Parallel Updates with Bidirectional Model Transformations [chapter]

Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2009 Lecture Notes in Computer Science  
A bidirectional model transformation keeps two models consistent by updating one model in accordance with the other. However, it does not work when the two models are modified at the same time.  ...  In this paper we propose a new algorithm that wraps any bidirectional transformation into a synchronizer with the help of a model difference approach.  ...  We plan to design a resolution procedure based on a specific transformation language and a specific model difference approach.  ... 
doi:10.1007/978-3-642-02408-5_15 fatcat:pbdfravi65gb7icx53yayp47fu


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  
researchers, have been able to produce many approaches in bidirectional model transformations (bx), but the cost and best fir for effective model transformation, in particular, a quantities survey will  ...  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  ...  Bibliographic information Sr.  ... 
doi:10.32010/26166127.2021. fatcat:2mflbvhmffd7jeb4cs2vafwqpy

Confidentiality in the process of (model-driven) software development

Michael Johnson, Perdita Stevens
2018 Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion  
In model-driven development confidentiality issues become particularly clear and tractable, and bidirectional transformations have a key technical role.  ...  When necessary, the models are reconciled by bidirectional transformations, which automate a process which would otherwise have to be undertaken manually by the groups of experts meeting and studying both  ...  We have been discussing the symmetric case of a bidirectional transformation, that in which each model contains information not captured in the other, and therefore, in which consistency restoration in  ... 
doi:10.1145/3191697.3191714 dblp:conf/programming/JohnsonS18 fatcat:7inafsjypbe4hnuy63tr6es5x4

JTL: A Bidirectional and Change Propagating Transformation Language [chapter]

Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio
2011 Lecture Notes in Computer Science  
In Model Driven Engineering bidirectional transformations are considered a core ingredient for managing both the consistency and synchronization of two or more related models.  ...  In this paper, the Janus Transformation Language (JTL) is presented, a bidirectional model transformation language specifically designed to support nonbijective transformations and change propagation.  ...  In the context of bidirectional transformation it should coexist with the ability to propagate changes in both the directions but preserves information in the models and, in our case, also allows the approximation  ... 
doi:10.1007/978-3-642-19440-5_11 fatcat:rkmbnwruazas3je4vnhrhsr5iq

A Categorization of Interoperability Issues in Networks of Transformations

Heiko Klare, Torsten Syma, Erik Burger, Ralf Reussner
2019 Journal of Object Technology  
Bidirectional transformations (BX) are a common approach for keeping two types of models consistent, but consistency preservation between more than two types of models is not researched well.  ...  This catalog is beneficial for transformation developers and transformation language developers.  ...  A common approach for preserving consistency between such models are incremental Bidirectional Transformations (BX), which keep two types of models consistent.  ... 
doi:10.5381/jot.2019.18.3.a4 fatcat:n3265tbksjaepmvhigcqjuacue

Bidirectional Transformation of Model-Driven Spreadsheets [chapter]

Jácome Cunha, João P. Fernandes, Jorge Mendes, Hugo Pacheco, João Saraiva
2012 Lecture Notes in Computer Science  
We present techniques for model-driven spreadsheet engineering where we employ bidirectional transformations to maintain spreadsheet models and instances synchronized.  ...  Indeed, in large software organizations, spreadsheets are not only used to define sheets containing data and formulas, but also to collect information from different systems, to adapt data coming from  ...  The first data type, named Model , is used to store information about a model.  ... 
doi:10.1007/978-3-642-30476-7_7 fatcat:qkfaishxvff4pebikf4ebgranm

M-Net with Bidirectional ConvLSTM for Cup and Disc Segmentation in Fundus Images [article]

Maleeha Khalid Khan
2021 arXiv   pre-print
The proposed network combines features of encoder and decoder, with bidirectional LSTM.  ...  The proposed model is tested on REFUGE2 data, where our model achieves a dice score of 0.92 for optic disc and an accuracy of 98.99% in segmenting cup and disc regions  ...  Images converted into polar coordinates can help to improve segmentation performance by preserving spatial information.  ... 
arXiv:2104.03549v1 fatcat:grhrxuotongdjamzr7rljhrmue

Streaming Video Classification Using Machine Learning

Adnan Shaout, Brennan Crispin
2020 ˜The œinternational Arab journal of information technology  
[1] suggested that the intricacy of MDP lies in the preservation of traceability relations while combining different transformed models.  ...  We can further extend this framework up to several transformed models where the respective trace information is recorded in the corresponding trace table.  ... 
doi:10.34028/iajit/17/4a/13 fatcat:qp3npea3z5ha7jgpju3ixnjghe

Parsing in a Broad Sense [chapter]

Vadim Zaytsev, Anya Helene Bagge
2014 Lecture Notes in Computer Science  
Having multiple representations of the same instance is common in software language engineering: models can be visualised as graphs, edited as text, serialised as XML.  ...  artefacts found in software language processing, present a case study demonstrating their implementations and state-of-the-art mappings among them, and systematically explore the technical research space of bidirectional  ...  Model-to-Model Transformation.  ... 
doi:10.1007/978-3-319-11653-2_4 fatcat:slzeotnewbdknogvdahjfkyvqy

Refactorings in Language Development with Asymmetric Bidirectional Model Transformations [chapter]

Martin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer, Sebastian von Klinski
2013 Lecture Notes in Computer Science  
We use asymmetric bidirectional model transformations to synchronize the various artifacts of language descriptions with a refactoring model that contains all elements that are changed in a particular  ...  We present a model transformation based approach for the refactoring of software language descriptions.  ...  We model these co-refactorings as view-update relations between a common view capturing the refactoring-specific information and the dependent artifacts using asymmetric bidirectional model transformations  ... 
doi:10.1007/978-3-642-38911-5_13 fatcat:2kd5b2zp2vardlxlxsmvtmg3ty

How Can Deep Rectifier Networks Achieve Linear Separability and Preserve Distances?

Senjian An, Farid Boussaïd, Mohammed Bennamoun
2015 International Conference on Machine Learning  
This paper investigates how hidden layers of deep rectifier networks are capable of transforming two or more pattern sets to be linearly separable while preserving the distances with a guaranteed degree  ...  The generalization performance of such distance preserving deep rectifier neural networks can be well justified by the distance-preserving properties of their hidden layers and the maximum margin property  ...  Bidirectional RLTs and Their Distance Preserving Properties Since the rectifier of a vector discards the information of the negative elements, it does not preserve distances and can transform two very  ... 
dblp:conf/icml/AnBB15 fatcat:q77tfbux45bvbchw2kcw2y52gy
« Previous Showing results 1 — 15 out of 32,253 results