7 papers
Exploring and Complementing End Users' Requirements in IoT enabled System
Haotian Li, Xiaohong Chen, Zhi Jin +4
End users create IoT automation rules via trigger action programming, but their expressions are often fragmented, capturing device operations rather than high level intents. This g…
From Chat to Interview: Agentic Requirements Elicitation with an Experience Ontology
Dongming Jin, Zhi Jin, Yaotian Yang +5
Requirements elicitation interviews are crucial and time-consuming in requirements engineering, but heavily rely on the experience of requirements analysts. Although recent advance…
ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
Yue Fang, Zhi Jin, Jie An +3
Signal Temporal Logic (STL) is a formal language for specifying real-time behaviors of cyber-physical systems (CPS). Automatically transforming natural language requirements into S…
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
Yue Fang, Jin Zhi, Jie An +3
Signal Temporal Logic (STL) is a powerful formal language for specifying real-time specifications of Cyber-Physical Systems (CPS). Transforming specifications written in natural la…
Automated Concern Extraction from Textual Requirements of Cyber-Physical Systems: A Multi-solution Study
Dongming Jin, Zhi Jin, Xiaohong Chen +5
Cyber-physical systems (CPSs) are characterized by a deep integration of the information space and the physical world, which makes the extraction of requirements concerns more chal…
Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
Yue Fang, Zhi Jin, Jie An +3
Temporal Logic (TL), especially Signal Temporal Logic (STL), enables precise formal specification, making it widely used in cyber-physical systems such as autonomous driving and ro…