Visual Modelling Group
Library Home || Full Table of Contents || Library Help
|University of Brighton|
|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.|
|Resource Types:||Research Centers, Articles|
|Math Topics:||Set Theory, Linguistics|
© 1994- The Math Forum at NCTM. All rights reserved.