摘要：本文以面向Agent的软件工程技术研究为核心，提出了一种Agent、目标与情景结合的需求分析方法。该方法以用类自然语言SSDL撰写的一组情景实例为输入，其中每个情景实例均包含参与交互的外部参与者和系统内部提供相应服务的Agent的信息，表明实例要达成的业务目标。根据这些情景实例进行文法的归纳学习，学习的结果是系统的形式需求规约——一种带属性的上下文无关文法，称为系统情景文法。最后，将系统情景文法转化为用Agent-Z语言描述的Agent系统需求模型。

关键词：软件agent 情景实例 形式规约 文法归纳学习 

单位：清华大学软件学院 北京100084 国防科学技术大学计算机学院 湖南长沙410073