Mob核心语言和抽象机（0.2版）
The Mob core language and abstract machine (rev 0.2)
摘要：
目前大多数移动Agent系统都是基于程序设计语言的，由于缺乏足够的形式化理论，其语义很难被证明是正确的。近年来，并发系统理论的发展，即进程演算的发展，首次允许了移动Agent系统的建模，然而直接基于进程演算的语言是非常低级的，希望在保持基本演算语义的同时，为程序员提供更高层次的抽象。在这份技术报告中，我们提出的语法和语义的脚本语言编程移动代理称为暴民。我们描述了语言的语法和语义。Mob是面向服务的，这意味着代理既充当服务器又充当服务的客户端，并且这种耦合在运行时动态完成。该语言是在一个进程演算之上实现的，它允许我们通过将其语义编码到底层演算中来证明框架是合理的。这提供了一种语言安全性，而其他使用ah-doc方法开发的移动代理语言则无法提供这种安全性。
英文摘要：
Most current mobile agent systems are based on programming languages whose semantics are difficult to prove correct as they lack an adequate underlying formal theory. In recent years, the development of the theory of concurrent systems, namely of process calculi, has allowed for the first time the modeling of mobile agent systems.Languages directly based on process calculi are, however, very low-level and it is desirable to provide the programmer with higher level abstractions, while keeping the semantics of the base calculus. In this technical report we present the syntax and the semantics of a scripting language for programming mobile agents called Mob. We describe the language's syntax and semantics. Mob is service-oriented, meaning that agents act both as servers and as clients of services and that this coupling is done dynamically at run-time. The language is implemented on top of a process calculus which allows us to prove that the framework is sound by encoding its semantics into the underlying calculus. This provides a form of language security not available to other mobile agent languages developed using a more ah-doc approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
