The reputation of a process is based on its past and present behaviour; it evolves in time depending on several factors including the actions performed, the reputation of its interacting processes and locations where the process resides. We design a calculus of mobile agents in distributed systems able to handle the dynamics of reputation which changes over time depending on specified factors. The main idea is to provide a formal understanding of how reputation is formed from complex interactions in agent systems based on timed migration and communication, and how we can verify automatically the properties involving reputation. After presenting the operational semantics of our calculus and some results, the mobile agents described easily in this calculus are translated into networks of weighted timed automata having a bisimilar behaviour. Based on this translation, we use an existing software platform to analyze reputation-based properties of mobile agents in distributed systems.

流程的声誉基于其过去和现在的行为；它会随着时间的推移而演变，这取决于几个因素，包括所执行的操作、其交互流程的声誉以及流程所在的位置。我们设计了分布式系统中的移动代理演算，能够处理根据特定因素随时间变化的声誉动态。主要思想是正式理解基于定时迁移和通信的代理系统中的复杂交互如何形成声誉，以及我们如何自动验证涉及声誉的属性。在展示了我们的微积分的操作语义和一些结果之后，在这个微积分中很容易描述的移动代理被转换成具有相似行为的加权定时自动机网络。