LEADER 07522nam 22008535 450 001 9910143636103321 005 20200702165432.0 010 $a3-540-45104-8 024 7 $a10.1007/3-540-45104-8 035 $a(CKB)1000000000211220 035 $a(SSID)ssj0000321333 035 $a(PQKBManifestationID)11256255 035 $a(PQKBTitleCode)TC0000321333 035 $a(PQKBWorkID)10262965 035 $a(PQKB)11474525 035 $a(DE-He213)978-3-540-45104-4 035 $a(MiAaPQ)EBC3071894 035 $a(PPN)15519769X 035 $a(EXLCZ)991000000000211220 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplications of Graph Transformations with Industrial Relevance $eInternational Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings /$fedited by Manfred Nagl, Andreas Schürr, Manfred Münch 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XV, 496 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1779 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67658-9 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aModularization Concepts -- Term Graph Rewriting and Mobile Expressions in Functional Languages -- Graph Transformation Modules and Their Composition -- Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions -- Distributed System Modelling -- From UML Descriptions of High-Level Software Architectures to LQN Performance Models -- On a Uniform Representation of Transformation Systems -- A Note on Modeling Agent Systems by Graph Transformation -- Compositional Construction of Simulation Models Using Graph Grammars -- Software Architectures: Evolution and Reengineering -- Graph-Based Reverse Engineering and Reengineering Tools -- Support for Design Patterns through Graph Transformation Tools -- Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution -- Visual Graph Transformation Languages -- Visual Languages: Where Do We Stand? -- From Graph Transformation to Rule-Based Programming with Diagrams -- Using Fujaba for the Development of Production Control Systems -- Visual Language Modeling and Tool Development -- A Formal Definition of Structured Analysis with Programmable Graph Grammars -- Creating Semantic Representations of Diagrams -- Defining the Syntax and Semantics of Natural Visual Languages -- GENGED A Development Environment for Visual Languages -- Tool Development and Knowledge Modeling in Different Applications -- Graph Visualisation in ArchiCAD -- A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Modeling -- Improving the Publication Chain through High-Level Authoring Support -- Learning and Rewriting in Fuzzy Rule Graphs -- A Proof Tool Dedicated to Clean -- Image Recognition and Constraint Solving -- Document Table Recognition by Graph Rewriting -- Image Structure from Monotonic Dual Graph Contraction -- Planning Geometric Constraint Decomposition via Optimal Graph Transformations -- Process Modeling and View Integration -- AHEAD: A Graph-Based System for Modeling and Managing Development Processes -- Formalizing UML-Based Process Models Using Graph Transformations -- Formal Integration of Software Engineering Aspects Using a Graph Rewrite System - A Typical Experience ?! - -- Towards Integrating Multiple Perspectives by Distributed Graph Transformation -- Visualization and Animation Tools -- Graph Algorithm Animation with Grrr -- An L-System-Based Plant Modeling Language -- Tool Demonstrations -- TREEBAG ? a Short Presentation -- Tool Support for ViewPoint-Oriented Software Development -- UPGRADE ? A Framework for Graph-Based Visual Applications -- Generating Diagram Editors with DiaGen -- PROgrammed Graph REwriting System PROGRES -- Testing and Simulating Production Control Systems Using the Fujaba Environment -- L-Studio/cpfg: A Software System for Modeling Plants -- DiTo ? A Distribution Tool Based on Graph Rewriting -- A Demonstration of the Grrr Graph Rewriting Programming Language -- AGG: A Tool Environment for Algebraic Graph Transformation -- AGTIVE Workshop/Synmposium Panel Discussion on Industrial Relevance of Graph Transformation: The Reality and Our Dreams -- Best Presentation and Demonstration Awards. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the International Workshop on Graph Transformation with Industrial Relevance, AGTIVE'99, held in Kerkrade, The Netherlands, in June 1999. The 28 revised full papers presented went through an iterated process of reviewing and revision. Also included are three invited papers, 10 tool demonstrations, a summary of a panel discussion, and lists of graph transformation systems and books on graph transformations. The papers are organized in sections on modularization concepts, distributed systems modeling, software architecture: evolution and reengineering, visual graph transformation languages, visual language modeling and tool development, knowledge modeling, image recognition and constraint solving, process modeling and view integration, and visualization and animation tools. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1779 606 $aOptical data processing 606 $aPattern recognition 606 $aBusiness 606 $aManagement science 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 606 $aBusiness and Management, general$3https://scigraph.springernature.com/ontologies/product-market-codes/500000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aOptical data processing. 615 0$aPattern recognition. 615 0$aBusiness. 615 0$aManagement science. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aImage Processing and Computer Vision. 615 24$aPattern Recognition. 615 24$aBusiness and Management, general. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a004 702 $aNagl$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchürr$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMünch$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAGTIVE'99 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143636103321 996 $aApplications of Graph Transformations with Industrial Relevance$9774080 997 $aUNINA