Graph transformation based on incremental pattern matching explicitly stores all
occurrences of patterns (left-hand side of rules) and updates this result cache upon model …

The discipline of model-driven engineering (MDE) is gaining more acceptance in several
areas of software and system engineering as it delivers higher-quality products in a shorter …

We introduce a systematic, concurrent execution scheme for Constraint Handling Rules
(CHR) based on a previously proposed sequential goal-based CHR semantics. We …

Summary Constraint Handling Rules (CHR) is a concurrent committed choice rule based
programming language designed specifically for the implementation of incremental …

Diamond is a SPARQL query engine for linked data. Linked data is a sub-topic of the
Semantic Web where data is represented as a labeled directed graph using the Resource …

We study directed bigraph with negative ports, a bigraphical framework for representing
models for distributed, concurrent and ubiquitous computing. With respect to previous …