ACVisualizer: A visualization tool for APi-calculus

Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-calculus), provides extensive support for modeling migration, intelligence, natural grouping and security in agent-based systems [18]. In this article, a visualization tool for APi-calculus is proposed. Although an invaluable formal method for mobile agent systems, APi-calculus is quite complex (as are other calculi) and not very well suited to working with practical applications by itself. Due to the dynamic nature of mobile agents, a graphical program based on the mathematics of the calculus would enhance the use of the calculus and its attraction to the mobile agents industry. The ability to provide instant demonstration of a designed system to the user and the support for verification and validation of such systems specified by the calculus would prove to be a great asset for APi-calculus as well as agents-based computing in general. This paper presents ACVisualizer, a visualization software for APi-calculus, which provides such high level support for modeling mobile agent systems. Due to the backward compatibility of APi-calculus with Pi-calculus, ACVisualizer can easily be adapted to work with Pi-calculus itself.

[1]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[2]  Davide Sangiorgi,et al.  From pi-Calculus to Higher-Order pi-Calculus - and Back , 1993, TAPSOFT.

[3]  Robin Milner,et al.  Definition of standard ML , 1990 .

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[5]  Faron Moller,et al.  The Mobility Workbench - A Tool for the pi-Calculus , 1994, CAV.

[6]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[7]  Theo Tryfonas,et al.  Frontiers in Artificial Intelligence and Applications , 2009 .

[8]  E. Madelaine.  Verification Tools from the CONCUR project , 1992 .

[9]  Shahram Rahimi.  Api-calculus for intelligent-agent formal modeling and its application in distributed geospatial data conflation , 2002 .

[10]  Alan Bain.  Stochastic Calculus , 2007 .

[11]  Gary Riley,et al.  Expert Systems: Principles and Programming , 2004 .

[12]  Mogens Nielsen,et al.  A calculus of communicating systems with label passing - ten years after , 1986, Proof, Language, and Interaction.

[13]  Peter Sewell,et al.  Nomadic Pict: language and infrastructure design for mobile agents , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.

[14]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[15]  Ernest Friedman Hill,et al.  Jess in Action: Java Rule-Based Systems , 2003 .

[16]  Vasco Thudichum Vasconcelos,et al.  Typed Concurrent Objects , 1994, ECOOP.

[17]  D. Walker,et al.  A Calculus of Mobile Processes, Part I , 1989 .

[18]  Robin Milner,et al.  The definition of standard ML, Version 3 , 1988 .

[19]  M. Cobb,et al.  An intelligence representation in agent systems: an extended /spl pi/-calculus , 2002, 2002 IEEE World Congress on Computational Intelligence. 2002 IEEE International Conference on Fuzzy Systems. FUZZ-IEEE'02. Proceedings (Cat. No.02CH37291).

[20]  Benjamin C. Pierce,et al.  Pict: a programming language based on the Pi-Calculus , 2000, Proof, Language, and Interaction.

[21]  Catherine McLoughlin,et al.  Technological tools for visual thinking : What does the research tell us ? , 2001 .