School of Computing

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

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

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

Last Updated: 21/03/2014