School of Computing

Tooling Metamodels with Patterns and OCL

D. H. Akehurst and O. Patrascoiu

In Proceedings of the Metamodelling for MDA Workshop, pages 182-196, York, November 2003.


Computing is moving to a new paradigm where models are first class artefacts. Metamodelling is one of the foundations of this future. However, it is all very well to have metamodels and languages with which to define them (i.e. MOF), but what should we do with them once they are defined? One task should be to populate the model described by the metamodel definition and ensure that the well-formedness constraints are correctly specified; another task may be to create a tool based on the metamodel. In order to enable experiments with variations in the metamodel an automated approach to building such tools is required. Judicious use of patterns can facilitate automatic generation of such tools. The ability to auto-generate a tool from a metamodel definition facilitates experimentation and general confidence in the definition of the metamodel. The tool generated can be subsequently used as the foundation for a more functionally rich hand-coded tool.

Download publication 317 kbytes (PDF)

Bibtex Record

author = {D. H. Akehurst and O. Patrascoiu},
title = {{Tooling Metamodels with Patterns and OCL}},
month = {November},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {27281_1066835388},
    booktitle = {Proceedings of the Metamodelling for MDA Workshop},
    address = {York},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014