An Extended Ambient Calculus Model Oriented Mobile Collaboration

The ambient calculus can depict the essence of mobile computing mobility on the basic level, but it canpsilat 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 instance was given to validated 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.