Results 1 
4 of
4
MetaCASE in practice: A Case for KOGGE
 In Proceedings of the 9th International Conference on Advanced Information Systems Engineering, LNCS 1250
, 1997
"... Abstract. MetaCASE tools are used to generate CASE tools; KOGGE is such a metaCASE system. Two of KOGGE's main objectives are adaptability and flexibility which address the growing need for problem specific solutions. As an example it is shown how a CASE tool for the objectoriented method B ..."
Abstract

Cited by 31 (2 self)
 Add to MetaCart
(Show Context)
Abstract. MetaCASE tools are used to generate CASE tools; KOGGE is such a metaCASE system. Two of KOGGE's main objectives are adaptability and flexibility which address the growing need for problem specific solutions. As an example it is shown how a CASE tool for the objectoriented method BON BONsai was constructed using KOGGE.
A Declarative Approach to Graph Based Modeling
 Graphtheoretic Concepts in Computer Science, number 903 in LNCS
, 1995
"... The class of TGraphs, i.e. typed, attributed, and ordered directed graphs, is introduced as a general graph class for graph based modeling. TGraphs are suitable for a wide area of applications. A declarative approach to specifying subclasses of TGraphs by a combination of a schematic graphical descr ..."
Abstract

Cited by 26 (8 self)
 Add to MetaCart
The class of TGraphs, i.e. typed, attributed, and ordered directed graphs, is introduced as a general graph class for graph based modeling. TGraphs are suitable for a wide area of applications. A declarative approach to specifying subclasses of TGraphs by a combination of a schematic graphical description and an additional constraint language is given. The implementation of TGraphs by an appropriate software approach is described. 1 Introduction Modeling parts of the real world is a wide area of applications of graph theoretic concepts in practice. E.g. in the software design process the structure of the information to be kept and handled by the system is often describable by graphs. In order to describe which graphs are correct models and which are not, an approach to describing classes of graphs (graph languages) is necessary. Since graphs are to the same extent B expressive pictures, B formal models, and B efficient data structures, a wellbased approach to working with graphs i...
Graph Based Modeling and Implementation with EER/GRAL
, 1996
"... This paper gives a cohesive approach to modeling and implementation with graphs. This approach uses extended entity relationship (EER) diagrams supplemented with the Zlike constraint language GRAL. Due to the foundation of EER/GRAL on Z a common formal basis exists. EER/GRAL descriptions give con ..."
Abstract

Cited by 25 (14 self)
 Add to MetaCart
(Show Context)
This paper gives a cohesive approach to modeling and implementation with graphs. This approach uses extended entity relationship (EER) diagrams supplemented with the Zlike constraint language GRAL. Due to the foundation of EER/GRAL on Z a common formal basis exists. EER/GRAL descriptions give conceptual models which can be implemented in a seamless manner by efficient data structures using the GraLab graph library. Descriptions of four medium size EER/GRALapplications conclude the paper to demonstrate the usefulness of the approach in practice.