{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:13Z","timestamp":1761611173615},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627906"},{"type":"electronic","value":"9783540685197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035384","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:28:40Z","timestamp":1138184920000},"page":"112-129","source":"Crossref","is-referenced-by-count":6,"title":["Graphs in MetaFrame: The unifying power of polymorphism"],"prefix":"10.1007","author":[{"given":"M.","family":"von der Beeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Braun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Cla\u00dfen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Dannecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Kosch\u00fctzki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Schreiber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"M. von der Beeck, B. Steffen, T. Margaria: \u201cA Formal Requirements Engineering Method and an Environment for Specification, Synthesis, and Verification\u201d, Proc. of SEE '97, 8th IEEE Conference on Software Engineering Environments, Cottbus (Germany) 8\u20139 April 1997.","DOI":"10.1109\/SEE.1997.591825"},{"key":"9_CR2","series-title":"LNCS 1102","first-page":"398","volume-title":"Proc. CAV'96","author":"R. Cleaveland","year":"1996","unstructured":"R. Cleaveland, P. Lewis, S. Smolka, O. Sokolski: \u201cThe Concurrency Factory: A Development Environment for Concurrent Sysytems,\u201d Proc. CAV'96-Juli\u2013Aug. 1996, New Brunswick, NJ, USA, LNCS 1102, pp.398\u2013401, Springer Verlag."},{"key":"9_CR3","unstructured":"daVinci: the tool is available via ftp at site ftp:\/\/ftp.uni-bremen.de\/pub\/graphics\/daVinci"},{"key":"9_CR4","unstructured":"Information on DG is available at http:\/\/www.cse.ogi.edu:80\/Sparse\/dg.html"},{"key":"9_CR5","unstructured":"C. Friedrich: \u201cThe ffgraph Library\u201d, Techn. Rep. MIP95-20, Univ\u201d, Pro. of Passau (D), December 1995, http:\/\/www.fmi.uni-passau.de\/friedric\/ffgraph\/main.shtml"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"B. Grahlmann, E. Best: \u201cPEP \u2014 More than a Petri Net Tool. TACAS'96, Passau (D), March '96, LNCS 1055, pp. 397\u2013401, Springer Verlag (see also http:\/\/www.informatik.uni-hildesheim.de\/ pep\/HomePage.html).","DOI":"10.1007\/3-540-61042-1_58"},{"key":"9_CR7","unstructured":"Information on Graphlet is available at http:\/\/www.uni-passau.de\/Graphlet\/"},{"key":"9_CR8","unstructured":"Information on GraphViz is available at http:\/\/www.research.att.com\/sw\/tools\/graphviz\/."},{"key":"9_CR9","series-title":"LNCS 1019","first-page":"89","volume-title":"Proc. TACAS'95","author":"J. Henriksen","year":"1995","unstructured":"J. Henriksen, J. Jensen, M. J\u00f8rgensen N. Klarlund, R. Paige, T. Rauhe, A. Sandholm: \u201cMona: Monadic second-order logic in practice,\u201d Proc. TACAS'95, \u00c5rhus (DK), May 1995, LNCS 1019, Springer V., pp. 89\u2013110."},{"key":"9_CR10","unstructured":"Michael Himsolt. GraphEd User Manual. Universit\u00e4t Passau, 1990, see also http:\/\/www.uni-passau.de\/himsolt\/GraphEd\/"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"M. Klein, J. Knoop, D. Kosch\u00fctzki, B. Steffen: \u201cDFA & OPT-MetaFrame: A Tool Kit for Program Analysis and Optimization\u201d, Proc. TACAS'96, Passau (D), March '96, LNCS 1055, pp. 422\u2013426, Springer Verlag.","DOI":"10.1007\/3-540-61042-1_64"},{"key":"9_CR12","volume-title":"Proc. TACAS'97","author":"P. Kelb","year":"1997","unstructured":"P. Kelb, T. Margaria, M. Mendler, C. Gsottberger: \u201cMosel: A Flexible Toolset for Monadic Second-Order Logic\u201d Proc. TACAS'97, Univ. of Twente, Enschede (NL), April 1997, this volume."},{"key":"9_CR13","unstructured":"S. N\u00e4her: \u201cLEDA user manual (version 3.0),\u201d Technical report, Max-Plank-Institut f\u00fcr Informatik, Saarbr\u00fccken, 1994, see also http:\/\/www.mpi-sb.mpg.de\/LEDA\/leda.html"},{"key":"9_CR14","unstructured":"John K. Ousterhout: \u201cTcl and the Tk Toolkit\u201d, Addison-Wesley, April 1994."},{"key":"9_CR15","volume-title":"Proc. CAV'90","author":"V. Roy","year":"1990","unstructured":"V. Roy, R. de Simone: \u201cAUTO and autograph,\u201d Proc. CAV'90, New Brunswick NJ (USA), June 1990, AMS-DIMACS."},{"key":"9_CR16","volume-title":"Technical Report A03\/94","author":"G. Sander","year":"1994","unstructured":"Georg Sander: \u201cGraph layout through the VCG tool,\u201d Technical Report A03\/94, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, D, October 1994."},{"key":"9_CR17","unstructured":"\u201cSpecification and Description Language\u201d, Recommendation ITU Z.100, ITU, Geneva."},{"key":"9_CR18","unstructured":"SDT 3.0, SDL Design Tool, Telelogic AB, Malm\u00f6 (S), http:\/\/www.telelogic.se\/"},{"key":"9_CR19","unstructured":"Information on both Lens and GROOVE are available at the SoftViz site, see http:\/\/www.cc.gatech.edu\/gvu\/softviz\/SoftViz.html"},{"key":"9_CR20","volume-title":"Graphing Package Report for Group V","author":"S. Spagnolo","year":"1996","unstructured":"S. Spagnolo, A. Parker, K. Chan, M. Mahemoff: \u201cGraphing Package Report for Group V\u201d, 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"},{"key":"9_CR21","series-title":"LNCS 962","volume-title":"(invited paper) to CONCUR'95","author":"B. Steffen","year":"1995","unstructured":"B. Steffen, A. Cla\u00dfen, M. Klein, J. Knoop. T. Margaria: \u201cThe Fixpoint Analysis Machine\u201d, (invited paper) to CONCUR'95, Pittsburgh (USA), August 1995, LNCS 962, Springer Verlag."},{"key":"9_CR22","unstructured":"B. Steffen, B. Freitag, A. Cla\u00dfen, T. Margaria, U. Zukowski: \u201cAn Approach to Intelligent Software Library Management\u201d, Proc. 4th Int. Conf. on Database Systems for Advanced Applications (DASFAA '95), Nat. Univ. of Singapore, April 10\u201313, 1995."},{"key":"9_CR23","first-page":"287","volume-title":"invited contribution to the book \u201cThe Advanced Intelligent Network: A Comprehensive Report","author":"B. Steffen","year":"1995","unstructured":"B. Steffen, T. Margaria, V. Braun, M. Reitenspie\u00df: \u201cAn Environment for the Creation of Intelligent Network Services\u201d, invited contribution to the book \u201cThe Advanced Intelligent Network: A Comprehensive Report\u201d, Int. Engineering Consortium Chicago (USA), Dec. 1995, pp. 287\u2013300.-also reprinted in the Annual Review of Communications, IEC, 1996."},{"key":"9_CR24","volume-title":"Appears in the Annual Review of Communications","author":"B. Steffen","year":"1997","unstructured":"B. Steffen, T. Margaria, V. Braun, A. Cla\u00dfen, H. Wendler: \u201cHierarchical Service Definition\u201d, Appears in the Annual Review of Communications, IEC-Int. Engineering Consortium, Chicago (USA), 1997."},{"key":"9_CR25","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun: \u201cIncremental Formalization: a Key to Industrial Success\u201d, In \u201cSOFTWARE: Concepts and Tools\u201d, Vol.17, N.2, pp. 78\u201391, Springer Verlag, July 1996."},{"key":"9_CR26","series-title":"LNCS 1102","first-page":"450","volume-title":"Proc. CAV'96","author":"B. Steffen","year":"1996","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun: \u201cThe MetaFrame'95 Environment\u201d, Proc. CAV'96-Juli\u2013Aug. 1996, New Brunswick, NJ, USA, LNCS 1102, pp.450\u2013453, Springer Verlag."},{"key":"9_CR27","unstructured":"B. Steffen, T. Margaria, M. von der Beeck: \u201cAutomatic 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\u2013141."},{"key":"9_CR28","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen: \u201cHeterogeneous Analysis and Verification for Distributed Systems\u201d, \u201cSOFTWARE: Concepts and Tools\u201d, N. 17, pp. 13\u201325, March 1996, Springer Verlag."},{"issue":"N.2","key":"9_CR29","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/TSMC.1981.4308636","volume":"11","author":"K. Sugiyama","year":"1981","unstructured":"K. Sugiyama, S. Tagawa, M. Toda: \u201cMethods for Visual Understanding of Hierarchical System Structures\u201d, IEEE Transactions on Systems, Man, & Cybernetics, Vol.11, N.2, Feb. 1981, pp.109\u2013125.","journal-title":"IEEE Transactions on Systems, Man, & Cybernetics"},{"key":"9_CR30","unstructured":"V. Trehan: \u201cVTView: A graphical editor for hierarchical networks of finite-state processes,\u201d Master's thesis, Dept. of Computer Science, North Carolina State University, Dec. 1992."},{"key":"9_CR31","unstructured":"K. Turner: \u201cUsing Formal Description Techniques\u201d, J. Wiley, 1993."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:40:04Z","timestamp":1555411204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627906","9783540685197"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0035384","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}