Search-Based Model Optimization Using Model Transformations

2014 ◽  
pp. 80-95 ◽  
Author(s):  
Joachim Denil ◽  
Maris Jukss ◽  
Clark Verbrugge ◽  
Hans Vangheluwe
Keyword(s):  
Model Transformations ◽  
Model Optimization

ERROR LOCALIZATION DIAGNOSTIC MODEL OPTIMIZATION IN DIGITAL STATE MACHINES NETWORKS

2019 ◽  
Author(s):  
Irina Bystrova ◽  
E. Danil'chuk ◽  
Boris Podkopaev
Keyword(s):  
Single Component ◽  
Diagnostic Model ◽  
State Machines ◽  
Model Optimization ◽  
Error Localization ◽  
Diagnostic Models

The problem of constructing a diagnostic model for a network S consisting of a number of digital automata is considered, provided that the diagnostic models of all network components are known. It is assumed that these models are given by systems of logical equations, and the errors to be detected are localized in any but a single component of the network.

scholarly journals Termination Analysis of Model Transformations by Petri Nets

2006 ◽  
pp. 260-274 ◽  
Author(s):  
Dániel Varró ◽  
Szilvia Varró–Gyapay ◽  
Hartmut Ehrig ◽  
Ulrike Prange ◽  
Gabriele Taentzer
Keyword(s):  
Petri Nets ◽  
Model Transformations ◽  
Termination Analysis

scholarly journals Agile validation of model transformations using compound F-Alloy specifications

2018 ◽  
Vol 162 ◽  
pp. 55-75 ◽  
Author(s):  
Loïc Gammaitoni ◽  
Pierre Kelsen ◽  
Qin Ma
Keyword(s):  
Model Transformations
Sign in / Sign up

Export Citation Format

Share Document