Computer-Aided Program Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel

The RelView-System is an interactive tool for computer-supported manipulation of relations represented as Boolean matrices or directed graphs, especially for prototyping relational specifications and programs. It is developed at the Department of Computer Science and Applied Mathematics of Christian-Albrechts-University of Kiel.This Web-page describes how to get RelView and provides some further information.

News

July, 2009: After a long time of development, the new version 7.2 is out. Here is a brief overview of changes from version 7.0:

• Ported from GTK+-1.0 to GTK+-2.0.
• Added a new file format called Xdd, based on XML and BDDs. The DDD and XRV formats should no longer be used and will be removed in future versions.
• It's now possible to cancel a running evaluation.
• A simple debugger and an ASSERT() statement were added.
• Editing graphs in the GUI has been simplified.
• TRUE()/FALSE() functions were added.
• Execution of WHILE loops has been fixed.
• Various minor changes and bug fixes.

For a more detailed overview, take a look at the documentation. Downloads are available here. Version 7.2 is also installed on the local system.

Sitemap

• How to get RelView (current release 7.2 and former release 7.0)

• The FreeBSD-port of RelView 7.0 by Michael Ebert

• Documentation

• Problems

• Some interesting papers

• Examples for RelView programs:

  • Approximation algorithms
  • Graph-theoretic algorithms
  • Algorithms for orders and lattices
  • Algorithms for C/E Petri nets
  • Recursive programs
  • Miscellaneous

• The local installation

• RelView Development for emacs

• The KURE for your relational problems - The Kiel University Relation package contains the relational functions of RelView in an easy to use linkable C library. The Java library KURE-Java is an extension of the KURE library and has been developed at the Chair of Software Technology at the University of Dortmund. Currently this Java library is used to reimplement RelView as plugin for the development platform Eclipse, called RelClipse .

Please send any comments, bug reports and wishes for improvement of the system to:

Rudolf Berghammer, e-mail: rub@informatik.uni-kiel.de

or Stefan Bolus.

Institut für Informatik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40
D-24098 Kiel, Germany

Copyright notice

Copyright (C) 2002 Christian-Albrechts-University of Kiel

This software is free software; you can redistribute it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation (version 2.1 of the License).

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You can download a copy of the GNU Lesser General Public License; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA