Dynamic Nested Tracking Graphs

Nested Tracking Graphs

Nested Dynamic Condition Response Graphs

We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giv...

Story graphs: Tracking document set evolution using dynamic graphs

With the growing number of document sets accessible online, tracking their evolution over time (story tracking) became an increasingly interesting problem. In this paper we propose a story tracking method based on the dynamics of keyword-association graphs. We create a graph representation of the story evolution that we call story graphs, and investigate how graph structure can be used for dete...

Nested Term Graphs

We report on work in progress on ‘nested term graphs’ for formalizing higher-order terms (e.g. finite or infinite λ -terms), including those expressing recursion (e.g. terms in the λ -calculus with letrec). The idea is to represent the nested scope structure of a higher-order term by a nested structure of term graphs. Based on a signature that is partitioned into atomic and nested function symb...

Positive Nested Conceptual Graphs

This paper deals with positive (i.e. without negation) nested conceptual graphs (NCGs). We first give a general framework graphs of graphs provided with morphism for defining classes of NCGs. Then we define a new class of NCGs typed NCGs and we show that known kinds of NCGs can be described very simply as classes of the general framework. All NCG models considered generalize the simple CG model...