Automated Synthesis of ATL Transformations from Metamodel Correspondences.
Kevin LanoShichao FangPublished in: MODELSWARD (2020)
Keyphrases
- metamodel
- transformation rules
- development process
- modeling language
- data model
- software systems
- black box
- life cycle
- model driven
- uml profile
- reference model
- multi agent systems
- design patterns
- alternating time temporal logic
- semi automatic
- temporal logic
- development processes
- data sets
- point correspondences
- training data
- constraint language
- database
- model checking
- object oriented
- artificial intelligence
- databases
- model driven architecture