Search papers, labs, and topics across Lattice.
This paper addresses the challenges of fragmented expressions in IoT automation rules by introducing an intent-driven requirements completion approach that reconstructs user intent and regenerates rules accordingly. The authors develop a Bidirectional Requirements Traceability Tree to link rules, intents, and quality concerns, and implement a multiagent framework that integrates LLM reasoning with structured traceability. Evaluation results demonstrate a 43% improvement in rule completion rates and a 21% reduction in logical conflicts, emphasizing a shift from user responsibility to system accountability in ensuring safety and trustworthiness.
Intent-driven rule completion in IoT systems can boost completion rates by 43% while embedding safety and traceability throughout the process.
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.
