LEADER 07532nam 22008055 450 001 9910144345203321 005 20200707000748.0 010 $a3-540-30203-4 024 7 $a10.1007/b100934 035 $a(CKB)1000000000212584 035 $a(DE-He213)978-3-540-30203-2 035 $a(SSID)ssj0000165097 035 $a(PQKBManifestationID)11164813 035 $a(PQKBTitleCode)TC0000165097 035 $a(PQKBWorkID)10148035 035 $a(PQKB)10369804 035 $a(MiAaPQ)EBC3088338 035 $a(PPN)155229664 035 $a(EXLCZ)991000000000212584 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGraph Transformations $eSecond International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /$fedited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 456 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3256 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23207-9 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- Improving Flow in Software Development Through Graphical Representations -- A Perspective on Graphs and Access Control Models -- Transformation Language Design: A Metamodelling Foundation -- Integration Technology -- Rule Execution in Graph-Based Incremental Interactive Integration Tools -- Composition of Relations in Enterprise Architecture Models -- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation -- Chemistry and Biology -- Analysis of Metabolic Pathways by Graph Transformation -- The Potential of a Chemical Graph Transformation System -- Graph Transformation Concepts -- Concepts for Specifying Complex Graph Transformation Systems -- Typing of Graph Transformation Units -- Towards Graph Programs for Graph Algorithms -- DPO Theory for High-Level Structures -- Adhesive High-Level Replacement Categories and Systems -- Fundamental Theory for Typed Attributed Graph Transformation -- Parallel Independence in Hierarchical Graph Transformation -- Analysis and Testing -- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems -- Stochastic Graph Transformation Systems -- Model Checking Graph Transformations: A Comparison of Two Approaches -- Graph Theory and Algorithms -- Election, Naming and Cellular Edge Local Computations -- Embedding in Switching Classes with Skew Gains -- Synchronizers for Local Computations -- Application Conditions and Logic -- Constraints and Application Conditions: From Graphs to High-Level Structures -- Specification Matching of Web Services Using Conditional Graph Transformation Rules -- Representing First-Order Logic Using Graphs -- Transformation of Special Structures -- Coproduct Transformations on Lattices of Closed Partial Orders -- Parsing String Generating Hypergraph Grammars -- Composition of Path Transductions -- Object-Orientation -- Translating Java Code to Graph Transformation Systems -- Extending Graph Rewriting for Refactoring -- Derivations in Object-Oriented Graph Grammars -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation -- Workshop TERMGRAPH 2004 -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions -- Workshop on Logic, Graph Transformations, Finite and Infinite Structures. 330 $aICGT 2004 was the 2nd International Conference on Graph Transformation, following the first one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in computer science between 1978 and 1998. ICGT 2004 was held in Rome (Italy), Sept. 29?Oct. 1, 2004 under the auspices of the European Association for Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP WG 1.3, Foundations of Systems Specification. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often augmented with formalisms that add to the static description a further dimension, allowing for the modelling of the evolution of systems via all kinds of transformations of such graphical structures. The field of graph transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph algorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal specification and verification, logic, and semantics. The application areas include all those fields of computer science, information processing,engineering,and the natural sciences where static and dynamic m- elling using graphical structures and graph transformations, respectively, play important roles. In many of these areas tools based on graph transformation technology have been implemented and used. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3256 606 $aDiscrete mathematics 606 $aMathematics 606 $aData structures (Computer science) 606 $aSoftware engineering 606 $aComputers 606 $aAlgorithms 606 $aDiscrete Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29000 606 $aMathematics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/M00009 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aDiscrete mathematics. 615 0$aMathematics. 615 0$aData structures (Computer science) 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aAlgorithms. 615 14$aDiscrete Mathematics. 615 24$aMathematics, general. 615 24$aData Structures. 615 24$aSoftware Engineering. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a005.73 702 $aEhrig$b Hartmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEngels$b Gregor$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aParisi-Presicce$b Francesco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aICGT 2004 906 $aBOOK 912 $a9910144345203321 996 $aGraph Transformations$9772411 997 $aUNINA