ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH
1997; World Scientific; Linguagem: Inglês
10.1142/9789812384720_0003
AutoresAndrea Corradini, Ugo Montanari, Fabrizio Rossi, Hartmut Ehrig, Reiko Heckel, M. J. S. Lowe,
Tópico(s)Semantic Web and Ontologies
ResumoHandbook of Graph Grammars and Computing by Graph Transformation, pp. 163-245 (1997) No AccessALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACHA. CORRADINI, U. MONTANARI, F. ROSSI, H. EHRIG, R. HECKEL, and M. LÖWEA. CORRADINIDipartimento di Informatica, Corso Italia 40, I-56125 Pisa, Italy, U. MONTANARIDipartimento di Informatica, Corso Italia 40, I-56125 Pisa, Italy, F. ROSSIDipartimento di Informatica, Corso Italia 40, I-56125 Pisa, Italy, H. EHRIGTechnische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany, R. HECKELTechnische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germany, and M. LÖWETechnische Universität Berlin, Fachbereich 13 Informatik, Franklinstraße 28/29, D-10587 Berlin, Germanyhttps://doi.org/10.1142/9789812384720_0003Cited by:211 (Source: Crossref) PreviousNext AboutSectionsPDF/EPUB ToolsAdd to favoritesDownload CitationsTrack CitationsRecommend to Library ShareShare onFacebookTwitterLinked InRedditEmail Abstract: The algebraic approaches to graph transformation are based on the concept of gluing of graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This allows one not only to give an explicit algebraic or set theoretical description of the constructions, but also to use concepts and results from category theory in order to build up a rich theory and to give elegant proofs even in complex situations. In this chapter we start with an overwiev of the basic notions common to the two algebraic approaches, the double-pushout (DPO) approach and the single-pushout (SPO) approach; next we present the classical theory and some recent development of the double-pushout approach. The next chapter is devoted instead to the single-pushout approach, and it is closed by a comparison between the two approaches. FiguresReferencesRelatedDetailsCited By 211Cited by lists all citing articles based on Crossref citation.A Foundation for Functional Graph Programs: The Graph Transformation Control Algebra (GTA)Jens H. Weber22 December 2022 | Electronic Proceedings in Theoretical Computer Science, Vol. 374A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-ProblemsHans-Jörg Kreowski, Sabine Kuske, Aaron Lye and Aljoscha Windhorst22 December 2022 | Electronic Proceedings in Theoretical Computer Science, Vol. 374The Rule‐Based Model Approach: A Kappa Model for Hepatic Stellate Cells Activation by TGFB1Matthieu Bouguéon, Pierre Boutillier, Jérôme Feret, Octave Hazard and Nathalie Théret18 November 2022Graph partitioning and visualization in graph mining: a surveySwati A. Bhavsar, Varsha H. Patil and Aboli H. Patil23 May 2022 | Multimedia Tools and Applications, Vol. 81, No. 30String diagram rewrite theory II: Rewriting with symmetric monoidal structureFilippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi29 September 2022 | Mathematical Structures in Computer Science, Vol. 32, No. 4Preserving consistency in geometric modeling with graph transformationsAgnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall and Romain Pascual18 October 2022 | Mathematical Structures in Computer Science, Vol. 32, No. 3Graph Rewriting Techniques in Engineering DesignLothar Kolbeck, Simon Vilgertshofer, Jimmy Abualdenien and André Borrmann1 February 2022 | Frontiers in Built Environment, Vol. 7A new criterion for $$\mathcal {M}, \mathcal {N}$$-adhesivity, with an application to hierarchical graphsDavide Castelnovo, Fabio Gadducci and Marino Miculan29 March 2022Graph representations in genetic programmingLéo Françoso Dal Piccol Sotto, Paul Kaufmann, Timothy Atkinson, Roman Kalkreuth and Márcio Porto Basgalupp30 September 2021 | Genetic Programming and Evolvable Machines, Vol. 22, No. 4KnitKitGeorges Nader, Yu Han Quek, Pei Zhi Chia, Oliver Weeger and Sai-Kit Yeung19 July 2021 | ACM Transactions on Graphics, Vol. 40, No. 4Parallel Independence in Attributed Graph RewritingThierry Boy de la Tour8 February 2021 | Electronic Proceedings in Theoretical Computer Science, Vol. 334Parallel Coherent Graph TransformationsThierry Boy de la Tour and Rachid Echahed11 April 2021A Case Study on the Graph-Transformational Modeling and Analysis of PuzzlesHans-Jörg Kreowski and Aaron Lye18 June 2021GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational SemanticsSteffen Zschaler and Francisco Durán18 July 2021Scalable multiple-view analysis of reactive systems via bidirectional model transformationsChristos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu and Carlo Ghezzi27 January 2021Reversibility and Composition of Rewriting in HierarchiesRuss Harmer and Eugenia Oshurko3 December 2020 | Electronic Proceedings in Theoretical Computer Science, Vol. 330A study on graph representations for genetic programmingLéo Françoso D. P. Sotto, Paul Kaufmann, Timothy Atkinson, Roman Kalkreuth and Márcio Porto Basgalupp26 June 2020Combining Graph Transformations and Semigroups for Isotopic Labeling DesignJakob L. Andersen, Daniel Merkle and Peter S. Rasmussen1 Feb 2020 | Journal of Computational Biology, Vol. 27, No. 2On Dependable Cyber-Physical Spaces of Critical InfrastructuresTimo Kehrer, Christos Tsigkanos and Carlo Ghezzi6 May 2020Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric NetsL. Capra9 November 2020A calculus of concurrent graph-rewriting processesGéza Kulcsár, Andrea Corradini and Malte Lochau1 Jan 2020 | Journal of Logical and Algebraic Methods in Programming, Vol. 110Algebraic graph rewriting with controlled embeddingAndrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost and Leila Ribeiro1 Jan 2020 | Theoretical Computer Science, Vol. 802Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra FrameworkNicolas Behr20 December 2019 | Electronic Proceedings in Theoretical Computer Science, Vol. 309Bio-Curation for Cellular Signalling: The KAMI ProjectRuss Harmer, Yves-Stan Le Cornec, Sebastien Legare and Eugenia Oshurko1 Sep 2019 | IEEE/ACM Transactions on Computational Biology and Bioinformatics, Vol. 16, No. 5A Logic Programming Language for Computational Nucleic Acid DevicesCarlo Spaccasassi, Matthew R. Lakin and Andrew Phillips29 October 2018 | ACS Synthetic Biology, Vol. 8, No. 7Strategic port graph rewriting: an interactive modelling frameworkMARIBEL FERNÁNDEZ, HÉLÈNE KIRCHNER and BRUNO PINAUD2 August 2018 | Mathematical Structures in Computer Science, Vol. 29, No. 5The PBPO graph transformation approachAndrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost and Leila Ribeiro1 Feb 2019 | Journal of Logical and Algebraic Methods in Programming, Vol. 103Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with PorgyOana Andrei, Maribel Fernández, Hélène Kirchner and Bruno Pinaud4 April 2019Rewriting Abstract Structures: Materialization Explained CategoricallyAndrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte and Arend Rensink5 April 2019Graph Transformations, Semigroups, and Isotopic LabelingJakob L. Andersen, Daniel Merkle and Peter S. Rasmussen9 May 2019The ASSL Approach to Formal Specification of Self-managing SystemsEmil Vassev and Mike Hinchey26 June 2019Categorifying the ZX-calculusDaniel Cicala27 February 2018 | Electronic Proceedings in Theoretical Computer Science, Vol. 266Attributed Hierarchical Port Graphs and ApplicationsNneka Chinelo Ene, Maribel Fernández and Bruno Pinaud16 February 2018 | Electronic Proceedings in Theoretical Computer Science, Vol. 265A Simple Notion of Parallel Graph Transformation and Its PerspectivesHans-Jörg Kreowski, Sabine Kuske and Aaron Lye7 February 2018Initial Conflicts and Dependencies: Critical Pairs RevisitedLeen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber and Gabriele Taentzer7 February 2018Splicing/Fusion Grammars and Their Relation to Hypergraph GrammarsHans-Jörg Kreowski, Sabine Kuske and Aaron Lye29 May 2018On the Essence and Initiality of ConflictsGuilherme Grochau Azzi, Andrea Corradini and Leila Ribeiro29 May 2018Recognizing Optimal 1-Planar Graphs in Linear TimeFranz J. Brandenburg13 October 2016 | Algorithmica, Vol. 80, No. 1Modeling and verification of evolving cyber-physical spacesChristos Tsigkanos, Timo Kehrer and Carlo Ghezzi21 August 2017A relational approach of fuzzy graph grammarsAlex Bertei, Luciana Foss, Simone Costa and Renata H. S. Reiser1 Jul 2017Domains and event structures for fusionsPaolo Baldan, Andrea Corradini and Fabio Gadducci1 Jun 2017The Pullback-Pushout Approach to Algebraic Graph TransformationAndrea Corradini, Dominque Duval, Rachid Echahed, Frédéric Prost and Leila Ribeiro21 June 2017A Graph Grammar for Modelling RNA FoldingAdane Letta Mamuye, Emanuela Merelli and Luca Tesei4 December 2016 | Electronic Proceedings in Theoretical Computer Science, Vol. 231Graph transformation based simulation model generationY Huang, A Verbraeck and M Seck19 December 2017 | Journal of Simulation, Vol. 10, No. 4Canonical Multi-target Toffoli CircuitsHans-Jörg Kreowski, Sabine Kuske and Aaron Lye26 February 2016Parallelism in AGREE TransformationsAndrea Corradini, Dominique Duval, Frederic Prost and Leila Ribeiro22 June 2016A Software Package for Chemically Inspired Graph TransformationJakob L. Andersen, Christoph Flamm, Daniel Merkle and Peter F. Stadler22 June 2016Labelled Graph Rewriting Meets Social NetworksMaribel Fernández, Hélène Kirchner, Bruno Pinaud and Jason Vallet18 August 2016On the Definition of Parallel Independence in the Algebraic Approaches to Graph TransformationAndrea Corradini1 December 2016A Visual Analytics Approach to Compare Propagation Models in Social NetworksJason Vallet, Hélène Kirchner, Bruno Pinaud and Guy Melançon10 April 2015 | Electronic Proceedings in Theoretical Computer Science, Vol. 181Obscuring Provenance Confidential Information via Graph TransformationJamal Hussein, Luc Moreau and Vladimiro Sassone30 April 2015Moment Semantics for Reversible Rule-Based SystemsVincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer and Sandro Stucki20 June 2015AGREE – Algebraic Graph Rewriting with Controlled EmbeddingAndrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost and Leila Ribeiro17 July 2015Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over SemiringsH. J. Sander Bruggink, Barbara König, Dennis Nolte and Hans Zantema17 July 2015-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamationHARTMUT EHRIG, ULRIKE GOLAS, ANNEGRET HABEL, LEEN LAMBERS and FERNANDO OREJAS26 June 2014 | Mathematical Structures in Computer Science, Vol. 24, No. 4Strategic Port Graph Rewriting: An Interactive Modelling and Analysis FrameworkMaribel Fernández, Hélène Kirchner and Bruno Pinaud1 August 2014 | Electronic Proceedings in Theoretical Computer Science, Vol. 159A Calculus for (Meta)Models and TransformationsLaurent Thiry (France) and Michel Hassenforder (France)25 September 2014 | International Journal of Software Engineering and Knowledge Engineering, Vol. 24, No. 05Assured Information Sharing (AIS)Using Private CloudsVaibhav Khadilkar, Tyrone Cadenhead, Murat Kantarcioglu and Bhavani Thuraisingham1 August 2013Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGYMaribel Fernández, Hélène Kirchner, Ian Mackie and Bruno Pinaud1 Jan 2014Causal Termination of Multi-threaded ProgramsAndrey Kupriyanov and Bernd Finkbeiner1 Jan 2014Reversible Sesqui-Pushout RewritingVincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer and Sandro Stucki1 Jan 2014Transformation of Attributed Structures with CloningDominique Duval, Rachid Echahed, Frederic Prost and Leila Ribeiro1 Jan 2014Categories of Coalgebras with Monadic HomomorphismsWolfram Kahl20 August 2014Termination Analysis for Graph Transformation SystemsH. J. Sander Bruggink, Barbara König and Hans Zantema1 Jan 2014Deduction as Reduction, from a Categorical Point of ViewDominique Duval13 August 2013 | Logica Universalis, Vol. 7, No. 3Surfing with FunLaurent Thiry and Michel Hassenforder1 Jul 2013Ontology Change Management and Identification of Change PatternsMuhammad Javed, Yalemisew M. Abgaz and Claus Pahl22 May 2013 | Journal on Data Semantics, Vol. 2, No. 2-3Compositional and behavior-preserving reconfiguration of component connectors in ReoChristian Krause, Holger Giese and Erik de Vink1 Jun 2013 | Journal of Visual Languages & Computing, Vol. 24, No. 3Modeling and verifying dynamic communication structures based on graph transformationsTobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch and Claudia Priesterjahn et al.2 July 2011 | Computer Science - Research and Development, Vol. 28, No. 1The ASSL Formalism for Real-Time Autonomic SystemsEmil Vassev and Mike Hinchey13 September 2012Representation of Objects in Agent-Based Lighting Design ProblemAdam Sędziwy1 Jan 2013Causality-Based Verification of Multi-threaded ProgramsAndrey Kupriyanov and Bernd Finkbeiner1 Jan 2013Understanding design patterns - what is the problem?Ghizlane El Boussaidi and Hafedh Mili11 November 2011 | Software: Practice and Experience, Vol. 42, No. 12Categorical Reasoning about Meta-modelsLaurent Thiry, Frederic Fondement and Pierre-Alain Muller1 Jul 2012The semantics of partial model transformationsMichalis Famelis, Rick Salay and Marsha Chechik1 Jun 2012Polynomial graph transformabilityHans-Jörg Kreowski and Sabine Kuske1 Apr 2012 | Theoretical Computer Science, Vol. 429Graph Representation of Sessions and Pipelines for Structured Service ProgrammingRoberto Bruni, Zhiming Liu and Liang Zhao1 Jan 2012On the Effective Distribution and Maintenance of Knowledge Represented by Complementary GraphsLeszek Kotulski and Adam Sędziwy1 Jan 2012A Strategy Language for Graph RewritingMaribel Fernández, Hélène Kirchner and Olivier Namet1 Jan 2012Towards Certifiable Implementation of Graph Transformation via Relation CategoriesWolfram Kahl1 Jan 2012Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph GrammarsUlrike Golas, Leen Lambers, Hartmut Ehrig and Holger Giese1 Jan 2012Graph Transformation with Focus on Incident EdgesDominique Duval, Rachid Echahed and Frédéric Prost1 Jan 2012A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph TransformationsTraian Florin Şerbănuţă and Grigore Roşu1 Jan 2012Probabilistic Graph Transformation SystemsChristian Krause and Holger Giese1 Jan 2012Modeling production networks with discrete processes by means of communities of autonomous unitsHans-Jörg Kreowski, Sabine Kuske and Caroline von Totth19 April 2011 | Logistics Research, Vol. 3, No. 2-3Autonomous Units for Solving the Traveling Salesperson Problem Based on Ant Colony OptimizationSabine Kuske, Melanie Luderer and Hauke Tönnies20 January 2011Communities of Autonomous Units: An Approach to Interactive Computation, Its Power and LimitationsHans-Jörg Kreowski, Sabine Kuske, Melanie Luderer and Caroline von Totth15 April 2011A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled ExperimentSascha El-Sharkawy and Klaus Schmid1 Jan 2011Parallel Graph Transformations Supported by Replicated Complementary GraphsLeszek Kotulski and Adam Sędziwy1 Jan 2011Hierarchical Models for Service-Oriented SystemsRoberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente and Ugo Montanari1 Jan 2011A Formal Support to Business and Architectural Design for Service-Oriented SystemsRoberto Bruni, Howard Foster, Alberto Lluch Lafuente, Ugo Montanari and Emilio Tuosto1 Jan 2011Dependently-Typed Formalisation of Relation-Algebraic AbstractionsWolfram Kahl1 Jan 2011Adhesivity Is Not Enough: Local Church-Rosser RevisitedPaolo Baldan, Fabio Gadducci and Pawel Sobociński1 Jan 2011Being Van Kampen is a universal propertyPawel Sobocinski, Tobias Heindel and Andrzej Tarlecki1 April 2011 | Logical Methods in Computer Science, Vol. 7, No. 1Exploring semantic roles of Web interface componentsKang Zhang and Jun Kong1 Oct 2010GrGen.NETEdgar Jakumeit, Sebastian Buchwald and Moritz Kroll28 April 2010 | International Journal on Software Tools for Technology Transfer, Vol. 12, No. 3-4Parallel Graph Transformations with Double Pushout GrammarsLeszek Kotulski and Adam Sȩdziwy1 Jan 2010On the Effective Distribution of Knowledge Represented by Complementary GraphsLeszek Kotulski and Adam Sȩdziwy1 Jan 2010Dynamic Computation of Change Operations in Version Management of Business Process ModelsJochen Malte Küster, Christian Gerth and Gregor Engels1 Jan 2010An Algebra of Hierarchical GraphsRoberto Bruni, Fabio Gadducci and Alberto Lluch Lafuente1 Jan 2010Combining Termination Criteria by Isolating DeletionDénes Bisztray and Reiko Heckel1 Jan 2010Graph Rewriting in Span-CategoriesMichael Löwe1 Jan 2010Amalgamating Pushout and Pullback Graph Transformation in CollagoriesWolfram Kahl1 Jan 2010Graph Transformation Units Guided by a SAT SolverHans-Jörg Kreowski, Sabine Kuske and Robert Wille1 Jan 2010Graph Transformation by Computational Category TheoryMark Minas and Hans Jürgen Schneider1 Jan 2010Autonomous Units and Their Semantics – The Concurrent CaseHans-Jörg Kreowski and Sabine Kuske1 Jan 2010Integrated Structure and Semantics for Reo Connectors and Petri NetsChristian Krause3 December 2009 | Electronic Proceedings in Theoretical Computer Science, Vol. 12Warshall Based Detection of Conflicts and Dependencies in Graph Transformation SystemJunbing Chen, Zhijian Wang, Si Qian and Bo Chen1 Dec 2009Generating instance models from meta modelsKarsten Ehrig, Jochen Malte Küster and Gabriele Taentzer1 July 2008 | Software & Systems Modeling, Vol. 8, No. 4Towards an integrated graph-based semantics for UMLSabine Kuske, Martin Gogolla, Hans-Jörg Kreowski and Paul Ziemann28 August 2008 | Software & Systems Modeling, Vol. 8, No. 3The Role of Software Engineering in Future Automotive Systems DevelopmentSiobhán Clarke, Brian Fitzgerald, Paddy Nixon, Klaus Pohl and Kevin Ryan et al.14 April 2008 | SAE International Journal of Passenger Cars - Electronic and Electrical Systems, Vol. 1, No. 1A Graph-based Design Framework for Global Computing SystemsAntonio Bucchiarone, Greg Dennis and Stefania Gnesi1 Apr 2009 | Electronic Notes in Theoretical Computer Science, Vol. 236Correctness of high-level transformation systems relative to nested conditionsANNEGRET HABEL and KARL-HEINZ PENNEMANN1 April 2009 | Mathematical Structures in Computer Science, Vol. 19, No. 2Optimal Resource Allocation for Batch TestingFangzhe Chang, Jennifer Ren and Ramesh Viswanathan1 Apr 2009Confluence in Domain-Independent Product Line TransformationsJon Oldevik, Øystein Haugen and Birger Møller-Pedersen1 Jan 2009A Higher-Order Graph Calculus for Autonomic ComputingOana Andrei and Hélène Kirchner1 Jan 2009A Heterogeneous Pushout Approach to Term-Graph TransformationDominique Duval, Rachid Echahed and Frédéric Prost1 Jan 2009Dependent and Conflicting Change Operations of Process ModelsJochen M. Küster, Christian Gerth and Gregor Engels1 Jan 2009Reconfiguring Distributed Reo ConnectorsChristian Koehler, Farhad Arbab and Erik de Vink1 Jan 2009Collagories for Relational Adhesive RewritingWolfram Kahl1 Jan 2009Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for ComponentsJulia Padberg31 October 2007 | Applied Categorical Structures, Vol. 16, No. 3Subobject Transformation SystemsAndrea Corradini, Frank Hermann and Paweł Sobociński20 February 2008 | Applied Categorical Structures, Vol. 16, No. 3Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel IndependencePedro Pablo Pérez Velasco and Juan de Lara1 Apr 2008 | Electronic Notes in Theoretical Computer Science, Vol. 206Towards a Notion of Transaction in Graph RewritingP. Baldan, A. Corradini, F.L. Dotti, L. Foss and F. Gadducci et al.1 Apr 2008 | Electronic Notes in Theoretical Computer Science, Vol. 211Ugo Montanari and Graph TransformationAndrea Corradini1 Jan 2008Undecidable Control Conditions in Graph Transformation UnitsKarsten Hölscher, Renate Klempien-Hinrichs and Peter Knirsch1 Jan 2008 | Electronic Notes in Theoretical Computer Science, Vol. 195Graph rewriting for the π-calculusFABIO GADDUCCI1 June 2007 | Mathematical Structures in Computer Science, Vol. 17, No. 3Modelling Calculi with Name Mobility using Graphs with EquivalencesPaolo Baldan, Fabio Gadducci and Ugo Montanari1 May 2007 | Electronic Notes in Theoretical Computer Science, Vol. 176, No. 1Validation of Model Transformations – First Experiences Using a White Box ApproachJochen M. Küster and Mohamed Abd-El-Razik1 Jan 2007Definition and validation of model transformationsJochen M. Küster10 August 2006 | Software & Systems Modeling, Vol. 5, No. 3Abstract Graph TransformationArend Rensink and Dino Distefano1 May 2006 | Electronic Notes in Theoretical Computer Science, Vol. 157, No. 1Generating Instance Models from Meta ModelsKarsten Ehrig, Jochen M. Küster, Gabriele Taentzer and Jessica Winkelmann1 Jan 2006Concurrent Rewriting for Graphs with EquivalencesPaolo Baldan, Fabio Gadducci and Ugo Montanari1 Jan 2006Graph Transactions as ProcessesPaolo Baldan, Andrea Corradini, Luciana Foss and Fabio Gadducci1 Jan 2006GrGen: A Fast SPO-Based Graph Rewriting ToolRubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack and Adam Szalkowski1 Jan 2006Satisfiability of High-Level ConditionsAnnegret Habel and Karl-Heinz Pennemann1 Jan 2006Weakest Preconditions for High-Level ProgramsAnnegret Habel, Karl-Heinz Pennemann and Arend Rensink1 Jan 2006Conflict Detection for Graph Transformation with Negative Application ConditionsLeen Lambers, Hartmut Ehrig and Fernando Orejas1 Jan 2006Time and Space Issues in the Generation of Graph Transition SystemsArend Rensink1 Mar 2005 | Electronic Notes in Theoretical Computer Science, Vol. 127, No. 1A Graphical Specification of Model Transformations with Triple Graph GrammarsLars Grunske, Leif Geiger and Michael Lawley1 Jan 2005Confluence of Graph Transformation RevisitedDetlef Plump1 Jan 2005Graph Processes with Fusions: Concurrency by Colimits, AgainFabio Gadducci and Ugo Montanari1 Jan 2005Graph Transformation in Molecular BiologyFrancesc Rosselló and Gabriel Valiente1 Jan 2005Changing Labels in the Double-Pushout Approach Can Be Treated CategoricallyHans J. Schneider1 Jan 2005Termination Criteria for Model TransformationHartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer and Dániel Varró et al.1 Jan 2005Graph Transformation with Incremental UpdatesGergely Varró and Dániel Varró1 Dec 2004 | Electronic Notes in Theoretical Computer Science, Vol. 109An Operational Semantics of CommUnity Based on Graph Transformation SystemsAndrea Corradini and Dan Hirsch1 Dec 2004 | Electronic Notes in Theoretical Computer Science, Vol. 109SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRASRICARDO ALBERICH (), MERCÈ LLABRÉS (), and FRANCESC ROSSELLÓ ()20 November 2011 | International Journal of Foundations of Computer Science, Vol. 15, No. 01Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model ManipulationRoswitha Bardohl, Hartmut Ehrig, Juan de Lara and Gabriele Taentzer1 Jan 2004Expressing Component-Relating Aspects with Graph TransformationsAlon Amsel and Dirk Janssens1 Jan 2004Towards Validation of Session Management in Web Applications based on Graph TransformationAnilda Qemali and Gabriele Taentzer1 Jan 2004AGG: A Graph Transformation Environment for Modeling and Validation of SoftwareGabriele Taentzer1 Jan 2004Typing of Graph Transformation UnitsRenate Klempien-Hinrichs, Hans-Jörg Kreowski and Sabine Kuske1 Jan 2004Towards Graph Programs for Graph AlgorithmsDetlef Plump and Sandra Steinert1 Jan 2004Constraints and Application Conditions: From Graphs to High-Level StructuresHartmut Ehrig, Karsten Ehrig, Annegret Habel and Karl-Heinz Pennemann1 Jan 2004Specification Matching of Web Services Using Conditional Graph Transformation RulesAlexey Cherchago and Reiko Heckel1 Jan 2004Representing First-Order Logic Using GraphsArend Rensink1 Jan 2004Analysis of Metabolic Pathways by Graph TransformationFrancesc Rosselló and Gabriel Valiente1 Jan 2004PUSHOUTS OF PARTIAL HOMOMORPHISMS OF PARTIAL ALGEBRAS II: CLOSED QUOMORPHISMSR. ALBERICH () and F. ROSSELLÓ ()21 November 2011 | Journal of Algebra and Its Applications, Vol. 02, No. 04A graphical approach to relational reasoning1 1This research was partially funded by the Italian CNR (coordinated project log(SETA)); by MURST PGR-2000; by the EC TMR Network GETGRATS; and by Esprit Working Group APPLIGRAPH.Andrea. Formisano, Eugenio G. Omodeo and Marta Simeoni1 May 2003 | Electronic Notes in Theoretical Computer Science, Vol. 44, No. 3Relating functional requirements and software architecture: separation and consistency of concernsR. Heckel and G. Engels1 January 2002 | Journal of Software Maintenance and Evolution: Research and Practice, Vol. 14, No. 5Concepts and realization of a diagram editor generator based on hypergraph transformationMark Minas1 Aug 2002 | Science of Computer Programming, Vol. 44, No. 2Designing the automatic transformation of visual languagesDániel Varró, Gergely Varró and András Pataricza1 Aug 2002 | Science of Computer Programming, Vol. 44, No. 2Parameterized Transformation UnitsSabine Kuske1 May 2002 | Electronic Notes in Theoretical Computer Science, Vol. 51An Abstract Module Concept for Graph Transformation SystemsMarta Simeoni1 May 2002 | Electronic Notes in Theoretical Computer Science, Vol. 51A Relation-Algebraic Approach to Graph Structure TransformationWolfram Kahl16 December 2002Local Action Systems and DPO Graph TransformationDirk Janssens14 February 2002A Sight-seeing Tour of the Computational Landscape of Graph TransformationHans-Jörg Kreowski14 February 2002Relabelling in Graph TransformationAnnegret Habel and Detlef Plump24 October 2002Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical SystemsJulia Padberg and Bettina E. Enders24 October 2002Tutorial Introduction to Graph Transformation: A Software Engineering PerspectiveLuciano Baresi and Reiko Heckel24 October 2002Workshop on Graph Transformation and Visual Modeling TechniquesPaolo Bottoni and Mark Minas24 October 2002How to Specify a Graph Transformation ApproachReiko Heckel and Albert Zündorf1 Jul 2001 | Electronic Notes in Theoretical Computer Science, Vol. 44, No. 4The K-Component Architecture Meta-Model for Self-Adaptive SoftwareJim Dowling and Vinny Cahill5 October 2001Visual Multiset Rewriting: Applications to Diagram Parsing and ReasoningPaolo Bottoni, Bernd Meyer and Francesco Parisi Presicce20 December 2001From Graph Transformation to Rule-Based Programming with DiagramsBerthold Hoffmann18 April 2003Graph Transformation Modules and Their CompositionFrank Drewes, Peter Knirsch, Hans-Jörg Kreowski and Sabine Kuske18 April 2003Towards Integrating Multiple Perspectives by Distributed Graph TransformationMichael Goedicke, Bettina Enders, Torsten Meyer and Gabriele Taentzer18 April 2003AGG: A Tool Environment for Algebraic Graph TransformationGabriele Taentzer18 April 2003On a Uniform Representation of Transformation SystemsPaolo Bottoni, Francesco Parisi-Presicce and Marta Simeoni18 April 2003Hierarchical Graph TransformationFrank Drewes, Berthold Hoffmann and Detlef Plump19 May 2000Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed SystemsGabriele Taentzer, Michael Goedicke and Torsten Meyer1 Jan 2000Redundancy and Subsumption in High-Level Replacement SystemsHans-Jörg Kreowski and Gabriel Valiente1 Jan 2000Knowledge Representation and Graph TransformationStefan Schuster1 Jan 2000A Fully Abstract Model for Graph-Interpreted Temporal LogicFabio Gadducci, Reiko Heckel and Manuel Koch1 Jan 2000Refinements of Graph Transformation Systems via Rule ExpressionsMartin Große-Rhode, Francesco Parisi Presicce and Marta Simeoni1 Jan 2000Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete InformationHartmut Ehrig, Reiko Heckel, Mercè Llabrés, Fernando Orejas and Julia Padberg et al.1 Jan 2000Double-Pushout Approach with Injective MatchingAnnegret Habel, Jürgen Müller and Detlef Plump1 Jan 2000Algebraic Software Architecture ReconfigurationMichel Wermelinger and José Luiz Fiadeiro27 August 1999An inductive view of graph transformationF. Gadducci and R. Heckel8 June 2005Refining formal specifications of human computer interaction by graph rewrite rulesBettina Eva Sucrow23 May 2006Integrating the specification techniques of graph transformation and temporal logicReiko Heckel, Hartmut Ehrig, Uwe Wolter and Andrea Corradini17 June 2005Distributed Graphs Transformed by Multiagent SystemLeszek KotulskiAutonomous Units and Their Semantics - The Parallel CaseHans-Jörg Kreowski and Sabine KuskeA Model-Driven Approach to Discovery, Testing and Monitoring of Web ServicesMarc Lohmann, Leonardo Mariani and Reiko HeckelGraphical Encoding of a Spatial Logic for the π-CalculusFabio Gadducci and Alberto Lluch LafuenteDeriving Bisimulation Congruences with Borrowed ContextsBarbara KönigDeriving Bisimulation Congruences in the Presence of Negative Application ConditionsGuilherme Rangel, Barbara König and Hartmut EhrigService Architecture Design for E-Businesses: A Pattern-Based ApproachVeronica Gacitua-Decar and Claus PahlEmbedding and Confluence of Graph Transformations with Negative Application ConditionsLeen Lambers, Hartmut Ehrig, Ulrike Prange and Fernando OrejasHigh-Level Programs and Program ConditionsKarl Azab and Annegret HabelParallel and Sequential Independence for Borrowed ContextsFilippo Bonchi, Fabio Gadducci and Tobias HeindelBehavior Preservation in Model Refactoring Using DPO Transformations with Borrowed ContextsGuilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig and Paolo BaldanA Decentralized Implementation of Mobile AmbientsFabio Gadducci and Giacoma Valentina MonrealeDynamic accommodation of change: automated architecture configuration of distributed systemsG. Taentzer, M. Goedicke and T. MeyerAnalysis of inconsistency in graph-based viewpoints: a category-theoretical approachM. Sabetzadeh and S. EasterbrookDynamic semantics negotiation in distributed and evolving CORBA systems: towards semantic-directed system configurationM. Goedicke and T. MeyerDefining and validating transformations of UML modelsJ.M. Mster, R. Heckel and G. EngelsViewPoint-oriented software development by distributed graph transformation: towards a basis for living with inconsistenciesM. Goedicke, T. Meyer and G. TaentzerFormalizing Architectural Refactorings as Graph Transformation SystemsL. GrunskeGENGED: a generic graphical editor for visual languages based on algebraic graph grammarsR. Bardohl Recommended Handbook of Graph Grammars and Computing by Graph Transformation Metrics History PDF download
Referência(s)