arXiv 1403.31422014-03cs.CLcs.SE

ARSENAL: Automatic Requirements Specification Extraction from Natural Language

SRI International（SRI国际公司）；TTTech C. AG（TTTech股份公司）

Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner

英文摘要：

Requirements are informal and semi-formal descriptions of the expected behavior of a complex system from the viewpoints of its stakeholders (customers, users, operators, designers, and engineers). However, for the purpose of design, testing, and verification for critical systems, we can transform requirements into formal models that can be analyzed automatically. ARSENAL is a framework and methodology for systematically transforming natural language (NL) requirements into analyzable formal models and logic specifications. These models can be analyzed for consistency and implementability. The ARSENAL methodology is specialized to individual domains, but the approach is general enough to be adapted to new domains.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

AutoSpec：一种自动起草专利说明书的智能体框架

AutoSpec: An Agentic Framework for Automatically Drafting Patent Specification

Columbia University（哥伦比亚大学）

本文提出AutoSpec，一个安全智能体框架，通过将专利说明书起草分解为子任务并利用开源语言模型及定制工具，在自动与专家评估中优于现有基线。

2025-09-23cs.CL

TAPHSIR: Towards AnaPHoric Ambiguity Detection and ReSolution In Requirements

University of Luxembourg（卢森堡大学）；Deakin University（迪肯大学）；University of Ottawa（渥太华大学）

We introduce TAPHSIR, a tool for anaphoric ambiguity detection and anaphora resolution in requirements. TAPHSIR facilities reviewing the use of pronouns in a requirements specification and revising those pronouns that can lead to misunderstandings during the development process. To this end, TAPHSIR detects the requirements which have potential anaphoric ambiguity and further attempts interpreting anaphora occurrences automatically. TAPHSIR employs a hybrid solution composed of an ambiguity detection solution based on machine learning and an anaphora resolution solution based on a variant of t…

2022-06-21cs.CLcs.SE

从弱任务规范到科学提取智能体：优化任务构建

From Weak Task Specifications to Scientific Extraction Agents: Optimizing Task Construction

University of Science and Technology of China（中国科学技术大学）；State Key Laboratory of Cognitive Intelligence（认知智能全国重点实验室）；CCCC Second Highway Consultants Co., Ltd.（中交第二公路勘察设计研究院有限公司）

针对科学提取智能体，提出从弱任务规范自动构建任务配置并持续优化的框架，在异质催化文献上验证了联合优化模式与指令的有效性。

2026-09-29cs.CL

迈向大语言模型辅助的程序细化

Towards Large Language Model Aided Program Refinement

National University of Singapore（新加坡国立大学）；Griffith University（格里菲斯大学）；Peking University（北京大学）；Singapore Institute of Technology（新加坡科技设计大学）；Shanghai Jiaotong University（上海交通大学）；Singapore Management University（新加坡管理大学）

针对传统程序细化缺乏自动化及LLM生成代码不可靠的问题，提出LLM4PR工具，结合形式化细化演算与LLM自动生成并验证代码，确保代码正确性。

2024-06-26cs.AIcs.CLcs.SE

Automatic Extraction of Rules Governing Morphological Agreement

Carnegie Mellon University（卡内基梅隆大学）；George Mason University（乔治梅森大学）

Creating a descriptive grammar of a language is an indispensable step for language documentation and preservation. However, at the same time it is a tedious, time-consuming task. In this paper, we take steps towards automating this process by devising an automated framework for extracting a first-pass grammatical specification from raw text in a concise, human- and machine-readable format. We focus on extracting rules describing agreement, a morphosyntactic phenomenon at the core of the grammars of many of the world's languages. We apply our framework to all languages included in the Universal…

2020-10-06cs.CL

From Contracts in Structured English to CL Specifications

University of Gothenburg（哥德堡大学）；University of Oslo（奥斯陆大学）

In this paper we present a framework to analyze conflicts of contracts written in structured English. A contract that has manually been rewritten in a structured English is automatically translated into a formal language using the Grammatical Framework (GF). In particular we use the contract language CL as a target formal language for this translation. In our framework CL specifications could then be input into the tool CLAN to detect the presence of conflicts (whether there are contradictory obligations, permissions, and prohibitions. We also use GF to get a version in (restricted) English of…

2011-09-13cs.CLcs.FLcs.LO

更多相关论文收起更多论文

Using Large Pretrained Language Models for Answering User Queries from Product Specifications

Indian Institute of Technology Kharagpur（印度理工学院卡拉格普尔分校）；Flipkart（Flipkart公司）

While buying a product from the e-commerce websites, customers generally have a plethora of questions. From the perspective of both the e-commerce service provider as well as the customers, there must be an effective question answering system to provide immediate answers to the user queries. While certain questions can only be answered after using the product, there are many questions which can be answered from the product specification itself. Our work takes a first step in this direction by finding out the relevant product specifications, that can help answering the user questions. We propos…

2020-05-29cs.CLcs.IR

Specifying Logic Programs in Controlled Natural Language

Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge this conceptual gap we propose controlled natural language as a declarative and application-specific specification language. Controlled natural language is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage by non-specialists. Specifications in controlled natural language are automatically translated into Prolog clauses…

1995-07-21cmp-lgcs.CL