104,926 Hits in 4.9 sec

Change Propagation in an Internal Model Transformation Language [chapter]

Georg Hinkel
2015 Lecture Notes in Computer Science  
In this paper, we present an approach to use a single internal model transformation language to create unidirectional and bidirectional model transformations with optional change propagation.  ...  On the other hand, these internal languages typically do not provide key features like change propagation or bidirectional transformation.  ...  For this, we implement an internal language in C# supporting multidirectional model transformation as well as multiple change propagation patterns.  ... 
doi:10.1007/978-3-319-21155-8_1 fatcat:qz26circfzgexoxvbbjguvwami

A Generative Approach to Change-Driven Consistency in Multi-View Modeling

Max E. Kramer
2015 Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures - QoSA '15  
To ease multi-view modeling, we present a generative approach, in which change-driven in-place transformations are generated from abstract specifications in order to sustain consistency between several  ...  Second, they have to be able to enforce these relationships by implementing model transformations that keep specific model instances consistent.  ...  Acknowledgments This work was partially funded in the KASTEL project by the German Federal Ministry of Education and Research. I am grateful to R. Reussner, E. Burger, M. Langhammer, and D.  ... 
doi:10.1145/2737182.2737194 dblp:conf/qosa/Kramer15 fatcat:4nkrj7hwgbcflojywdyjrht55y

Backward propagation of code refinements on transformational code generation environments

Victor Guana, Eleni Stroulia
2013 2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)  
It advocates the modeling of common and variable features in software-system families with domain-specific languages, and the specification of transformation compositions for successively refining the  ...  Thus, using code-generation environments, families of software systems can be generated, based on models specified in high-level domain languages.  ...  suggest changes in intermediate model concepts, transformation rules, and domain languages to introduce variability points in the generation environment.  ... 
doi:10.1109/tefse.2013.6620155 dblp:conf/icse/GuanaS13 fatcat:q2vi3hrqwrcpvlhl5fz37qbtji

Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation

Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka
2014 Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development  
In model-driven development (MDD), metamodels, models, and model transformations are interdependent. A change in one artifact must be reflected in all other related artifacts.  ...  Our generic approach integrates BX into well-established Eclipse-based MDD tools, thereby neither being restricted to a specific modeling nor model transformation language.  ...  In this way, we are able to propagate changes in two directions (1) : From a source model to a target model and vice versa.  ... 
doi:10.5220/0004809004660471 dblp:conf/modelsward/HoislHH14 fatcat:na6hsfut4redtplpivpcwhzj6u

Programming language criteria for model transformation evaluation

Leila Samimi-Dehkordi, Alireza Khalilian, Bahman Zamani
2014 2014 4th International Conference on Computer and Knowledge Engineering (ICCKE)  
Model Driven Engineering (MDE) has been considered as an effective discipline in the development of software systems.  ...  One integral concept of this paradigm is model-to-model transformation which can be used in different levels of abstraction.  ...  If a language has the capability of change propagation, it does not need to accomplish the whole process of transformation per each change of a model which would in turn have an indirect effect on writability  ... 
doi:10.1109/iccke.2014.6993469 fatcat:e2bjfsew6bfyxcye5it5mywigi

Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels

Djamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed
2018 Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18  
This paper first proposes a change propagation-based co-evolution of transformations.  ...  Transformations constitute significant key components of an automated model-driven engineering solution. As metamodels evolve, model transformations may need to be co-evolved accordingly.  ...  It illustrates a model transformation from the SimplePDL process modeling language to the PetriNet modeling language.  ... 
doi:10.1145/3239372.3239380 dblp:conf/models/KhelladiKE18 fatcat:xdycshqi5ncyvbtkraqtbvilru

Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation [chapter]

Marco Konersmann, Michael Goedicke
2020 Ernst Denert Award for Software Engineering 2019  
By using our approach, the specification can be extracted from the source code and changes in the specification can be propagated to the code.  ...  We evaluate the approach and tool in a use case with real software in development and with a benchmark software, accompanied by a performance evaluation.  ...  To propagate changes in the translation model to the code, step 6.1 first translates the transformation model into an implementation model, before step 6.2 changes the code according to the changed implementation  ... 
doi:10.1007/978-3-030-58617-1_6 fatcat:wmbdvz4z2na3hfiluxqe7rimrq

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 particular, the language propagates changes occurring in a model to one or more related models according to the specified transformation regardless of the transformation direction.  ...  In this paper, the Janus Transformation Language (JTL) is presented, a bidirectional model transformation language specifically designed to support nonbijective transformations and change propagation.  ...  The Janus Transformation Language The Janus Transformation Language (JTL) is a declarative model transformation language specifically tailored to support bidirectionality and change propagation.  ... 
doi:10.1007/978-3-642-19440-5_11 fatcat:rkmbnwruazas3je4vnhrhsr5iq

An approach to modelling and analysing reliability of Breeze/ADL-based software architecture

Chen Li, Hong-Ji Yang, Hua-Xiao Liu
2017 International Journal of Automation and Computing  
2017) 'An approach to modelling and analysing reliability of Breeze/ADL-based software architecture',  ...  Probability -Weight and λ In Breeze/ADL reliability model, an internal error propagation follows the Poisson distribution with a failure rate λ.  ...  Fig. 11 11 Modelling the internal and external error propagation with Production in Breeze/ADL Fig. 12 Modelling the internal error propagation with Production in Breeze/ADL In Fig. 13 13 Defining the  ... 
doi:10.1007/s11633-016-1044-9 fatcat:fyltbfuomzhrdivxgrf3em6b3a

Analyzing the Improved Software Reliability Based on the Markov Model by Considering Error propagation

Dr S. Srinivasa Rao, D Sowjanya, CH Dileep Chowdary, M Harika
2018 International Journal of Engineering & Technology  
In the software reliability analysis we proposed an approach, which is named as Model Driven Development method. This is a modelling and model transformation techniques.  ...  Then a study on the transformation between model based on Architecture & Analysis Design Language (AADL) and Markov model has been done.  ...  AADL is text oriented language as UML is an diagrammatic representation language. So we prefer in these we use AADL modelling language.  ... 
doi:10.14419/ijet.v7i2.32.13534 fatcat:56v566kx45e4vpy4fq6xs6ewiu

A change propagating model transformation Language

Laurence Tratt
2008 Journal of Object Technology  
Change propagating model transformations are those which can make suitable updates to models after an initial transformation.  ...  In this paper I outline the challenges presented by change propagating model transformations, before presenting a new change propagating model transformation approach.  ...  CONCLUSIONS In this paper I have presented the PMT change propagating model transformation language. I explained in detail how PMT approaches the task of change propagation.  ... 
doi:10.5381/jot.2008.7.3.a3 fatcat:xf2hlrcs7zeybiwp3a2t3kvdsa

Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance [chapter]

Alexander Egyed, Andreas Demuth, Achraf Ghabi, Roberto Lopez-Herrejon, Patrick Mäder, Alexander Nöhrer, Alexander Reder
2011 Lecture Notes in Computer Science  
An important role of model transformation is in exchanging modeling information among diverse modeling languages.  ...  Such an assistant should be able to combine information from diverse models, react incrementally to enable transformation as information becomes available, and accept human guidancefrom direct queries  ...  Figure 2 depicts a simple pipeline where an engineer may create a model in a language most suitable for his/her work and then transform it to another model in a language most suitable for the work of  ... 
doi:10.1007/978-3-642-21732-6_1 fatcat:kxjnwh7pbvfnpeq57kzdyxjd7a

Model transformations and tool integration

Laurence Tratt
2005 Journal of Software and Systems Modeling  
In this paper I motivate the need for dedicated approaches to model transformations, particularly for the data involved in tool integration, outline the challenges involved, and then present a number of  ...  Recent attention on model transformations has particularly focused on the OMG's Queries / Views / Transformations (QVT) Request for Proposals (RFP).  ...  on an earlier draft.  ... 
doi:10.1007/s10270-004-0070-1 fatcat:la6ztql2bjf5tjt6txd4pad4fq

Introduction to the STAF 2015 special section

Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer
2018 Journal of Software and Systems Modeling  
The third contribution Change propagation and bidirectionality in internal transformation DSLs by Georg Hinkel and Erik Burger deals with the realization of model transformation languages in host languages  ...  While in the past, such internal transformation languages have been already defined, they typically lack change propagation or bidirectional transformation support.  ... 
doi:10.1007/s10270-018-0686-1 fatcat:ilcphfxxyng5dcsksvan6vsiyu

Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems [chapter]

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Septavera Sharvia, Nidhal Mahmud
2015 Advances in Intelligent Systems and Computing  
The transformation (with transformation rules written in ATLAS Transformation Language (ATL)) has been implemented as a plug-in for the AADL model development tool OSATE (Open-source AADL Tool Environment  ...  An important iv transformation is defined from the AADL model to the HiP-HOPS model. In addition to the model-to-model transformation, it is necessary to extend the AADL modelling attributes.  ...  For example, the incoming flaw or an internal flaw is modelled as a Fault that may result in a component Failure. An output error propagation from a component is defined as a Failure.  ... 
doi:10.1007/978-3-319-08964-5_6 fatcat:oo24bcqhhfabxazofdypowfmjy
« Previous Showing results 1 — 15 out of 104,926 results