Publication | Closed Access
Towards automatic model synchronization from model transformations
150
Citations
15
References
2007
Year
Unknown Venue
Software MaintenanceEngineeringModel Transformation TechniquesVerificationSoftware EngineeringSoftware AnalysisFormal VerificationModel TransformationsModel CompositionData ScienceManagementSystems EngineeringData IntegrationModel-based Software DevelopmentModeling And SimulationModel Transformation LanguageMetamodel TechniquesDesignComputer ScienceModel TransformationSoftware DesignSoftware DevelopmentAutomated ReasoningProcess ControlFormal MethodsData Transformation (Computing)Data Modeling
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. However, after a transformation is applied, the source model and the target model usually co-exist and evolve independently. How to propagate modifications across models in different formats still remains as an open problem.
| Year | Citations | |
|---|---|---|
Page 1
Page 1