000 06531nam a22006615i 4500
001 978-3-540-45104-4
003 DE-He213
005 20240423132444.0
007 cr nn 008mamaa
008 121227s2000 gw | s |||| 0|eng d
020 _a9783540451044
_9978-3-540-45104-4
024 7 _a10.1007/3-540-45104-8
_2doi
050 4 _aTA1634
072 7 _aUYQV
_2bicssc
072 7 _aCOM016000
_2bisacsh
072 7 _aUYQV
_2thema
082 0 4 _a006.37
_223
245 1 0 _aApplications of Graph Transformations with Industrial Relevance
_h[electronic resource] :
_bInternational Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings /
_cedited by Manfred Nagl, Andreas Schürr, Manfred Münch.
250 _a1st ed. 2000.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2000.
300 _aXV, 496 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1779
505 0 _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.
520 _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.
650 0 _aComputer vision.
650 0 _aPattern recognition systems.
650 0 _aBusiness.
650 0 _aManagement science.
650 0 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aMachine theory.
650 1 4 _aComputer Vision.
650 2 4 _aAutomated Pattern Recognition.
650 2 4 _aBusiness and Management.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
700 1 _aNagl, Manfred.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSchürr, Andreas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMünch, Manfred.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540676584
776 0 8 _iPrinted edition:
_z9783662198353
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1779
856 4 0 _uhttps://doi.org/10.1007/3-540-45104-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187950
_d187950