000 06361nam a22006615i 4500
001 978-3-540-38872-2
003 DE-He213
005 20240423130001.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540388722
_9978-3-540-38872-2
024 7 _a10.1007/11841883
_2doi
050 4 _aQ336
072 7 _aUN
_2bicssc
072 7 _aCOM021000
_2bisacsh
072 7 _aUN
_2thema
082 0 4 _a005.7
_223
245 1 0 _aGraph Transformations
_h[electronic resource] :
_bThird International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /
_cedited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aXII, 473 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4178
505 0 _aInvited Papers -- Nested Quantification in Graph Transformation Rules -- Idioms of Logical Modelling -- New Algorithms and Applications of Cyclic Reference Counting -- New Graph Transformation Models -- Sesqui-Pushout Rewriting -- Automata on Directed Graphs: Edge Versus Vertex Marking -- Conflict Detection for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure Manipulation -- Narrowing Data-Structures with Pointers -- Molecular Analysis of Metabolic Pathway with Graph Transformation -- Matrix Approach to Graph Transformation: Matching and Sequences -- String Generating Hypergraph Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition and Decomposition of DPO Transformations with Borrowed Context -- Process Bisimulation Via a Graphical Encoding -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes -- Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars -- Temporal Graph Queries to Support Software Evolution -- On the Use of Alloy to Analyze Graph Transformation Systems -- Model-Driven Development -- Non-materialized Model View Specification with Triple Graph Grammars -- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract -- Model View Management with Triple Graph Transformation Systems -- Efficient Implementation -- Graph Transformation in Constant Time -- GrGen: A Fast SPO-Based Graph RewritingTool -- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences -- Heuristic Search for the Analysis of Graph Transition Systems -- Logics -- Satisfiability of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops -- Introductory Tutorial on Foundations and Applications of Graph Transformation -- Workshop on Graph Computation Models -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- 3rd International Workshop on Software Evolution Through Transformations: Embracing Change.
520 _aICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci?cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The ?eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.
650 0 _aArtificial intelligence
_xData processing.
650 0 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aAlgorithms.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 1 4 _aData Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aTheory of Computation.
650 2 4 _aAlgorithms.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aDiscrete Mathematics in Computer Science.
700 1 _aCorradini, Andrea.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aEhrig, Hartmut.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMontanari, Ugo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRibeiro, Leila.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aRozenberg, Grzegorz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540388708
776 0 8 _iPrinted edition:
_z9783540828617
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v4178
856 4 0 _uhttps://doi.org/10.1007/11841883
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c183779
_d183779