A system state requirement dataset for modeling large model requirements

This dataset contains 100 natural language requirement documents for state machine models across various domains, including aviation control, urban construction systems, and other real-time systems. These documents describe system behaviors, state transitions, and control logic to support the design of UML state diagrams. The dataset aims to provide standardized, structured requirements for researchers and practitioners exploring automated model generation and quality assessment in software engineering.

本数据集包含100份面向状态机模型的自然语言需求文档，覆盖航空管制、城市建设系统及其他实时系统等多个领域。这些文档阐述了系统行为、状态转换与控制逻辑，可用于支撑统一建模语言（UML）状态图的设计工作。本数据集旨在为软件工程领域中探索自动化模型生成与质量评估方向的研究人员与行业从业者提供标准化、结构化的需求资源。