Tracelets and Tracelet Analysis Of Compositional Rewriting Systems

04/29/2019
by   Nicolas Behr, et al.
0

Taking advantage of a recently discovered associativity property of rule compositions, we extend the classical concurrency theory for rewriting systems over adhesive categories. We introduce the notion of tracelets, which are defined as minimal derivation traces that universally encode sequential compositions of rewriting rules. Tracelets are compositional, capture the causality of equivalence classes of traditional derivation traces, and intrinsically suggest a clean mathematical framework for the definition of various notions of abstractions of traces. We illustrate these features by introducing a first prototype for a framework of tracelet analysis, which as a key application permits to formulate a first-of-its-kind algorithm for the static generation of minimal derivation traces with prescribed terminal events.

READ FULL TEXT
research
04/19/2019

Compositionality of Rewriting Rules with Conditions

We extend the notion of compositional associative rewriting as recently ...
research
06/04/2022

Explaining Hyperproperty Violations

Hyperproperties relate multiple computation traces to each other. Model ...
research
04/11/2023

Execution traces and reduction sequences

In this note, we defend that the notion of algorithm as a set of executi...
research
08/21/2020

Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining

This paper presents a command-line tool, called Entropia, that implement...
research
02/23/2018

Guarded Traced Categories

Notions of guardedness serve to delineate the admissibility of cycles, e...
research
07/31/2023

AutoModel: Automatic Synthesis of Models from Communication Traces of SoC Designs

Modeling system-level behaviors of intricate System-on-Chip (SoC) design...
research
10/10/2011

The Generalized A* Architecture

We consider the problem of computing a lightest derivation of a global s...

Please sign up or login with your details

Forgot password? Click here to reset