Integration of Visual Contracts and Model Transformation for Enhanced MDE Development
In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018-10-14
Online
unknown
Zugriff:
Model transformations are an important aspect of Model-Driven Engineering as models throughout the software development process are transformed and refined until, finally, application code is generated. However, model transformations are complex to build, maintain, and verify for correctness. We propose the combination of visual contracts, an implementation independent approach for specifying correctness requirements for verification purposes, with operator-based model transformation execution to integrate both the specification of transformation requirements and the transformations themselves within the same framework. The graphical operator-based notation is used to define both the constraints of a contract and the transformation definition. This allows reuse of operators between the two and maintains implementation independence as the operators can be directly executed or compiled to other model-transformation languages. To illustrate the concept, we report on a prototype integration of visual contracts with our our existing operator-based model transformation framework and applied it in the law-enforcement context to transform relational data sources into Elasticsearch for multisource analytics. Refereed/Peer-reviewed
Titel: |
Integration of Visual Contracts and Model Transformation for Enhanced MDE Development
|
---|---|
Autor/in / Beteiligte Person: | Grossman, Georg ; Selway, Matt ; Owen, Kerryn R. ; Dexter, Richard M. ; Stumptner, Markus ; Owen, Kerryn R ; Dexter, Richard M ; 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018 Denmark 14-19 October 2018 |
Link: | |
Zeitschrift: | Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018-10-14 |
Veröffentlichung: | ACM, 2018 |
Medientyp: | unknown |
DOI: | 10.1145/3239372.3239399 |
Schlagwort: |
|
Sonstiges: |
|