Efficient Model Partitioning for Distributed Model Transformations
Texte intégral
Figure
Documents relatifs
Consequently, a localized transfor- mation corresponds to an inout transformation, where some concepts may be introduced or removed (and, as a result, input and output metamodels may
Named variadic functions specify the type of the node, the nesting of the function calls reflects the structure of the tree and the optional leading arguments accept functions that
On the other hand, if the transformation tool maintains a link relating each port to a port in a target model, then a property like the correctness of a Goto-From removal can
The characteristic set of the differential ideal, defined by dynamical model equations, is a finite set of polynomials which summarises the whole information contained in
In the specific case of the MTD models, the original single- matrix model is parametrized in a bijective way, whereas its gener- alized version with specific transition matrices
We use mutation analysis to show that the test models generated from footprints are more effective (97.62% avg. mutation score) in detecting faults than previously developed
Our method is provably convergent (to a local minimum of the problem) and has a tractable complexity per iteration (i.e., linear in the problem di- mensions). The proposed
Transformation algorithm of UML Information Flow model generation of stage 1 of Scheduled workflow for Ultrasound examination for the pet in Veterinary clinic example