Using MDE for Generic Comparison of Views

Title

Using MDE for Generic Comparison of Views

 Author

Graaf, B.S.
Van Deursen, A.

Faculty

Electrical Engineering, Mathematics and Computer Science

 Department

Software Technology

 Date

2007-12-31

 Abstract

We investigate the application of technologies for modeldriven engineering to check the conformance of two software models. This involves their model-based comparison, and visualisation of the results. To generalise our approach we use reflection, metamodel generalisation, and higher-order transformations. We apply our approach to assess the extent to which the implementation of an academic example system does not violate the constraints defined by its architecture specification. Preprint accepted for publication in the Proceedings of the 4th International Workshop on Model Design, Verification and Validation (MODEVVA 2007), 2007

 To reference this document use:

http://resolver.tudelft.nl/uuid:7cdfd7b0-b174-4e34-8475-10d8057c21a2

 Publisher

Delft University of Technology, Software Engineering Research Group

 ISSN

1872-5392

 Source

Technical Report Series TUD-SERG-2007-021

 Part of collection

Institutional Repository

 Document type

report

 Rights

(c) 2007 The authors. Software Engineering Research Group, Department of Software Technology, Faculty of Electrical Engineering, Mathematics and Computer Science, Delft University of Technology.
Files
PDF TUD-SERG-2007-021.pdf 199.15 KB
Close viewer