Model-to-model transformation
Distributed Model-to-Model Transformation with ATL on MapReduce
... lem to distribution. For model transformation, Tisi et ...approach to parallelize ATL ...adapted to enable a parallel execution and reduce synchronization ...similar to ours. ...
13
An automatic model-to-model mapping and transformation methodology to serve model-based systems engineering
... enterprise to cooperate with others has become one of the core factors in gaining competitive ...led to an urgent requirement to improve cooperation ability. To this end, model-based ...
55
A study to define an automatic model transformation approach based on semantic and syntactic comparisons
... attention to the “computation independent viewpoint”, this viewpoint is more concerned with the domain experts, the models belonging to this viewpoint are “computation independent models: CIMs” that are ...
183
A General Model Transformation Methodology to Serve Enterprise Interoperability Data Sharing Problem
... defined to stand for these domains. All the model instances are standed by the class “Model”, every model belongs to a specific ...“Enumeration”; to a certain extend, data type ...
15
From AADL to Timed Abstract State Machines: A Verified Model Transformation
... industry to model safety-critical applications. To verify and analyze the AADL models, model transformation technologies are often used to automatically extract a formal ...
28
From AADL to Timed Abstract State Machines: A Verified Model Transformation
... industry to model safety-critical applications. To verify and analyze the AADL models, model transformation technologies are often used to automatically extract a formal ...
29
Macro-to-micro transformation model for micro-expression recognition
... proposed model, each image of expression image sequences is divided into different sizes of patches to dilute the features in order to reduce the influence of redundant ...used to select the ...
27
Towards an Automation of the Mutation Analysis Dedicated to Model Transformation
... dedicated to the test of model ...Due to their intrinsic nature, model transformations rely on specific operations ...exist to implement model ...applied to model ...
31
Barriers to Systematic Model Transformation Testing
... the model transformation generates an executable model is to test the output model ...is to have a partial oracle that checks only specific properties of the output instead of ...
12
Towards Model Transformation from a CBM Model to CEP Rules to Support Predictive Maintenance
... birth to new approaches such as Prog- nostics and Health Management ...due to their ability to capitalize and process available knowledge on a systems and its failures, we propose to combine ...
12
A Model-based transformation process to validate and implement high-integrity systems
... requirements to ensure safety, schedulability or security properties; one needs to combine multiple analysis to validate each of ...them. Model-Based Engineering is an accepted solution ...
9
Towards the qualification of an AADL model transformation tool with contracts
... Abstract. Model-Based Engineering (MBE) can be used to build com- plex and critical ...MBE, model transformation allows for the automatic processing of models to automatically generate ...
18
Using Transformation-Aspects in Model-Driven Software Product Lines
... important to distinguish coarse-grained variations from fine- grained ...possible to select the instances of a light component that have functionality of automatic ...attributes to configure the ...
12
CoqTL: an Internal DSL for Model Transformation in Coq
... Previous work aiming at simplifying the interactive verification of MTs, has already proposed translations from MT specifications (e.g. in MT languages like ATL) and properties to prove (e.g. in OCL) into Coq. ...
16
Model transformation on distributed platforms : decentralized persistence and distributed processing
... needed to better grasp our contributions and make the document ...on model transformations languages and engines. Then we moved to a specific type of model transformation languages, ...
159
An Extensible Rule Transformation Model for XQuery Optimization
... used to evaluate the XQuery ...mework to optimize XQuery queries’ ...referred to time cost (time for evaluating the whole request and provide the re- sult), but also resource cost, energy cost, money ...
9
CoqTL: A Coq DSL for Rule-Based Model Transformation
... Gallina, transformation developers will need to directly access the metamodel interface in the expression ...is to provide the simplest native ...
25
Certifying a Rule-Based Model Transformation Engine for Proof Preservation
... for model transformation ...how to implement MT ...is to produce an alternative implementation of ATL in ...graph transformation engine in relational databases ...algebra to ...
12
Collaborative process cartography deduction based on collaborative ontology and model transformation
... integrated model-driven approach for the specification and the enforcement of secure object flows in process- driven service-oriented architectures ...changes to them. They develop algorithms to find ...
21
Discovering Model Transformation Pre-conditions using Automatically Generated Test Models
... makes model generation a different problem than generating test suites for context-free grammar-based soft- ware [22] which do not contain domain-specific ...conform to an input meta-model ...
13