The purpose of this paper is to provide a kind of formalized specification method for the Role Autonomous Decentrzlized System and lay the foundation for the formalized validation.

• 摘要旨在为角色自律分散系统的建模提供一种形式化方法，为形式化验证奠定基础。