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.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. von der Beeck, B. Steffen, T. Margaria: “A Formal Requirements Engineering Method and an Environment for Specification, Synthesis, and Verification”, Proc. of SEE '97, 8th IEEE Conference on Software Engineering Environments, Cottbus (Germany) 8–9 April 1997.
R. Cleaveland, P. Lewis, S. Smolka, O. Sokolski: “The Concurrency Factory: A Development Environment for Concurrent Sysytems,” Proc. CAV'96-Juli–Aug. 1996, New Brunswick, NJ, USA, LNCS 1102, pp.398–401, Springer Verlag.
daVinci: the tool is available via ftp at site ftp://ftp.uni-bremen.de/pub/graphics/daVinci
Information on DG is available at http://www.cse.ogi.edu:80/Sparse/dg.html
C. Friedrich: “The ffgraph Library”, Techn. Rep. MIP95-20, Univ”, Pro. of Passau (D), December 1995, http://www.fmi.uni-passau.de/friedric/ffgraph/main.shtml
B. Grahlmann, E. Best: “PEP — More than a Petri Net Tool. TACAS'96, Passau (D), March '96, LNCS 1055, pp. 397–401, Springer Verlag (see also http://www.informatik.uni-hildesheim.de/ pep/HomePage.html).
Information on Graphlet is available at http://www.uni-passau.de/Graphlet/
Information on GraphViz is available at http://www.research.att.com/sw/tools/graphviz/.
J. Henriksen, J. Jensen, M. Jørgensen N. Klarlund, R. Paige, T. Rauhe, A. Sandholm: “Mona: Monadic second-order logic in practice,” Proc. TACAS'95, Århus (DK), May 1995, LNCS 1019, Springer V., pp. 89–110.
Michael Himsolt. GraphEd User Manual. Universität Passau, 1990, see also http://www.uni-passau.de/himsolt/GraphEd/
M. Klein, J. Knoop, D. Koschützki, B. Steffen: “DFA & OPT-MetaFrame: A Tool Kit for Program Analysis and Optimization”, Proc. TACAS'96, Passau (D), March '96, LNCS 1055, pp. 422–426, Springer Verlag.
P. Kelb, T. Margaria, M. Mendler, C. Gsottberger: “Mosel: A Flexible Toolset for Monadic Second-Order Logic” Proc. TACAS'97, Univ. of Twente, Enschede (NL), April 1997, this volume.
S. Näher: “LEDA user manual (version 3.0),” Technical report, Max-Plank-Institut für Informatik, Saarbrücken, 1994, see also http://www.mpi-sb.mpg.de/LEDA/leda.html
John K. Ousterhout: “Tcl and the Tk Toolkit”, Addison-Wesley, April 1994.
V. Roy, R. de Simone: “AUTO and autograph,” Proc. CAV'90, New Brunswick NJ (USA), June 1990, AMS-DIMACS.
Georg Sander: “Graph layout through the VCG tool,” Technical Report A03/94, Universität des Saarlandes, Saarbrücken, D, October 1994.
“Specification and Description Language”, Recommendation ITU Z.100, ITU, Geneva.
SDT 3.0, SDL Design Tool, Telelogic AB, Malmö (S), http://www.telelogic.se/
Information on both Lens and GROOVE are available at the SoftViz site, see http://www.cc.gatech.edu/gvu/softviz/SoftViz.html
S. Spagnolo, A. Parker, K. Chan, M. Mahemoff: “Graphing Package Report for Group V”, Dept. of CS, Univ. of Melbourne AUS, Oct. 1996, available at http://munkora.cs.mu.oz.au/440/html_versions_of_documents/ visualiser/v_graphrep/v_graphrep.html
B. Steffen, A. Claßen, M. Klein, J. Knoop. T. Margaria: “The Fixpoint Analysis Machine”, (invited paper) to CONCUR'95, Pittsburgh (USA), August 1995, LNCS 962, Springer Verlag.
B. Steffen, B. Freitag, A. Claßen, T. Margaria, U. Zukowski: “An Approach to Intelligent Software Library Management”, Proc. 4th Int. Conf. on Database Systems for Advanced Applications (DASFAA '95), Nat. Univ. of Singapore, April 10–13, 1995.
B. Steffen, T. Margaria, V. Braun, M. Reitenspieß: “An Environment for the Creation of Intelligent Network Services”, invited contribution to the book “The Advanced Intelligent Network: A Comprehensive Report”, Int. Engineering Consortium Chicago (USA), Dec. 1995, pp. 287–300.-also reprinted in the Annual Review of Communications, IEC, 1996.
B. Steffen, T. Margaria, V. Braun, A. Claßen, H. Wendler: “Hierarchical Service Definition”, Appears in the Annual Review of Communications, IEC-Int. Engineering Consortium, Chicago (USA), 1997.
B. Steffen, T. Margaria, A. Claßen, V. Braun: “Incremental Formalization: a Key to Industrial Success”, In “SOFTWARE: Concepts and Tools”, Vol.17, N.2, pp. 78–91, Springer Verlag, July 1996.
B. Steffen, T. Margaria, A. Claßen, V. Braun: “The MetaFrame'95 Environment”, Proc. CAV'96-Juli–Aug. 1996, New Brunswick, NJ, USA, LNCS 1102, pp.450–453, Springer Verlag.
B. Steffen, T. Margaria, M. von der Beeck: “Automatic Synthesis of Linear Process Models from Temporal Constraints: An Incremental Approach, Proc. AAS'97, ACM/SIGPLAN Int. Workshop on Automated Analysis of Software, Paris (F), 14. Jan. 1997 (affiliated to POPL'97), pp. 127–141.
B. Steffen, T. Margaria, A. Claßen: “Heterogeneous Analysis and Verification for Distributed Systems”, “SOFTWARE: Concepts and Tools”, N. 17, pp. 13–25, March 1996, Springer Verlag.
K. Sugiyama, S. Tagawa, M. Toda: “Methods for Visual Understanding of Hierarchical System Structures”, IEEE Transactions on Systems, Man, & Cybernetics, Vol.11, N.2, Feb. 1981, pp.109–125.
V. Trehan: “VTView: A graphical editor for hierarchical networks of finite-state processes,” Master's thesis, Dept. of Computer Science, North Carolina State University, Dec. 1992.
K. Turner: “Using Formal Description Techniques”, J. Wiley, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
von der Beeck, M. et al. (1997). Graphs in MetaFrame: The unifying power of polymorphism. In: Brinksma, E. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1997. Lecture Notes in Computer Science, vol 1217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035384
Download citation
DOI: https://doi.org/10.1007/BFb0035384
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62790-6
Online ISBN: 978-3-540-68519-7
eBook Packages: Springer Book Archive