IDE for the ambient calculus in distributed environments

We propose an integrated development environment (IDE) for developing mobile processes written in the ambient calculus (AC). AC is a kind of process algebra designed for modeling mobile processes in network environments. This IDE is equipped with not only ordinal editing functions but also characteristic ones for AC: a graphical editor for describing tree structures of AC processes that can be converted to AC processes, a selective executing function and backward tracing function that enable us to check every non-deterministic action of AC processes, a distributed executing function for mobile processes that enables us to debug those processes in a network environment by deploying IDEs, and the ability for Java programs to be conveyed by ambients while keeping their activated conditions. We developed the IDE as plugins of Eclipse.