The Synchronised Hyperedge Environment

Abstract

(versione 4) We introduce the Synchronised Hyperedge Environment, SHE, a tool for developing, analysing and automatically verifying distributed and concurrent systems. SHE supports a visual, declarative style of programming based on a graph rewrite system called Synchronising Graphs (SG) [3, 4], a general semantical framework which has been used for interpreting various process calculi, such as Mobile Ambients, the distributed CCS and Fusion. After describing the system’s architecture, we develop two applications: The first offers a simple declarative solution to the problem of syntactic unification, and shows how flexible the system is in supporting both textual and graphical representation of data. The second example is a classical problem in distributed programming: the leader election. The proposed solution is proven correct both by a mathematical proof and by automatic verification through model

5 Figures and Tables

Cite this paper

@inproceedings{TalamoTheSH, title={The Synchronised Hyperedge Environment}, author={Ivano Talamo and Alessandro Tiberi and Pietro Cenciarelli} }