A New Version of GTXL : An Exchange Format for Graph Transformation Systems

No abstract is available for this paper.

• Publication year

  2005

• Venue

  GraBaTs

• Publication date

  2005-03-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/j.entcs.2004.12.030
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Constructing Induction Rules for Deductive Synthesis Proofs

  2006cited by this paper
• CheckVML: A Tool for Model Checking Visual Modeling Languages

  2003cited by this paper
• An Overview of the GXL Graph Exchange Language

  2001cited by this paper
• GraphML Progress Report ? Structural Layer Proposal

  2001cited by this paper
• Towards Common Exchange Formats for Graphs and Graph Transformation Systems

  2001cited by this paper
• Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation

  2000cited by this paper
• Transformation units: a structuring principle for graph transformation systems

  2000cited by this paper
• Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools

  1999cited by this paper
• Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution

  1999cited by this paper
• Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations

  1997cited by this paper
• Programmed Graph Replacement Systems

  1997cited by this paper
• Programmed graph replacement systems

  1997cited by this paper
• Extensible Markup Language (XML)

  1997cited by this paper
• Extensible Markup Language (XML).

  year unknowncited by this paper

• An IFC-to-CityGML Triple Graph Grammar

  2018cites this paper
• Achieving Complete and Near-Lossless Conversion from IFC to CityGML

  2018cites this paper
• Platform-Independent Specification of Model Transformations @ Runtime Using Higher-Order Transformations

  2012cites this paper
• Search-based and goal-oriented refactoring using unfolding of graph transformation systems

  2012cites this paper
• Designing round-trip systems by change propagation and model partitioning

  2011cites this paper
• Abstraction and abstraction refinement in the verification of graph transformation systems

  2010cites this paper
• The Meaning of UML Models

  2010cites this paper
• The Edge of Graph Transformation - Graphs for Behavioural Specification

  2010cites this paper
• Transformation Language Integration Based on Profiles and Higher Order Transformations

  2009cites this paper
• Automatic Discovery of Web Services Based on Dynamic Black-Box Testing

  2009cites this paper
• eWork and eBusiness in Architecture, Engineering and Construction

  2009cites this paper
• Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems

  2008cites this paper
• Model-Driven Development of Model Transformations

  2008cites this paper
• High-Level Programs and Program Conditions

  2008cites this paper
• Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database

  2008cites this paper
• Editing Nested Constraints and Application Conditions

  2008cites this paper
• A — A T A G T S ∗

  2005cites this paper
• Towards Graph Transformation Based Generation of Visual Editors Using Eclipse

  2005cites this paper
• Comparison of Modeling Frameworks for Software Engineering

  2005cites this paper
• Konzeption und Implementierung einer Entwicklungsumgebung fvisuelle Sprachen

  2005cites this paper