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