A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Automating Model Transformations for Railway Systems Engineering
2021
Journal of Object Technology
Preserved Fulltext
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
2018
The Art, Science, and Engineering of Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2018 pre-print arXiv:1803.10831v1 fatcat:3bwmvxqucjgbdj26x4frgipaya
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/programming-journal.org/2018/2/7
fatcat:ikohvqywyffw7gqz7ymzyibdbu
Inter-Modelling with Graphical Constraints: Foundations and Applications
2012
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Bulletin of the Polish Academy of Sciences: Technical Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
IMPLEMENTATION OF NOVEL APPROACHES IN BIDIRECTIONAL MODEL TRANSFORMATION: A SYSTEMATIC LITERATURE REVIEW
2021
Azerbaijan Journal of High Performance Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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.4.1.91.112
fatcat:2mflbvhmffd7jeb4cs2vafwqpy
A survey of model transformation design patterns in practice
2018
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 11th International Joint Conference on Software Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2010
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2014
Procedia Technology - Elsevier
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
1990
Proceedings of the National Academy of Sciences of the United States of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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