618 Hits in 3.3 sec

Automating Model Transformations for Railway Systems Engineering

Nils Weidmann, Shubhangi Salunkhe, Anthony Anjorin, Enes Yigitbas, Gregor Engels
2021 Journal of Object Technology  
This process is both tedious and error-prone, clearly indicating a need for an increase in the level of automation.  ...  With Triple Graph Grammars (TGGs) as a rule-based bx language, we establish a tool chain connecting the modelling tools used at DB Netz AG for SysML and Event-B.  ...  Acknowledgments This work was partially supported by the North Rhine Westphalian Ministry of Economic Affairs, Innovation, Digitalisation and Energy (MWIDE) through the Pro-LowCode project (005-2011-0022  ... 
doi:10.5381/jot.2021.20.3.a10 fatcat:4r3niallsbcyjlsdk2fcrz3o5y

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

Anthony Anjorin, Enes Yigitbas, Erhan Leblebici, Andy Schürr, Marius Lauder, Martin Witte
2018 The Art, Science, and Engineering of Programming  
Although there exist various approaches to consistency management and numerous (industrial) case studies described in the literature on bidirectional transformations (bx), there is currently no uniform  ...  This divide-and-conquer, model-based approach requires, however, support for a concurrent engineering process, i.e., providing a means of checking, restoring, and ensuring the consistency of all involved  ...  Model-Based Transformation Testing (MBTT) Our final project is concerned with the automated testing of a complex code generator (the System Under Test: SUT) used to transform CAM models to CNC code (as  ... 
doi:10.22152/ fatcat:ikohvqywyffw7gqz7ymzyibdbu

Inter-Modelling with Graphical Constraints: Foundations and Applications

Juan De Lara, Esther Guerra
2012 Electronic Communications of the EASST  
Other usage scenarios for PaMoMo are the specification of transformation contracts and the automated testing of transformations.  ...  This includes many MDE activities like the specification of model-to-model transformations, the definition of model matching and traceability constraints, and the development of inter-model consistency  ...  Acknowledgements: Work sponsored by the Spanish Ministry, with project "Go Lite" (TIN2011-24139), and the R&D programme of Madrid Region with project "e-Madrid" (S2009/TIC-1650). Bibliography  ... 
doi:10.14279/tuj.eceasst.47.721 dblp:journals/eceasst/LaraG12 fatcat:et5vxsrfkze3tltwyh7z4sarem

Verification and validation of declarative model-to-model transformations through invariants

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
2010 Journal of Systems and Software  
As a proof of concept, the method is instantiated for two prominent model-to-model transformation languages: Triple Graph Grammars and QVT.  ...  For this purpose we have defined a number of invariant-based verification properties which provide increasing degrees of confidence about transformation correctness, such as whether a rule (or the whole  ...  We thank the referees for their useful comments, which helped us to improve the paper.  ... 
doi:10.1016/j.jss.2009.08.012 fatcat:fnd3t2xh6rgixntio6soompf2a

Model-driven systems engineering: state-of-the-art and research challenges

M. Lauder, M. Schlereth, S. Rose, A. Schürr
2010 Bulletin of the Polish Academy of Sciences: Technical Sciences  
Thus, engineers may benefit in increasing efficiency and quality for the resulting products from existing integration approaches of engineering artifacts and tools.  ...  With model-driven systems engineering we want to enable systems engineers to model their domain knowledge and tooling on a more abstract level.  ...  The work of Marius Lauder is supported by the 'Excellence Initiative' of the German Federal and State Governments and the Graduate School of Computational Engineering at Technische Universität Darmstadt  ... 
doi:10.2478/v10175-010-0039-x fatcat:xbzxx42aandg5mnkrnmrhgviui


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  
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  ...  The gathered results have been calculated on the specific set of parameters that are cost and time of usage time are the main aspects of these approaches, and that is the predicament that has made us produce  ...  This paper presents an approach for the automated inversion of attribute mappings in forwarding specifications of bidirectional transformations.  ... 
doi:10.32010/26166127.2021. fatcat:2mflbvhmffd7jeb4cs2vafwqpy

A survey of model transformation design patterns in practice

Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Sobhan Yassipour-Tehrani, Mohammadreza Sharbaf
2018 Journal of Systems and Software  
Model transformation design patterns have been proposed by a number of researchers, but their usage appears to be sporadic and sometimes patterns are applied without recognition of the pattern.  ...  We evaluate how widely patterns have been used, and how their use differs in different transformation languages and for different categories of transformation.  ...  optimisation is based on swapping the order of the two input variable definitions, one for a and one for v, so that the value of v becomes determined by the choice of a.  ... 
doi:10.1016/j.jss.2018.03.001 fatcat:32b56svlwrawzc2l5xhoamgjsq

Survey and classification of model transformation tools

Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Daniel Varró
2018 Journal of Software and Systems Modeling  
In this paper, we compare and evaluate the current model transformation tools based on a qualitative framework.  ...  We begin with looking at the background areas of model transformation, and an overall taxonomy of current tools.  ...  Acknowledgments The authors would like to thank the authors who assisted in verifying the information on their tool's features.  ... 
doi:10.1007/s10270-018-0665-6 fatcat:xo2spo3qynf5bnulmei3hioczi

Handcrafting a Triple Graph Transformation System to Realize Round-trip Engineering Between UML Class Models and Java Source Code

Thomas Buchmann, Sandra Greiner
2016 Proceedings of the 11th International Joint Conference on Software Technologies  
Over the years, the concept of unidirectional model transformations and corresponding tool support reached maturity since these kind of transformations are widely used in model-driven engineering, mainly  ...  Thus, bidirectional transformations are required, which aim to provide support for (incrementally) transforming one or more source model to one or more target model and vice versa from only one transformation  ...  Being able to run automated tests is a considerable improvement over our previous TGG (Buchmann and Westfechtel, 2013) and QVT-R (Greiner et al., 2016) implementations, where all of those tests had  ... 
doi:10.5220/0005957100270038 dblp:conf/icsoft/BuchmannG16 fatcat:x43yw3u4bjchvgjoxanieahtza

Evaluation of Kermeta for solving graph-based problems

Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Barais, Jean-Marc Jézéquel
2010 International Journal on Software Tools for Technology Transfer (STTT)  
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models.  ...  Second, we demonstrate the extensibility of Kermeta to the formal language Alloy using an inter-language model transformation.  ...  We are grateful to Vincent Mahé and Didier Vojtisek for their valuable comments on this paper and their contribution on the implementation of the Kermeta workbench as well as on the solutions of the case  ... 
doi:10.1007/s10009-010-0150-1 fatcat:lfs7ubv6pve5bpq46kbbe7wgem

Incremental Synchronization of Organizational Models, Requirements Models and Object-oriented Software Design Models

Marat Abilov, Jorge Marx Gómez
2014 Procedia Technology - Elsevier  
The specification in a source model creates a problem of mixture of several concerns in one artifact.  ...  The specification in a transformation definition creates a problem of overcomplicated transformations using the languages that were not designed for modeling purpose, making these definitions very hard  ...  So, on the one hand, the complete automatic derivation of software design is still a challenge, while a lot of decisions taken by human cannot be automated in a generic manner and completed enough for  ... 
doi:10.1016/j.protcy.2014.10.014 fatcat:lo2pwzuhvngflfhihn3e6mzmbm

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.  ...  The selected list of existing approaches are characterized by mapping them to the feature model.  ...  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

Surveying Rule Inheritance in Model-to-Model Transformation Languages

Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Werner Schwinger, Dimitris Kolovos, Richard Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar
2012 Journal of Object Technology  
In this paper, we propose a comparison framework for rule inheritance in model-to-model transformation languages, and provide an in-depth evaluation of prominent representatives of imperative, declarative  ...  The framework provides criteria for comparison along orthogonal dimensions, covering static aspects, which indicate whether a set of inheriting transformation rules is well-formed at compile-time, and  ...  Acknowledgments This work has been partially funded by the FWF under grant P21374-N13 and J3159-N23.  ... 
doi:10.5381/jot.2012.11.2.a3 fatcat:ewxbrdx3c5hdpo4hwzi4sqph24

Chemical synthesis of the thymidylate synthase gene

S. Climie, D. V. Santi
1990 Proceedings of the National Academy of Sciences of the United States of America  
The utility of the synthetic gene for mutagenesis is demonstrated by a single experiment in which His-l99 was replaced with 14 different amino acids.  ...  Analysis of the mutants by genetic complementation indicates that TS can tolerate a number of amino acid substitutions at that position and shows that His-199 is not strictly required for catalytic activity  ...  We thank Brenda Andrews and Jeff Edman for comments on the manuscript. This work was supported by U.S. Public Health Service Grant CA14394 from the National Cancer Institute.  ... 
doi:10.1073/pnas.87.2.633 pmid:2153960 pmcid:PMC53319 fatcat:z56lwtrbg5es3e5yhqq2bivpiu

Fully verifying transformation contracts for declarative ATL

Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
It is understood by the community that methods for exhaustively verifying such transformations provide an important pillar for achieving a stronger adoption of model-driven development in industry.  ...  We explore the scalability of our technique using a set of examples, including a model transformation developed in collaboration with our industrial partner.  ...  In [12] the authors are checking different kinds of model transformation properties based on OCL and the usage of KodKod which requires concrete bounds for property proving.  ... 
doi:10.1109/models.2015.7338256 dblp:conf/models/OakesTLW15 fatcat:2qwndmcpurb7tkj57xg2qqdtau
« Previous Showing results 1 — 15 out of 618 results