一个适用于转换X-machine模型为Java代码的框架的设计与实现

The design and implementation of a framework for mapping X-machine models into Java source code

X-machine是一种形式化的、适用于动态系统建模的方法.首先介绍了该建模方法,然后设计、实现了一个可复用的、可转换X-machine模型为Java代码的框架,并给出在蚂蚁仿生系统中应用该框架的实例.

X-machine is a formal method of modeling which is well suited to the specification of reactive dynamic agents that require memory. A reusable framework has been created to easily map between the models and Java source code. This framework is presented in detail with an example of a Pharaoh＇s Ants simulation system.