用大模型自动把自然语言需求转为可验证的正式规格
Formalising Software Requirements using Large Language Models
- 结合大模型与本体技术，从需求文本生成形式化规格
- 支持从设计到实现全程的需求可追溯性
- 适合需要高可靠性软件的系统工程团队
本文简要介绍我们新启动的VERIFAI项目：自然语言需求的可追溯性与验证。该项目旨在解决形式化规格在需求可追溯性和验证中的挑战，提供从初始软件设计阶段到系统实现与验证过程中，自动生成形式化规格并建立需求追溯链的支持。研究方法包括自然语言处理、利用本体描述软件系统领域、基于相似性的已有软件构件复用，以及使用大语言模型识别和声明规格，并通过人工智能引导整个流程。
原文摘要 · Abstract (English)
This paper is a brief introduction to our recently initiated project named VERIFAI: Traceability and verification of natural language requirements. The project addresses the challenges in the traceability and verification of formal specifications through providing support for the automatic generation of the formal specifications and the traceability of the requirements from the initial software design stage through the systems implementation and verification. Approaches explored in this project include Natural Language Processing, use of ontologies to describe the software system domain, reuse of existing software artefacts from similar systems (i.e. through similarity based reuse) and large language models to identify and declare the specifications as well as use of artificial intelligence to guide the process.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。