Contract-based verification of model transformations: a formally founded approach
Abstract
References
Index Terms
- Contract-based verification of model transformations: a formally founded approach
Recommendations
Automated verification of model transformations based on visual contracts
Model-Driven Engineering promotes the use of models to conduct the different phases of the software development. In this way, models are transformed between different languages and notations until code is generated for the final application. Hence, the ...
A Contribution to the Specification of Model Transformations with Metamodel Matching Approach
Model-driven engineering MDE is a paradigm based on the intensive use of models throughout the life cycle of an application, where model transformation plays an important role. Various model transformation approaches have been proposed, but developers ...
An Algebraic Semantics for QVT-Relations Check-only Transformations
QVT is the standard for model transformation defined by the OMG in the context of the Model-Driven Architecture. It is made of several transformation languages. Among them, QVT-Relations is the one with the highest level of abstraction, as it permits ...
Comments
Information & Contributors
Information
Published In
- Conference Chairs:
- Chih-Cheng Hung,
- Jiman Hong,
- Program Chairs:
- Alessio Bechini,
- Eunjee Song
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
Acceptance Rates
Upcoming Conference
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 42Total Downloads
- Downloads (Last 12 months)5
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in