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 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,...