The following picture shows the login window and the main window after login. Detailed description of the address book with download instructions. If one writes an attribute, it acquires an exclusive lock for this attribute. Trying to does this leads, after a delay, to a message that a lock could not be acquired. At the moment, PI-SET includes tools for ER documents, class diagrams, and state diagrams.
Additional tools are under development.
PI-SET tools are developed using the genform framework. For questions and comments mail to Prof. U. Kelter or Marc Monecke . These are tools and SDEs developed by ourselves, with Java front ends. Detailed description of the ER browser and download instructions. Tools based on the X window system ToolFrame.