Gralan: grafová knihovna pro podporu univerzálního modelování

SKOUPÝ, Karel, Miroslav BENEŠOVSKÝ, Jana KOHOUTKOVÁ and Jaromír OCELKA. Gralan: grafová knihovna pro podporu univerzálního modelování (Gralan: Graph Library to Support Universal Modelling). In DATAKON 2001. Proc. of the Annual Database Conference. Bratislava: Slovenská technická univerzita v Bratislave, 2001, p. 221-230. ISBN 80-227-1597-2.

Basic information

Original name

Gralan: grafová knihovna pro podporu univerzálního modelování

Name (in English)

Gralan: Graph Library to Support Universal Modelling

Authors

SKOUPÝ, Karel, Miroslav BENEŠOVSKÝ, Jana KOHOUTKOVÁ and Jaromír OCELKA

Edition

Bratislava, DATAKON 2001. Proc. of the Annual Database Conference, p. 221-230, 2001

Publisher

Slovenská technická univerzita v Bratislave

---

Other information

Language

Czech

Type of outcome

Stať ve sborníku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Slovakia

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/01:00004490

Organization unit

Faculty of Informatics

ISBN

80-227-1597-2

Keywords in English

modelling; graphs; abstract data types

Tags

abstract data types, graphs, Modelling

---

Abstract

V originále

V článku je formou abstraktních datových typů popsána grafová knihovna Gralan určená pro podporu modelování objektů a jejich vzájemných vztahů, na něž lze klást omezující podmínky (tzv. pravidla konektivity). Na příkladu je ukázáno využití Gralanu při modelování informačních strategií.

In English

The CASSP system was designed to provide environment for the integration of various tools supporting an analyst in the process of information strategy development. The paper briefly describes the architecture of CASSP, and concentrates on the graph library called Gralan, designed to support the modelling of objects and their mutual relationships by means of graphs. The modelling of graphs can be constrained by additional rules (e.g., connectivity rules). The types and functions of Gralan (together with respective axioms and preconditions) are formally described by means of abstract data types. An example demonstrates the use of Gralan in the process of information strategy modelling.

---

Links

MSM 143300004, plan (intention)

Name: Digitální knihovny Investor: Ministry of Education, Youth and Sports of the CR, Digital libraries