A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework

by   Jakob Lykke Andersen, et al.

Graph transformation approaches have been successfully used to analyse and design chemical and biological systems. Here we build on top of a DPO framework, in which molecules are modelled as typed attributed graphs and chemical reactions are modelled as graph transformations. Edges and vertexes can be labelled with first-order terms, which can be used to encode, e.g., steric information of molecules. While targeted to chemical settings, the computational framework is intended to be very generic and applicable to the exploration of arbitrary spaces derived via iterative application of rewrite rules, such as process calculi like Milner's π-calculus. To illustrate the generality of the framework, we introduce EpiM: a tool for computing execution spaces of π-calculus processes. EpiM encodes π-calculus processes as typed attributed graphs and then exploits the existing DPO framework to compute their dynamics in the form of graphs where nodes are π-calculus processes and edges are reduction steps. EpiM takes advantage of the graph-based representation and facilities offered by the framework, like efficient isomorphism checking to prune the space without resorting to explicit structural equivalences. EpiM is available as an online Python-based tool.


page 1

page 2

page 3

page 4


On the tightness of graph-based statistics

We establish tightness of graph-based stochastic processes in the space ...

Efficient Modular Graph Transformation Rule Application

Graph transformation formalisms have proven to be suitable tools for the...

A typed parallel λ-calculus for graph-based communication

We introduce λ_∥ - a simple yet powerful parallel extension of simply ty...

Motif-based Graph Representation Learning with Application to Chemical Molecules

This work considers the task of representation learning on the attribute...

Concept Drift and Anomaly Detection in Graph Streams

Graph representations offer powerful and intuitive ways to describe data...

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

In this paper we present the probabilistic typed natural deduction calcu...

Please sign up or login with your details

Forgot password? Click here to reset