作　　者： ; ;

机构地区： 湖南文理学院计算机科学与技术学院

出　　处： 《石家庄铁道学院学报》 2006年第1期50-53,共4页

摘　　要： 分析了已有的面向Agent软件工程方法中Agent建模存在的问题,针对Agent的并发性和不确定性的特点,提出了采用具有不确定性和并发性特点的ConGolog语言描述Agent建模的方法。所建议的方法不仅给出了Agent的语义、形式化描述,并且能对Agent的模型进行验证。 This paper discuses problems and shortcomings in the modeling with existing Agent - Oriented software methodologies,. Based on concurrent and Nondeterminism , we propose a novel approach of modeling dynamic Agent, which is not only to define semantics of Agent , to formulate specification , but also automatical- ly to verify models.

关 键 词： 建模 并发性 不确定性

领　　域： [自动化与计算机技术] [自动化与计算机技术]