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

doi:10.1007/BFb0035384

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

University of Passau

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings
Editors	Ed Brinksma
Publisher	Springer Verlag
Pages	112-129
Number of pages	18
ISBN (Print)	3540627901, 9783540627906
DOIs	https://doi.org/10.1007/BFb0035384
Publication status	Published - 1997
Externally published	Yes
Event	3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997 - Enschede, Netherlands Duration: 2 Apr 1997 → 4 Apr 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1217
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997
Country/Territory	Netherlands
City	Enschede
Period	2/04/97 → 4/04/97

Access to Document

10.1007/BFb0035384

Cite this

Yon Der Beeck, M., Braun, V., Claßen, A., Dannecker, A., Friedrich, C., Koschfitzki, D., Margaria, T., Schreiber, F., & Steffen, B. (1997). Graphs in metaframe: The unifying power of polymorphism. In E. Brinksma (Ed.), Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings (pp. 112-129). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1217). Springer Verlag. https://doi.org/10.1007/BFb0035384

Yon Der Beeck, M. ; Braun, V. ; Claßen, A. et al. / Graphs in metaframe : The unifying power of polymorphism. Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. editor / Ed Brinksma. Springer Verlag, 1997. pp. 112-129 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f0c2f8da2d3f43088a66f95738f81d2e,

title = "Graphs in metaframe: The unifying power of polymorphism",

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.",

author = "{Yon Der Beeck}, M. and V. Braun and A. Cla{\ss}en and A. Dannecker and C. Friedrich and D. Koschfitzki and T. Margaria and F. Schreiber and B. Steffen",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997 ; Conference date: 02-04-1997 Through 04-04-1997",

year = "1997",

doi = "10.1007/BFb0035384",

language = "English",

isbn = "3540627901",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "112--129",

editor = "Ed Brinksma",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings",

}

Yon Der Beeck, M, Braun, V, Claßen, A, Dannecker, A, Friedrich, C, Koschfitzki, D, Margaria, T, Schreiber, F & Steffen, B 1997, Graphs in metaframe: The unifying power of polymorphism. in E Brinksma (ed.), Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1217, Springer Verlag, pp. 112-129, 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997, Enschede, Netherlands, 2/04/97. https://doi.org/10.1007/BFb0035384

Graphs in metaframe: The unifying power of polymorphism. / Yon Der Beeck, M.; Braun, V.; Claßen, A. et al.
Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. ed. / Ed Brinksma. Springer Verlag, 1997. p. 112-129 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1217).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Graphs in metaframe

T2 - 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997

AU - Yon Der Beeck, M.

AU - Braun, V.

AU - Claßen, A.

AU - Dannecker, A.

AU - Friedrich, C.

AU - Koschfitzki, D.

AU - Margaria, T.

AU - Schreiber, F.

AU - Steffen, B.

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84958756857&partnerID=8YFLogxK

U2 - 10.1007/BFb0035384

DO - 10.1007/BFb0035384

M3 - Conference contribution

AN - SCOPUS:84958756857

SN - 3540627901

SN - 9783540627906

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 112

EP - 129

BT - Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings

A2 - Brinksma, Ed

PB - Springer Verlag

Y2 - 2 April 1997 through 4 April 1997

ER -

Yon Der Beeck M, Braun V, Claßen A, Dannecker A, Friedrich C, Koschfitzki D et al. Graphs in metaframe: The unifying power of polymorphism. In Brinksma E, editor, Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Springer Verlag. 1997. p. 112-129. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0035384

Graphs in metaframe: The unifying power of polymorphism

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this