一种基于时间事件因果关系抽取的需求确认方法

本发明提供一种基于时间事件因果关系抽取的需求确认方法，所述方法包括：定义时间事件因果关系，制作由自然语言描述的需求构成的用于训练分类模型和事件关系抽取模型的数据集，得到训练好的的分类模型和事件关系抽取模型；根据事先定义的时间事件因果关系，使用训练好的分类模型筛选出包含时间事件因果关系的语句并给出所属关系的类型；对包含时间事件因果关系的需求语句，使用训练好的事件关系抽取模型，识别出时间事件因果关系的各个要素；将抽取出的时间事件因果关系转化为待检测性质，将系统设计模型转化为UPPAAL模型，调用UPPAAL模型检测器检查模型对性质的满足性；根据检测结果，生成自然语言描述的需求确认问题，从而实现需求确认的自动化。