© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An oo visual language definition approach supporting multiple views
D.H. Akehurst
In VL2000, IEEE Symposium on Visual Languages, pages 182-196, September 2000.Abstract
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation rules of the concrete representation. This paper presents a constraint and object-oriented approach to defining visual languages that uses UML and OCL as a definition language. Visual language definitions specify a mapping between concrete and abstract models of possible visual sentences, which can subsequently be used to determine if instances of each model validly express each other. This technique supports many:many mappings between concrete and abstract model instances, and supports the implementation of functionality that requires feedback from the abstract domain to the concrete.
Download publication 20 kbytes (PDF)Bibtex Record
@inproceedings{1097,
author = {D.H. Akehurst},
title = {An OO Visual Language Definition Approach Supporting Multiple Views},
month = {September},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1097},
booktitle = {VL2000, IEEE Symposium on Visual Languages},
publication_type = {inproceedings},
submission_id = {11165_966517418},
}