LEADER 01327nam--2200373---450- 001 990001031960203316 035 $a0103196 035 $aUSA010103196 035 $a(ALEPH)000103196USA01 035 $a0103196 100 $a20020314d--------km-y0itay0103----ba 101 $ager 102 $aGE 110 $aaz--------- 200 1 $aIBZ$eInternationale Bibliographie der Zeitschriftenliteratur aus allen gebieten des Wissens$dInternational bibliography of periodical literature covering all fields of knowledge$dBibliographie internationale de la litterature periodique dans tous les domaines de la connaissance 210 $aOsnabrück$cF. Dietrick 215 $av.$d27 cm 326 $aPubblica 8. n. all'anno; nel 1968 pubbl. 9. n.; dal 1969 pubb. 12 n. all'anno 410 $12001 421 1$1001-------$12001 430 1$1001-------$12001 606 0 $aPeriodici$xBibliografia 676 $a050 801 0$aIT$bsalbc$gISBD 912 $a990001031960203316 958 $aLM$bPER 030 INT$c1(1965)- ; Indice generale 1896-1974; scompleti 1977, 1979 959 $aSE 969 $aUMA 979 $aPATTY$b90$c20020314$lUSA01$h1156 979 $aPATTY$b90$c20020314$lUSA01$h1341 979 $c20020403$lUSA01$h1744 979 $aPATRY$b90$c20040406$lUSA01$h1711 996 $aIBZ$9961572 997 $aUNISA LEADER 07666nam 22007935 450 001 9910143638303321 005 20200702175752.0 010 $a3-540-46464-6 024 7 $a10.1007/b75045 035 $a(CKB)1000000000211209 035 $a(SSID)ssj0000327207 035 $a(PQKBManifestationID)11239536 035 $a(PQKBTitleCode)TC0000327207 035 $a(PQKBWorkID)10301426 035 $a(PQKB)10602182 035 $a(DE-He213)978-3-540-46464-8 035 $a(MiAaPQ)EBC3088678 035 $a(PPN)155185993 035 $a(EXLCZ)991000000000211209 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Application of Graph Transformations $e6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers /$fedited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 506 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1764 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67203-6 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aGraph Languages -- Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars -- Tree Languages Generated by Context-Free Graph Grammars -- Neighborhood Expansion Grammars -- Neighborhood-Preserving Node Replacements -- Graph Theory -- Complexity Issues in Switching of Graphs -- The Power of Local Computations in Graphs with Initial Knowledge -- Categorical Approaches -- Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information -- Double-Pushout Approach with Injective Matching -- Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approacht -- Pushout Complements for Arbitrary Partial Algebras -- Concurrency and Distribution -- Unfolding of Double-Pushout Graph Grammars is a Coreflection -- Local Views on Distributed Systems and Their Communication -- Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems -- A Framework for NLC and ESM: Local Action Systems -- Artificial Intelligence -- Redundancy and Subsumption in High-Level Replacement Systems -- Knowledge Representation and Graph Transformation -- Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching -- Visual Languages -- Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages -- From Formulae to Rewriting Systems -- Hypergraphs as a Uniform Diagram Representation Model -- Specification Concepts -- Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java -- A Fully Abstract Model for Graph-Interpreted Temporal Logic -- More About Control Conditions for Transformation Units -- Integrity Constraints in the Multi-Paradigm Language PROGRES -- Modularity and Refinement -- A Framework for Adding Packages to Graph Transformation Approaches -- Refinements of Graph Transformation Systems via Rule Expressions -- Simple Modules for Grace -- UML Packages for PROgrammed Graph REwriting Systems -- Incremental Development of Safety Properties in Petri Net Transformations -- Software Engineering -- Using Graph Transformation Techniques for Integrating Information from the WWW -- A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism -- Graph-Based Models for Managing Development Processes, Resources, and Products -- Deriving Software Performance Models from Architectural Patterns by Graph Transformations. 330 $aTheareaofgraphtransformationoriginatedinthelate1960sunderthename ?graph grammars? ? the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called ?Graph Grammars and Their Application to Computer Science?. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1764 606 $aComputers 606 $aDiscrete mathematics 606 $aLogic, Symbolic and mathematical 606 $aComputer science?Mathematics 606 $aArtificial intelligence 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aDiscrete Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputers. 615 0$aDiscrete mathematics. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer science?Mathematics. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aDiscrete Mathematics. 615 24$aMathematical Logic and Formal Languages. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aArtificial Intelligence. 676 $a511.5 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 $aKreowski$b Hans-Jörg$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Theory and Applications of Graph Transformation$d(6th :$f1998 :$ePaderborn, Germany) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143638303321 996 $aTheory and Application of Graph Transformations$92206133 997 $aUNINA