© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Two-Level Modeling
A Lauder and S Kent
In Proceedings of TOOLS Asia 99, pages 182-196. IEEE Computer Society Press, December 1999.Abstract
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It transpires, however, that the abstract syntax meta-model underlying UML is inherently more expressive that the concrete syntax layered on top of it. By directly reaching into, exploiting and, where necessary extending the meta-model we are able to constrain fully our domain models. Furthermore, since different fragments of a given model require different levels of expressive power, we are able to utilize a blend of concrete and extended abstract syntaxes to achieve a compact yet rich form of modeling. Finally, enhancing the concrete syntax of the modeling language, allowing the association of new concrete graphical icons with our abstract syntax extensions, facilitates the expression of models in an even more compact, readable, and intuitive form.
Download publication
77 kbytes
(PDF)
Bibtex Record
@inproceedings{979,
author = {A Lauder and S Kent},
title = {{Two-Level Modeling}},
month = {December},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/979},
booktitle = {Proceedings of TOOLS Asia 99},
publication_type = {inproceedings},
publisher = {IEEE Computer Society Press},
submission_id = {7613_949940268},
}