596,772 Hits in 2.3 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  
Keywords: Formal Methods for Model Driven Software Engineering, Formal Correctness of Model Transformations, Meta-modelling, Domain-specific Modeling Languages.  ...  We show that the performance of our algorithm depends on the complexity of the graph constraints and model transformation rules, but that it is independent of the size of the input model.  ...  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

Static Analysis of Model Transformations for Effective Test Generation

Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot
2012 2012 IEEE 23rd International Symposium on Software Reliability Engineering  
Our static analysis uncovers knowledge about how the input model elements are accessed by transformation operations.  ...  We present a white-box testing approach that uses static analysis to guide the automatic generation of test inputs for transformations.  ...  Extraction of partial test knowledge 1) Static Metamodel Footprinting The first step is the static analysis of a model transformation called static metamodel footprinting.  ... 
doi:10.1109/issre.2012.7 dblp:conf/issre/MottuSTC12 fatcat:vinna3cftfbebfusjcgwuvzf4m

A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation [chapter]

Anthony Anjorin, Erhan Leblebici, Andy Schürr, Gabriele Taentzer
2014 Lecture Notes in Computer Science  
Based on the well-known transformation of constraints to application conditions, we present a static analysis that guarantees dead end-freeness for non-confluent TGGs.  ...  Triple Graph Grammars (TGGs) are a well-known bidirectional model transformation language.  ...  local completeness constraints lcc(G1G1F wdRule) Theorem 1 ( 1 Static Analysis of Non-Confluent TGGs).  ... 
doi:10.1007/978-3-319-09108-2_9 fatcat:3mgtvhhx25ddpiqpvvjd7hy73m

Modeling and analysis of static and dynamic characteristics for buck-type three-phase PWM rectifier by circuit DQ transformation

Soo-Bin Han, Nam-Sup Choi, Chun-Taik Rim, Gyu-Hyeong Cho
1998 IEEE transactions on power electronics  
The static and dynamic characteristics of buck-type three-phase pulse-width-modulation (PWM) rectifier are fully analyzed based on the dc and ac circuit models developed by the circuit DQ transformation  ...  The usefulness of the models is verified through computer simulations and experiments with good agreements. Index Terms-Circuit DQ transformation, current-source rectifier, PWM rectifier.  ...  This impedes the application of any well-established LTI circuit analysis techniques, but the circuit DQ transformation method enables us to develop the complete circuit models by the following three steps  ... 
doi:10.1109/63.662849 fatcat:3nfddwkvfzewlgajxy3b55o3kq

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.  ...  Model transformations play a prominent rôle in Model-Driven Engineering (MDE), where they are used to transform models between languages; to refactor and simulate models; or to generate code from models  ...  Static analysis of transformations.  ... 
doi:10.1109/issre.2014.10 dblp:conf/issre/CuadradoGL14 fatcat:ttfarfecjrexxmwroozjrm3z2a

Injecting Execution Traces into a Model-Driven Framework for Program Analysis [chapter]

Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu
2018 Lecture Notes in Computer Science  
Model-Driven Engineering (MDE) has been successfully used in static program analysis.  ...  We build an injector for program execution traces, one of the basic blocks of dynamic analysis.  ...  In fact this transformation is used to generate the analysis model out of the JUnit4 source code static model.  ... 
doi:10.1007/978-3-319-74730-9_1 fatcat:judnhh3bpfhwpk6wfxespojjgy

An empirical comparison of static and dynamic business process mining

Ricardo Pérez-Castillo, Ignacio García-Rodriguez de Guzmán, Mario Piattini, Barbara Weber, Ángeles S. Places
2011 Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11  
Unfortunately, there is a lack of empirical evidence facilitating the selection of one of them. This paper provides a formal comparison of the static and dynamic approach through a case study.  ...  There are two main approaches to address the mining of business processes from legacy information systems: (i) the static approach that only considers legacy source code's elements from a syntactical viewpoint  ...  In addition, this work was supported by the Quality Engineering group at the University of Innsbruck.  ... 
doi:10.1145/1982185.1982249 dblp:conf/sac/Perez-CastilloGPWP11 fatcat:qrrvcu7ksfd4rhx2gdhdknzseq

Chaining model transformations

Anne Etien, Vincent Aranega, Xavier Blanc, Richard F. Paige
2012 Proceedings of the First Workshop on the Analysis of Model Transformations - AMT '12  
We propose an approach to detecting such potential conflicts based on static analysis, exploiting an intermediate representation of transformations independent of any concrete language.  ...  Model transformation is one of the key practices of Model-Driven Engineering.  ...  CHAINING OF TRANSFORMATIONS BASED ON STATIC ANALYSIS In this section, we present a static analysis based on formal definitions that allow us to determine whether a chain of transformations is valid.  ... 
doi:10.1145/2432497.2432500 dblp:conf/models/EtienABP12 fatcat:atokmk3d25eglhmdfcons5abbe

Model-Driven Engineering of Machine Executable Code [chapter]

Michael Eichberg, Martin Monperrus, Sven Kloppenburg, Mira Mezini
2010 Lecture Notes in Computer Science  
Finally, we report on the use of Prolog for writing model transformations.  ...  We show how to leverage model-driven engineering to facilitate the design and implementation of programs doing static analyses.  ...  Recapitulation The architecture of our static analysis toolkit uses three stacked abstraction levels, one domain specific model validation, three code generators, and three model transformations.  ... 
doi:10.1007/978-3-642-13595-8_10 fatcat:h7cgznudzvdsxllj2i54cmj4tq

Analysis of the Influence Factors of Transformer Substation Project Cost Based on the Random Forest Model

Ming ZHOU, Sheng-wei LU, Si-cong WANG, Zi-xia SANG, Jia-qi HUANG, Shu WANG
2020 DEStech Transactions on Computer Science and Engineering  
Forest model to measure 25 of the influencing factors, selects the key influencing factors to provide reference for the cost prediction of transformer substation project.  ...  It brings great difficulties to the classification analysis, index preparation and control management of project cost.  ...  Figure 3 . 3 Comparison of static investment forecast value and actual value of transformer substation project. Figure 4 . 4 Analysis of error interval of static investment forecasting.  ... 
doi:10.12783/dtcse/msam2020/34225 fatcat:toq6k2cy4rcjvn4mctfdc4ulue

Benefits of reverse engineering technologies in software development makerspace

M.H. Aabidi, Bouziane El Mahi, Chafik Baidada, Abdeslam Jakimi, Hany Ammar, A. Atangana, H. Bulut, Z. Hammouch, H.M. Baskonus, T. Mekkaoui, F. Bin Muhammad Belgacem
2017 ITM Web of Conferences  
To facilitate the software development process, it would be ideal to have tools that automatically generate or help to generate UML (Unified Modeling Language) models from source code.  ...  As a consequence, an increasing fraction of the cost of creating new applications and manufacturing processes shifts from the creation of new artifacts to the adaption of existing ones.  ...  An ISM is a specification of the system in source code. At model level, transformations are based on static and dynamic analysis.  ... 
doi:10.1051/itmconf/20171301028 fatcat:y5jit7ijznhgvbrc5szv6kc4g4

Reverse Engineering of Model Transformations for Reusability [chapter]

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
2014 Lecture Notes in Computer Science  
To make a transformation reusable, we use the information obtained from its static analysis to derive a concept that is minimal with respect to the transformation and maximizes its reuse opportunities,  ...  In previous works, we developed an approach that enables the reuse of model transformations for different meta-models.  ...  Our approach performs a static analysis of the original transformation.  ... 
doi:10.1007/978-3-319-08789-4_14 fatcat:q72wo7gbpja75fkzafvmjl3mje


Andrzej Garstecki, Anna Knitter-Piatkowska, Zbigniew Pozorski, Krzysztof Ziopaja
2004 Journal of Civil Engineering and Management  
Response of a structure is analysed employing discrete wavelet transformation as a tool for signal processing. The localised damage in beam structures was modelled as bending stiffness reduction.  ...  The efficiency of static and dynamic tests is studied.  ...  This localisation will be determined basing on signal analysis of structural response to different actions. We consider numerical models of beams loaded by static and dynamic forces.  ... 
doi:10.3846/13923730.2004.9636306 fatcat:g7voi4um7jhgrln63xlm4utkhi

Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform [chapter]

Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio, Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra
2016 Lecture Notes in Computer Science  
This demo paper illustrates the extensibility of MDEForge by integrating ATL services for the remote execution, automated testing, and static analysis of ATL transformations.  ...  In the last years, the increasing complexity of Model-Driven Engineering (MDE) tools and techniques has led to higher demands in terms of computation, interoperability, and configuration management.  ...  In this demo paper, we show how MDEForge has been extended to enable the remote execution and analysis of ATL transformations, their automated testing and static analysis.  ... 
doi:10.1007/978-3-319-42064-6_5 fatcat:2ompuqrarjcn7mj5yqulsjxq44

MDA-Based Reverse Engineering [chapter]

Liliana Favre
2012 Reverse Engineering - Recent Advances and Applications  
An ISM is a specification of the system in source code. At model level, transformations are based on static and dynamic analysis.  ...  There are different ways of combination, for instance performing first static analysis and then dynamic analysis or perhaps iterating static and dynamic analysis.  ... 
doi:10.5772/32473 fatcat:b3ir6c7w3fcn3dtacftuv6vpku
« Previous Showing results 1 — 15 out of 596,772 results