Graphs in MetaFrame: The unifying power of polymorphism [chapter]

M. von der Beeck, V. Braun, A. Claßen, A. Dannecker, C. Friedrich, D. Koschützki, T. Margaria, F. Schreiber, B. Steffen
1997 Lecture Notes in Computer Science  
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The flexibility of this tool, which mainly arises as a consequence of combining complex graph labelings expressing the intended semantics with hierarchy and customized graphical node representations, is illustrated along a representative choice of application scenarios.
doi:10.1007/bfb0035384 fatcat:e3ozk7d2wrauve6jibahhog3vq