Filters








40,271 Hits in 5.1 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.  ...  Application of conformance preserving transformation rules guarantee that produced output models will conform to its underlying metamodel.  ...  CONCLUSION In this paper, we presented a static analysis technique for checking the conformance property of transformation rules.  ... 
doi:10.5220/0006602601520162 dblp:conf/modelsward/RabbiKL18 fatcat:263iihnd6naixkxcbdz7ptssiy

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jurgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
2012 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation  
Since model transformations are executed for a family of conforming models, their validity becomes a crucial issue.  ...  This paper proposes to explore the question of the formal verification of model transformation properties through a tri-dimensional approach: the transformation involved, the properties of interest addressed  ...  This work is partially supported by the Luxemburgish Fonds National de la Recherche (FNR), the Natural Sciences and Engineering Research Council of Canada (NSERC) and by the IBM Canada Center for Advanced  ... 
doi:10.1109/icst.2012.197 dblp:conf/icst/AmraniLSCDVTC12 fatcat:cyki446pfrgm5as6nx3n7qiokm

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.  ...  This work opens an interesting research line for building an engineering of model transformation verification guided by the notion of model transformation intent.  ...  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

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.  ...  This work opens an interesting research line for building an engineering of model transformation verification guided by the notion of model transformation intent.  ...  A more traditional way of ensuring the well-formedness of transformation rules is to apply traditional static analysis on the transformation specification.  ... 
doi:10.5381/jot.2015.14.1.a3 fatcat:w7msm7ud7neijmtmutgy2nwbri

Verification of Model Transformations

Daniel Calegari, Nora Szasz
2013 Electronical Notes in Theoretical Computer Science  
Within the Model-Driven Engineering paradigm, software development is based on the definition of models providing different views of the system to be constructed and model transformations supporting a  ...  The verification of models and model transformations is crucial in order to improve the quality and the reliability of the products developed using this paradigm.  ...  Another alternative is to verify them by static analysis of the transformation rules and the underlying metamodels, as in [75] .  ... 
doi:10.1016/j.entcs.2013.02.002 fatcat:wxu6ievf7neubggskqdd5zhgta

Algebraic Semantics of OCL-Constrained Metamodel Specifications [chapter]

Artur Boronat, José Meseguer
2009 Lecture Notes in Business Information Processing  
A model is said to conform to its metamodel when it is a value of the corresponding model type.  ...  In this work, the concept of OCL-constrained metamodel conformance is formally defined and used for defining style-preserving software architecture configurations.  ...  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

CREATING AND MAINTAINING IFC–CITYGML CONVERSION RULES

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

Integration of Triple Graph Grammars and Constraints

Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese
2012 Electronic Communications of the EASST  
Moreover, we describe how forward/backward validity of TGGs with constraints can be automatically checked, either by static analysis using an invariant checker, or by generating and validating metamodel  ...  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

Enriching Constraints and Business Rules in Object Oriented Analysis Models with Trigger Specifications [chapter]

Stefan Van Baelen
1998 Lecture Notes in Computer Science  
To highlight the importance of constraints in analysis models, they should be treated as rst-class model elements with a clear semantic impact on existing static and dynamic model elements.  ...  Optimal constraint support includes concepts for specifying event refusal, event transformation and event triggering mechanisms 1 With Constraint Business Rule, we mean rules de ned on the problem domain  ...  Derivation rules are outside the scope of this position paper. Enriching Constraints and Business Rules in Object Oriented Analysis Models  ... 
doi:10.1007/3-540-49255-0_41 fatcat:ffqqqggasvgorm6eiv25z6ibdu

Towards a Generic Framework for Trustworthy Program Refactoring

Dániel Horpácsi, Judit Kőszegi, Dávid J. Németh
2021 Acta Cybernetica  
Refactoring has to preserve the dynamics of the transformed program with respect to a particular definition of semantics and behavioral equivalence.  ...  There are a number of approaches to specifying program transformations on various kinds of program models, but trustworthiness of refactoring is still to be improved by means of formal verification.  ...  In this sense, analysis is not the process of building the program model but the extraction of static semantics, which may happen alongside the transformation.  ... 
doi:10.14232/actacyb.284349 fatcat:mv2yhsfmijddhca6ps3fcr3shm

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.  ...  A rule-based system is a series of if-then statements that utilizes a set of assertions, to which rules are created on how to act upon those assertions.  ...  In such a scenario, the transformation must ensure that the analysis model preserves the semantics of the design model.  ... 
doi:10.12700/aph.12.4.2015.4.4 fatcat:efxqu4pndrautcw47nemm3tvxy

Reusing Model Transformations While Preserving Properties [chapter]

Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
2010 Lecture Notes in Computer Science  
Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs).  ...  We define a type of behavioral equivalence, called lifting equivalence, relating an original transformation to its reused version.  ...  Static analysis examines the interpretation of each rule in the new and original contexts, and checks if any rule patterns are sensitive to the choice of Λ.  ... 
doi:10.1007/978-3-642-12029-9_4 fatcat:cwcnlgu665eqtghce36m6xezrm

MARTE to ΠSDF transformation for data-intensive applications analysis

Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos, Mohamed Abid
2014 Proceedings of the 2014 Conference on Design and Architectures for Signal and Image Processing  
The model-to-model transformation permitting to reach the ΠSDF level starting from a MARTEcompliant model is detailed and validated in this paper. It is shown to facilitate system analysis.  ...  In the proposed methodology, a system designer models the embedded system using the standardised Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile.  ...  Then, some transformation rules will be mentioned. A. The source meta-model: MARTE The first transformation, UML to MARTE transformation, generates a model that conforms to the MARTE meta-model.  ... 
doi:10.1109/dasip.2014.7115622 dblp:conf/dasip/AmmarBPDA14 fatcat:xq4z5jznqfeklbaiicut2wtgp4

MDA-Based Reverse Engineering [chapter]

Liliana Favre
2012 Reverse Engineering - Recent Advances and Applications  
Transformations Model transformation is the process of converting one model into another model of the same system preserving some kind of equivalence relation between both of these models.  ...  An ISM is a specification of the system in source code. At model level, transformations are based on static and dynamic analysis.  ... 
doi:10.5772/32473 fatcat:b3ir6c7w3fcn3dtacftuv6vpku

Reusable model transformations

Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel
2010 Journal of Software and Systems Modeling  
The subtype property ensures that the transformation can process models conforming to the target input metamodel without any change in the transformation itself.  ...  Model transformations written for an input metamodel may often apply to other metamodels that share similar concepts.  ...  We outline the approach in Fig. 1 and describe the steps in the approach below: Step 1: Static analysis of a transformation As shown in Fig. 1 we first perform static analysis on the legacy model transformation  ... 
doi:10.1007/s10270-010-0181-9 fatcat:ub3x2vbthrfanevmuox75w5iou
« Previous Showing results 1 — 15 out of 40,271 results