Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
