文献类型：会议论文

英文题名：Consistency management in mobile agent systems

作者：Hu, Guoling

机构：[1]E China Univ Sci & Technol, Sch Informat Sci & Engn, Shanghai 200237, Peoples R China

会议论文集：International Symposium on Distributed Computing and Applications to Business, Engineering and Science

会议日期：AUG 14-17, 2007

会议地点：Yichang, PEOPLES R CHINA

语种：英文

外文关键词：mobile agent; transaction processing; concurrency control

摘要：The mobility of mobile agents has the potential to provide a convenient, efficient and robust programming paradigm for distributed applications. But it also creates new patterns of interactions and new conditions for distributed algorithms that are traditionally riot issues for them, particular the supporting for the sophisticated coordination and close cooperation among different agents. In this paper, we focus on formalization and enforcing correctness properties of the coordination and interaction among agents. A formal agent model and its execution model were firstly presented. In the model, each agent is associated with a shadow agent to coordinate and enforce the serialization of its execution. Secondly, we proposed a formal model of agent execution control and its correctness criteria.