[Paper] Exploring and Complementing End Users' Requirements in IoT enabled System

Source: arXiv - 2606.10598v1

Overview

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 gap leads to missing conditions, logical conflicts, and overlooked safety constraints, risking hazardous behaviors. To address this, we propose an intent driven requirements completion approach that reframes rule completion as a dual process: reconstructing intent from fragmented rules, then regenerating rules from that intent, with safety embedded throughout. We introduce a Bidirectional Requirements Traceability Tree, a three layer model linking rules, intents, and quality concerns, and design a multiagent framework that combines LLM reasoning with structured traceability. This enables completions that are both functionally complete and inherently safe, while remaining traceable and explainable. Evaluation shows our method significantly outperforms the baselines, improving the rule completion rate by 43% and reducing logical conflicts by over 21%. By grounding completion in intent understanding, we shift the paradigm from user to system responsibility, and from functional correctness to holistic trustworthiness.

Key Contributions

This paper presents research in the following areas:

• cs.SE

Methodology

Please refer to the full paper for detailed methodology.

Practical Implications

This research contributes to the advancement of cs.SE.

Authors

• Haotian Li
• Xiaohong Chen
• Zhi Jin
• Shuyuan Xiao
• Chenxu Wang
• Haoxiang Yan
• Xiaoyi Chen

Paper Information

• arXiv ID: 2606.10598v1
• Categories: cs.SE
• Published: June 9, 2026
• PDF: Download PDF