Graphs in metaframe: the unifying power of polymorphism

M. Yon Der Beeck, V. Braun, A. Claßen, A. Dannecker, C. Friedrich, D. Koschfitzki, T. Margaria, F. Schreiber, B. Steffen

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

8 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings
EditorsEd Brinksma
PublisherSpringer
Pages112-129
Number of pages18
ISBN (Print)3540627901, 9783540627906
DOIs
Publication statusPublished - 1997
Externally publishedYes
EventInternational Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1997 - Enschede, Netherlands
Duration: 2 Apr 19974 Apr 1997
Conference number: 3rd

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume1217
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1997
Abbreviated titleTACAS 1997
Country/TerritoryNetherlands
CityEnschede
Period2/04/974/04/97

Cite this