Graphs in METAFrame: The Unifying Power of Polymorphism

We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The exibility 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.

• Type: Conference
• Year: 1997
• Where: TACAS
• Authors: Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen
• Keywords: Algorithms, Complex Graph Labelings, Graphical Node Representations, Polymorphic Tool, TACAS 1997