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

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-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 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
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	International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1997 - Enschede, Netherlands Duration: 2 Apr 1997 → 4 Apr 1997 Conference number: 3rd

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1217
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1997
Abbreviated title	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; Vol. 1217). Springer. https://doi.org/10.1007/BFb0035384

@inproceedings{a33b611c74d04a65a50f83bc6d636c92,

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

year = "1997",

doi = "10.1007/BFb0035384",

language = "English",

isbn = "3540627901",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "112--129",

editor = "Ed Brinksma",

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

note = "International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1997, TACAS 1997 ; Conference date: 02-04-1997 Through 04-04-1997",

}

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, vol. 1217, Springer, pp. 112-129, International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 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, 1997. p. 112-129 (Lecture Notes in Computer Science; Vol. 1217).

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

TY - GEN

T1 - Graphs in metaframe

T2 - International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 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.

N1 - Conference code: 3rd

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 Paper

AN - SCOPUS:84958756857

SN - 3540627901

SN - 9783540627906

T3 - Lecture Notes in Computer Science

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

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. 1997. p. 112-129. (Lecture Notes in Computer Science). https://doi.org/10.1007/BFb0035384

Graphs in metaframe: the unifying power of polymorphism

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this