Back

The Distributed Implementation of Ambient Calculus with HORB

We have the distributed implementation of Ambient Calculus using Java and HORB. HORB is a Java ORB for network computing that enables us to encode the processes of Ambient Calculus with Java Object in a simple manner.

We present the sketch of the definition of classes for Ambient Calculus.

The class of Ambient

//Ambient.java

public class Ambient{

　　Name name; //Name of ambient

　　Ambient parent; //Reference to parent ambient

　　Ambient[] sibling; //Reference to sibling ambients

　　Ambient[] children; //Reference to children ambients

　　Agent[] agents; //Other agents

}

The class of Names:

//Name.java

public class Name{

　　int entryKey; //Key for entering permission

　　int exitKey; //Key for exiting permission

　　int openKey; //Key for opening permission

}

The class of Agent has the following field for Ambients Capability

//Agent.java

public class Agent implements Runnable{

　　Ambient myAmbient; //belonging Ambient

　　Capability[] capabilities; //available capabilities

}

 Back