Document No.:STRADIWARE/MU-ICS/D13.v3
Project Name:    STRADIWARE
Contract No.:    COPERNICUS 977132
 
Title:    Graph Language Specification
 
Main Author(s):    Miroslav Benešovský, Jana Kohoutková, Jaromír Ocelka, Karel Skoupý
 
Workpackage:    Workpackage 1 Design T1.3: Graph Language Specification
 
Document Type:    Report
Classification:    Confidential
Distribution:    PMC
Status:    Completed
File reference:    STDW MU-ICS D13.v3 HTML
Version:   v3
Date:    19 March 2001

Graph Language Specification


1. Graph Language Requirements
1.1. Graph Language in the Context of STRADIWARE Architecture
1.2. IST Levels of Abstraction and Their Representation
1.3. Motivation Examples
1.4. Requirements on Representation: UMT
1.5. Graph Language Requirements
2. Gralan Specification
2.1. Lists and Sets
2.2. Graphs
2.3. Graphs Loaded with Constraints
3. Examples of Using Gralan
3.1. Graphs, Nodes and Edges
3.2. Graphs Loaded with Constraints
3.3. IST for an Insurance Company
3.4. Notes on UMT Implementation Using Gralan
4. References