ConceptBase V4.1 User Manual

Matthias Jarke, Manfred A. Jeusfeld, Martin Staudt (Eds.)

Contributions to this manual were made by: Lutz Bauer, Rainer Gallersdörfer, Michael Gebhardt, Manfred Jeusfeld, Thomas List, Hans Nissen, Christoph Quix, René Soiron Martin Staudt and Ralf Stössel.

This manual refers to: ConceptBase V4.1, released 15-Aug-1996
Last update on manual: 9-Aug-1996

Abstract:

ConceptBase is an experimental deductive object base management system specifically intended for meta data management and the coordination of design environments. It integrates techniques from deductive, object-oriented, and temporal databases in the logical framework of the data model Telos. The usage environment offers an extensible palette of graphical, tabular, and textual windows conforming to the X11 standard. The communication between the windows and the object base is organized in a client-server architecture using TCP/IP.

• Contents
• Introduction
  • Background and History
  • ConceptBase Architecture
  • Hardware and Software Requirements
  • Overview of this Manual
  • Differences to Earlier Versions
  • Perspective
• The Telos Language in ConceptBase
  • Frame and Network Representation
  • The Predicative Sublanguage CBL
  • The Query Language CBQL
• The ConceptBase Usage Environment
  • ConceptBase Workbench
    • Menubar
    • Smart Icon Panel
    • Telos Editor Field
    • Protocol Field
    • Statusline
  • Browsing Utilities
    • Display Instances
    • Display Queries
    • GraphBrowser
  • An Example Session with ConceptBase
    • Starting ConceptBase
    • Connecting the Usage Environment to the ConceptBase Server
    • Loading Objects from external Files
    • Displaying Objects
    • Browsing Objects
    • Editing Telos Objects
    • Storing Objects to External Files
    • Using the Query Facility
• References
• Installation Guide
  • System Requirements
  • Files
  • Installation
  • Registering your installation
  • Starting ConceptBase
    • Starting the ConceptBase Server
    • Starting the ConceptBase Usage Environment
    • Connecting Server and Usage Environment
  • Important additional remarks
  • Contact
• Syntax Specifications
  • Syntax Specifications for Telos Objects
  • Syntax of the Assertion Language
  • Terminal Symbols
  • Syntax Specifications for SML Fragments
• Graphical Types
  • The Graphical Type Model
  • The Graphical Types of the Standard Graph Browser Configuration
  • Customizing the Graph Browser Layout
• Examples
  • Example Model: The Employee Model
  • A Telos Modeling Example - ER Diagrams
    • The basic model
    • The use of metaformulas
      • Example: necessary and single
      • Metaformulas defining sets of rules
    • Limitations and final remarks
• About this document ...