27,220 Hits in 7.2 sec

Static Analysis of Conformance Preserving Model Transformation Rules

Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
However, to determine if a rule is conformance preserving requires sophisticated analysis techniques.  ...  The contribution of this paper is a new algorithm for checking conformance preserving rules with respect to a set of graph constraints and to prove the soundness of the algorithm.  ...  The static analysis technique processes the semantics of graph constraints and analyzes if a transformation rule exhibits certain structure in order to be conformance preserving rule w.r.t a set of constraints  ... 
doi:10.5220/0006602601520162 dblp:conf/modelsward/RabbiKL18 fatcat:263iihnd6naixkxcbdz7ptssiy

A Graph Grammar to Transform a Dataflow Graph into a Multithread Graph and its Application in Task Scheduling

Cícero Augusto de S. Camargo, Simone André da Costa Cavalheiro, Luciana Foss, Gerson Geraldo H. Cavalheiro
2013 Revista de Informática Teórica e Aplicada  
A graph grammar has been developed to perform the proposed transformation and case studies using DAGs found in the literature validate the transformation process.  ...  This paper shows the structure and semantics of a DCG, and proposes patterns to map structures found in DAGs into segments of a DCG.  ...  Acknowledgement The authors gratefully acknowledge financial support received from CNPq and FAPERGS (ARD-10/0348-8, ARD-11/0764-9, PRONEX-"Green Grid"). The author Cícero Augusto de S.  ... 
doi:10.22456/2175-2745.25210 fatcat:lsfdkyc5krgexhvzjlng3tz2km

Algebraic Semantics of OCL-Constrained Metamodel Specifications [chapter]

Artur Boronat, José Meseguer
2009 Lecture Notes in Business Information Processing  
In this work, the concept of OCL-constrained metamodel conformance is formally defined and used for defining style-preserving software architecture configurations.  ...  This concept is supported in MOMENT2, an algebraic framework for MOF metamodeling, where OCL constraints can be used for both static and dynamic analysis.  ...  In addition, the authors considered a number of analysis techniques with OCL properties, such as correctness preservation when a transformation rule is applied, among others.  ... 
doi:10.1007/978-3-642-02571-6_7 fatcat:knjhgkrfhzcnrktnesbxntibxm


H. Tauscher
2019 ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
Particular emphasis is put on how the approach enables graphical representation and static analysis of rules and rulesets, both in the theoretical framework and prototypical implementation.  ...  In this paper, we present the mathematical framework behind the graph transformation approach as well as an application to create, store and maintain transformation rules implementing this framework.  ...  I would like to acknowledge the work of the whole IFC2CityGML research group and in particular thank Joie Lim and Amol Konde for discussions during the implementation of rules and conversion algorithms  ... 
doi:10.5194/isprs-annals-iv-4-w8-115-2019 fatcat:lnjqpypmfvc3zfz4oomqtswtqm

Applying a Model Transformation Taxonomy to Graph Transformation Technology

Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai
2006 Electronical Notes in Theoretical Computer Science  
In this paper we apply the taxonomy to the technique of graph transformation, and we exemplify it by referring to four representative graph transformation tools.  ...  As a byproduct of our analysis, we discuss how well each of the considered tools carry out the activity of model transformation.  ...  An OCL evaluator is available to check whether the result of the transformation complies with the constraints. Preservation of properties.  ... 
doi:10.1016/j.entcs.2005.10.022 fatcat:hnm5pyvowvfovokzmplpcy4nee

Well-Behaved Model Transformations with Model Subtyping [article]

Artur Boronat
2017 arXiv   pre-print
That is, that metamodel-conformant model transformations never go wrong.  ...  In model-driven engineering, models abstract the relevant features of software artefacts and model transformations act on them automating complex tasks of the development process.  ...  Acknowledgements The author thanks the anonymous referees of SLE'15 and SLE'16 for their helpful comments on a previous draft of this document.  ... 
arXiv:1703.08113v1 fatcat:b3q55g2bczhi5gpjuzg2y7awj4

Towards a model transformation intent catalog

Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan Selim, Eugene Syriani, Manuel Wimmer
2012 Proceedings of the First Workshop on the Analysis of Model Transformations - AMT '12  
One intent (transformation for analysis) is described in more detail and the description is used to identify transformations with the same intent in a case study on the use of MDE techniques for the development  ...  We report on our ongoing effort to build a catalog of model transformation intents which describes common uses of model transformations in Model-Driven Engineering (MDE) and the properties they must or  ...  Usually, structural conformance, involving only the metamodel, is distinguished from conformance w.r.t. additional well-formedness rules (e.g., [20] ); 4) Property preservation: A transformation can preserve  ... 
doi:10.1145/2432497.2432499 dblp:conf/models/AmraniDLLSSSW12 fatcat:pzg7c2rqerc35eeu3tgwjeetaa

Evaluating the capabilities of Enterprise Architecture modeling tools for Visual Analysis

Naranjo David, Mario Sánchez, Jorge Villalobos
2015 Journal of Object Technology  
Since model transformations are executed for a family of (conforming) models, their validity becomes a crucial issue.  ...  In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde's "heart and soul".  ...  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  
Since model transformations are executed for a family of (conforming) models, their validity becomes a crucial issue.  ...  In Model Driven Engineering (Mde), models are first-class citizens, and model transformation is Mde's "heart and soul".  ...  This work is partially supported by the Luxemburgish Fonds National de la Recherche (Fnr), the Natural Sciences and Engineering Research Council of Canada (Nserc), the Ibm Canada Center for Advanced Studies  ... 
doi:10.5381/jot.2015.14.3.a1 fatcat:2kakfgsrczdzhbfl3rlj5tgs4y

SUMMARIZED: Efficient Framework for Analyzing Multidimensional Process Traces under Edit-distance Constraint [article]

Phuong Nguyen and Vatche Ishakian and Vinod Muthusamy and Aleksander Slominski
2019 arXiv   pre-print
Evaluations using real-world datasets show the effectives of our framework.  ...  We introduce summarization schemes that provide tunable trade-offs between the quality and efficiency of analysis tasks and derive an error model for summary-based similarity under an edit-distance constraint  ...  Evaluation results on real-world datasets show the effectiveness and efficiency of Summarized.  ... 
arXiv:1905.00983v1 fatcat:dixw656yd5gsxda5gbi5usckli

Model transformation intents and their properties

Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
2014 Journal of Software and Systems Modeling  
Several common model transformation intents are identified and the framework is used to describe six of them in detail.  ...  A case study from the automotive industry is used to demonstrate the usefulness of the proposed framework for identifying crucial properties of model transformations with different intents and to illustrate  ...  [75] use so-called flow graph grammars for scheduling graph transformation rules and scheduling grammars for introducing an explicit notion of time for modeling a mail system.  ... 
doi:10.1007/s10270-014-0429-x fatcat:d2etvwpprjacxiioalp27z4eni

Integration of Triple Graph Grammars and Constraints

Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese
2012 Electronic Communications of the EASST  
In this paper, we describe how the integration with source and target constraints can be achieved for the special case of model transformations defined by Triple Graph Grammars (TGGs).  ...  Model transformations have to take such constraints of the source and target metamodels into account.  ...  Static Analysis The satisfaction of constraints can be invariant with respect to a set of graph transformation rules R.  ... 
doi:10.14279/tuj.eceasst.54.770 dblp:journals/eceasst/HildebrandtLBG12 fatcat:v2usme773jacjmoki7ygsnkmgy

A case study to evaluate the suitability of graph transformation tools for program refactoring

Javier Pérez, Yania Crespo, Berthold Hoffmann, Tom Mens
2010 International Journal on Software Tools for Technology Transfer (STTT)  
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring.  ...  The case study aims to enable comparison of various features of graph transformation tools, such as their expressiveness and their ability to interact with the user.  ...  Javier Pérez and Yania Crespo have been partially funded by the regional government of Castilla y León (project VA-018A07) and by the spanish government (Ministerio de Ciencia e Innovación, project TIN2008  ... 
doi:10.1007/s10009-010-0153-y fatcat:qjeebi7ngvg5ti4uv3ltlfkcou

Triple Graph Grammars in the Large for Translating Satellite Procedures [chapter]

Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel, Claudia Ermel
2014 Lecture Notes in Computer Science  
The approach is implemented using the Eclipse-based graph transformation tool Henshin and has been successfully applied in a large industrial project with the satellite operator SES on the translation  ...  We evaluate the approach regarding requirements from the project and performance on a complete set of procedures of one satellite. 4 Awk Community: 5 In [15], we present a short overview  ...  This project is part of the Efficient Automation of Satellite Operations (EASO) project supported by the European Space Agency (ESA) 8 .  ... 
doi:10.1007/978-3-319-08789-4_9 fatcat:lygocqupfbge3jfwscxadu4nwm

On Preserving the Behavior in Software Refactoring: A Systematic Mapping Study [article]

Eman Abdullah AlOmar and Mohamed Wiem Mkaouer and Christian Newman and Ali Ouni
2021 arXiv   pre-print
As the concept of behavior preservation is fundamental for refactoring, several studies, using formal verification, language transformation and dynamic analysis, have been proposed to monitor the execution  ...  The approaches vary between using formalisms and techniques, developing automatic refactoring safety tools, and performing a manual analysis of the source code.  ...  that corresponds with a number of graph rewriting rules [24] .  ... 
arXiv:2106.13900v2 fatcat:xr7hr7ddzbchlcskg5lre4afoa
« Previous Showing results 1 — 15 out of 27,220 results