CoqTL: a Coq DSL for rule-based model transformation
Sign Up to like & getrecommendations! Published in 2019 at "Software and Systems Modeling"
DOI: 10.1007/s10270-019-00765-6
Abstract: In model-driven engineering, model transformation (MT) verification is essential for reliably producing software artifacts. While recent advancements have enabled automatic Hoare-style verification for non-trivial MTs, there are certain verification tasks (e.g. induction) that are intrinsically… read more here.
Keywords: transformation; model transformation; verification; specification ... See more keywords
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size
Sign Up to like & getrecommendations! Published in 2022 at "Software and Systems Modeling"
DOI: 10.1007/s10270-021-00937-3
Abstract: Model transformations are among the key concepts of model-driven engineering (MDE), and dedicated model transformation languages (MTLs) emerged with the popularity of the MDE pssaradigm about 15 to 20 years ago. MTLs claim to increase… read more here.
Keywords: model transformation; transformation; general purpose; complexity ... See more keywords
A Metamodel for the Rubus Component Model: Extensions for Timing and Model Transformation From EAST-ADL
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Access"
DOI: 10.1109/access.2016.2641218
Abstract: According to the model-driven engineering paradigm, one of the entry requirements when realizing a seamless tool chain for the development of software is the definition of metamodels, to regulate the specification of models, and model… read more here.
Keywords: rubus component; metamodel; model transformation; model ... See more keywords
Partially-Coupled Recursive Least Squares Algorithm for Multivariate Systems Based on the Model Transformation
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2938322
Abstract: This paper investigates the parameter estimation problem for multivariate output-error systems perturbed by autoregressive noises. To reduce the influence of the colored noises on parameter estimates, we turn the original model into the new model… read more here.
Keywords: recursive least; model transformation; least squares; squares algorithm ... See more keywords
How to Vary the Input Space of a T–S Fuzzy Model: A TP Model Transformation-Based Approach
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Fuzzy Systems"
DOI: 10.1109/tfuzz.2020.3038488
Abstract: The motivation behind 15 years of continuous development within the topic of the tensor product (TP) model transformation is that the greater the number of parameters or components of the Takagi–Sugeno (T–S) fuzzy model one… read more here.
Keywords: model transformation; vary input; fuzzy model; model ... See more keywords