基于Agent的建模与仿真中的模型框架形式化描述

摘要

本文提出了一个包含实体、对象和Agent在内的三层模型抽象框架，并采用形式化规范的方法，利用Z语言来对基于Agent的模型进行了形式化规范描述，对基于Agent的建模与仿真中的实体、对象和Agent以及基于Agent的建模进行了清晰、精确的定义与描述。建立了基于Agent的模型形式化规范框架，为基于Agent的建模与仿真系统的构造与开发提供了理论与实践基础。