A CPN-Based Extended Ambient Calculus Model for Mobile Collaboration

Ambient calculus can depict the essence of mobile computing mobility on the basic level, but it can´t depict the collaboration character of collaboration computing. In order to depict the collaboration character of mobile collaboration while depicting mobility of it, a novel model named EACM, an extended ambient calculus model oriented mobile collaboration, was provided based on ambient calculus. Firstly, Act was extracted as the basic unit of collaboration through analysis the services and tasks in mobile collaboration. Then, Act was mapped to the process of ambient calculus to become the basic entity of calculus. Further, the primitives of mobile and communications in mobile collaboration were constructed. Subsequently, the definitions of basic operation relations were given by mobile and communication primitives. Finally, the simulation was done using CPN tools to verify the semantic correctness of EACM. The result indicates EACM has correctly semantic and can effectively depict the mobility and collaboration character of mobile collaboration. And it provides a strong theoretic support to build the platform supporting mobile collaborative services.