摘要
分析了已有的面向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.
出处
《石家庄铁道学院学报》
2006年第1期50-53,共4页
Journal of Shijiazhuang Railway Institute
基金
湖南省教育厅资助科研项目(02C107)
