© 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}, }