Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Visual Modelling Group

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.