Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Visual Modelling Group

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.it.bton.ac.uk/research/vmg/

Author:University of Brighton
Description: This research group focuses on giving formal semantics to existing notations, developing new visual notations, and reasoning with them. The Visual Modelling Group has developed a constraint diagram notation that visually expresses mathematical constraints for use with UML notations in software development. This notation led to the visual notation of spider diagrams, based on Venn and Euler diagrams. The group has given formal semantics to the notation in terms of set theory/first-order predicate logic. Similar semantic analysis has been applied to object-oriented modelling techniques. Download a constraint diagram editor; read recent publications, more about the group, its members, and conferences in which it has participated.

Levels: College, Research
Languages: English
Resource Types: Research Centers, Articles
Math Topics: Set Theory, Linguistics

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.