Resource abstraction and validation
Abstract
Recommendations
Combining unit and specification-based testing for meta-model validation and verification
Meta-models play a cornerstone role in Model-Driven Engineering as they are used to define the abstract syntax of modelling languages, and so models and all sorts of model transformations depend on them. However, there are scarce tools and methods ...
EMF Based Validation Methods of the Static Semantics of Models
ICISCE '15: Proceedings of the 2015 2nd International Conference on Information Science and Control EngineeringA metamodel is a description language of models. To address the problem that validation rules of the SMP2 metamodel haven't been implemented by XML Schema, a method to enhance the accuracy of the model by adding static semantics to the SMP2 metamodel is ...
Example-based validation of domain-specific visual languages
SLE 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language EngineeringThe definition of Domain-Specific Languages (DSLs) is a recurrent activity in Model-Driven Engineering. However, their construction is many times an ad-hoc process, partly due to the lack of tools enabling a proper engineering of DSLs and promoting ...
Comments
Information & Contributors
Information
Published In

Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 105Total Downloads
- Downloads (Last 12 months)27
- Downloads (Last 6 weeks)4
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