论文部分内容阅读
为了支持多Agent软件系统的设计与开发，提出了一种基于形式化方法的Agent行为的定义与描述方法。该方法从Agent的状态、动作、动作序列到活动，采用形式化描述语言，逐步建立对Agent行为的定义和描述，该方法结构清晰，可理解性和可操作性强，能够有效地表棕并发性的Agent行为，为在基于AOSE的多Agent软件系统设计中，进行Agent行为特征的分析、定义和描述提供了一套有效方法。