European Association of Software Science and Technology

Concurrency of Graph Transformations with NACs and Open Maps  We study general reflection constraints on matches (formalised categorically via open maps) that are inspired by the definition of matching in kappa. Such constraints, which can be...

To refine the questions above, I can see several ways to develop such a theme. One could target (1) a specific hardware platform, (2) a programming langauge known to compile to one or more platforms of interest, or (3) develop a conceptual model of...

GT models are executable, and with their natural model of concurrency they may be more suitable for programming concurrent systems (e.g., based on multicore/multiprocessor/distributed architectures) than traditional programming languages. What...

Graphical rules can model distributed protocols in an intuitive and concise way, yet provide a formal specification amenable to verification. Which problem domains are likely to benefit from such an approach to modelling? What properties do we...

For reasons of expressivity, conciseness of specification, etc. GTS are often augmented with control structures (negative application conditions, programming language-like control structures, priorities, etc).  What does this do to existing...

The aim is to discuss ideas in (at least) three themes, without having to write papers or review them. To prepare the workshop, discussion fora are set up below, for general contirbutions and more thematic contributions. General Discussion for all...

The 6th International Conference on Graph Transformation (ICGT 2012) was held at the University of Bremen (Germany) in the last week of September 2012. It was chaired by Gregor Engels(University of Paderborn, Germany) Hans-Jörg...

The conference has been held bi-annually until 2014, and is now held annually in early early-mid July as part of the STAF multiconference.

The 6th International Conference on Graph Transformation (ICGT 2012) was held at the University of Bremen (Germany) in the last week of September 2012. It was chaired by Gregor Engels(University of Paderborn, Germany) Hans-Jörg...

Scope of the Conference Dynamic structures are a major cause for complexity when it comes to model and reason about systems. They occur in software architectures, configurations of artefacts such as code or models, pointer structures, databases,...