Filters








154 Hits in 3.1 sec

Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving

Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara
2014 2014 IEEE 25th International Symposium on Software Reliability Engineering  
To improve this situation, we propose a method for the static analysis of one of the most widely used model transformation languages: ATL. The method proceeds in three steps.  ...  We have used the tool to analyse medium and large-size third-party ATL transformations, discovering a wide number of errors.  ...  In this paper, we propose a method directed to discover errors in ATL transformations by combining static analysis and constraint solving.  ... 
doi:10.1109/issre.2014.10 dblp:conf/issre/CuadradoGL14 fatcat:ttfarfecjrexxmwroozjrm3z2a

Quick fixing ATL model transformations

Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
Based on a static analyser for ATL model transformations which we have previously built, we present a method and a system to propose quick fixes for transformation errors.  ...  The analyser is based on a combination of program analysis and constraint solving, and our quick fix generation technique makes use of the analyser features to provide a range of fixes, notably some nontrivial  ...  CONCLUSIONS AND FUTURE WORK We have presented a method based on static analysis and constraint solving to generate quick fixes for ATL transformations and a catalogue of such quick fixes.  ... 
doi:10.1109/models.2015.7338245 dblp:conf/models/CuadradoGL15 fatcat:gkij3wbkfrhxvbbpjhw4n2u7gm

Comparing and classifying model transformation reuse approaches across metamodels

Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
2019 Journal of Software and Systems Modeling  
modeling, mapping operators, constraint-based model types, and design patterns for model transformations -based on this feature model and a common example.  ...  We discuss strengths and weaknesses of each approach, provide a reading grid used to compare their features, compare with community needs, identify gaps in current transformation reuse approaches in relation  ...  We are grateful to all participants in the survey for their support, and to all participants in the 1st workshop on Unifying Software Reuse at Bellairs for their feedback on the feature model.  ... 
doi:10.1007/s10270-019-00762-9 fatcat:rhgd7sdxvzb2rkd5jcdazpznta

Model transformations for migrating legacy deployment models in the automotive industry

Gehan M. K. Selim, Shige Wang, James R. Cordy, Juergen Dingel
2013 Journal of Software and Systems Modeling  
As a case study, we have built and validated a model transformation using the MDWorkbench tool, the Atlas Transformation Language, and the Metamodel Coverage Checker tool.  ...  Keywords Model-driven development (MDD) · Model transformations · AUTOSAR · Transformation languages and tools · Automotive control software · Black-box testing  ...  Observations on implementing the model transformation using ATL Implementing the transformation revealed some insights on using MDWorkbench and ATL in industrial applications.  ... 
doi:10.1007/s10270-013-0365-1 fatcat:qb44zhml2nblpl2p7a3hdaov7e

Slicing ATL model transformations for scalable deductive verification and fault localization

Zheng Cheng, Massimo Tisi
2018 International Journal on Software Tools for Technology Transfer (STTT)  
In MDE, software models are manipulated, evolved and translated by model transformations (MT), up to code generation.  ...  In MT-specific languages like ATL, we are able to infer static trace information (i.e. mappings among types of generated elements and rules that potentially generate these types).  ...  Sánchez Cuadrado et al. present a static approach to uncover various typing errors in ATL MTs [17] , and use the USE constraint solver to compute an input model as a witness for each error.  ... 
doi:10.1007/s10009-018-0491-8 fatcat:nrzwxvnfdzcdxhuj75tuz6xury

Validating Rule-based Algorithms

2015 Acta Polytechnica Hungarica  
Verification and validation indicate determining the accuracy of a model transformation / rule-based system, and ensure that the processing output satisfies specific conditions.  ...  Furthermore, we provide a dynamic (online) method to support the validation of algorithms designed and executed in rule-based systems.  ...  Acknowledgement This work was partially supported by the European Union and the European Social Fund through project FuturICT.hu (grant no.: TAMOP-4.2.2.C-11/1/KONV-2012-0013) organized by VIKING Zrt.  ... 
doi:10.12700/aph.12.4.2015.4.4 fatcat:efxqu4pndrautcw47nemm3tvxy

Systematic Engineering of Mutation Operators

Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo
2020 Journal of Object Technology  
In the context of software engineering, mutation consists in injecting small changes in artefacts -like models, programs, or data -for purposes like (mutation) testing, test data generation, and all sorts  ...  It includes a domain-specific language to describe the mutation operators, facilities to synthesize models that can be used to test the operators, different metrics to analyse operator coverage, and services  ...  We are grateful to Martin Gogolla and his team for the continued maintenance and improvement of the USE modelling tool (Gogolla et al. 2007 (Gogolla et al. , 2020 , which has been widely used by the modelling  ... 
doi:10.5381/jot.2020.19.3.a5 fatcat:r7myq34rkfcudeqjzw5t5c3ueq

Model Transformation Modularization as a Many-Objective Optimization Problem

Martin Fleck, Javier Troya, Marouane Kessentini, Manuel Wimmer, Bader Alkhazi
2017 IEEE Transactions on Software Engineering  
Index Terms-model transformation, modularization, ATL, NSGA-III, MDE, SBSE ! • M. Fleck and M. Wimmer are with the TU Wien.  ...  We demonstrate the feasibility of our approach by using ATL as concrete transformation language and NSGA-III as search algorithm to find a trade-off between different well-known conflicting design metrics  ...  Furthermore, our objectives are limited to static metrics analysis to guide the search process.  ... 
doi:10.1109/tse.2017.2654255 fatcat:6c3jefxasney3lf6xqzyiifgbe

Evaluating the capabilities of Enterprise Architecture modeling tools for Visual Analysis

Naranjo David, Mario Sánchez, Jorge Villalobos
2015 Journal of Object Technology  
In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde's "heart and soul".  ...  Overall, this work allows to better understand the evolution, trends and current practice in the domain of model transformation verification.  ...  Acknowledgments The authors warmly thank the anonymous reviewers who suggested many improvements that helped clarifying the paper, and several contributions that were missing.  ... 
doi:10.5381/jot.2015.14.1.a3 fatcat:w7msm7ud7neijmtmutgy2nwbri

Formal Verification Techniques for Model Transformations: A Tridimensional Classification

Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
2015 Journal of Object Technology  
In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde's "heart and soul".  ...  Overall, this work allows to better understand the evolution, trends and current practice in the domain of model transformation verification.  ...  (Cas), the Automotive Partnership Canada (Apc) in the Necsis project, and by the French Agence Nationale pour la Recherche (Anr) Ins Project GEMOC (ANR-12-INSE-0011).  ... 
doi:10.5381/jot.2015.14.3.a1 fatcat:2kakfgsrczdzhbfl3rlj5tgs4y

mbeddr: instantiating a language workbench in the embedded software domain

Markus Voelter, Daniel Ratiu, Bernd Kolb, Bernhard Schaetz
2013 Automated Software Engineering : An International Journal  
For example, embedded programmers often have to use low-level C with limited IDE support, and integrated into an off-the-shelf tool chain in an ad-hoc way.  ...  Finally, we report on the experience of using mbeddr in a commercial project, which illustrates the benefits to end users.  ...  Acknowledgements We thank Marcel Matzat and Domenik Pavletic for their work on mbeddr. mbeddr has been supported by the German BMBF, FKZ 01/S11014.  ... 
doi:10.1007/s10515-013-0120-4 fatcat:mdslcrtftnfwhpf5iwy33lkonm

NDT-Suite: A Methodological Tool Solution in the Model-Driven Engineering Paradigm

Julián Alberto García-García, María José Escalona, Francisco José Domínguez-Mayo, Alberto Salido
2014 Journal of Software Engineering and Applications  
Although the Model-Driven paradigm is being accepted in the research environment as a very useful and powerful option for effective software development, its real application in the enterprise context  ...  This paper presents a set of tools, grouped in a suite named NDT-Suite, which under the Model-Driven paradigm offer a suitable solution for software development.  ...  Acknowledgements This research has been supported by MEGUS project (TIN2013-46928-C3-3-R) of the Ministerio de Ciencia e Innovación and NDTQ-Framework project (TIC-5789) of Junta de Andalucía, Spain.  ... 
doi:10.4236/jsea.2014.74022 fatcat:bon4eqhauvg2nnuhduguy3lqme

Towards an automation of the mutation analysis dedicated to model transformation

Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser
2014 Software testing, verification & reliability  
It was designed to experiment and validate model transformation language features, and then it has been used in several works.  ...  Thus, the mutation analysis techniques used for traditional programming cannot be directly applied to model transformations; new challenges to model transformation testing are arising [8] .  ...  This static analysis uncovers knowledge about how the input model elements are accessed by transformation rules.  ... 
doi:10.1002/stvr.1532 fatcat:kvdrkdjfevbkfhjh7efhslphxi

AbPress: Flexing Partial-Order Reduction and Abstraction [article]

Daniel Kroening, Subodh Sharma, Björn Wachter
2014 arXiv   pre-print
We have implemented AbPress in a tool that analyzes concurrent programs using lazy abstraction, viz., Impara. Our evaluation on the effectiveness of the presented approach has been encouraging.  ...  In this work, we present AbPress - Abstraction-based Partial-order Reduction with Source-Sets - an algorithm that fuses a recently proposed and powerful dynamic POR technique based on source-sets and lazy  ...  THREADER is a software verifier for multi-threaded programs [14] based on compositional reasoning and invariant inference by constraint solving.  ... 
arXiv:1410.6044v1 fatcat:kspzox54sbd2xprgg5n5wslnj4

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  
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis.  ...  As a proof of concept, the method is instantiated for two prominent model-to-model transformation languages: Triple Graph Grammars and QVT.  ...  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
« Previous Showing results 1 — 15 out of 154 results