paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Modeling Like Peeling an Onion: Layerwise Analysis-Driven Automatic Behavioral Model Generation

像剥洋葱一样建模:分层分析驱动的自动行为模型生成
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10 · 论文属于LLM辅助需求工程与UML行为建模,和PL/AI交叉仅有较宽泛关联;但未涉及静态分析、Agentic程序分析、浮点程序分析或贝叶斯程序分析,也不是形式化验证方向。虽然使用LLM作为工具并有工业系统评估,但核心贡献是模型自动生成,与用户当前追踪的问题匹配度较低。引用 2 inbox
Yike Huang, Ming Hu, Xiaohong Chen, Zhi Jin, Shuyuan Xiao
crossref: 2026-09-12

AI 速览

一句话:提出 LATO,以分层分析策略引导 LLM 从需求文本生成可执行 UML 活动图,提升行为建模的准确性与完整性。

复杂软件与快速演进需求使人工行为建模难以兼顾效率、准确性和可扩展性,现有自动方法也缺乏对需求语义与嵌套系统逻辑的深层理解。本文提出 LATO:一种分层分析驱动的自动行为建模方法。它借鉴分析师逐层“剥洋葱”的策略,用渐进式分解引导大语言模型增量解析需求结构、解构行为依赖,并生成可执行 UML 活动图。在四个开源数据集和两个真实工业系统上,LATO 在准确性、完整性和语法合规性上全面优于现有基线:行为节点抽取 F1 最多提升 71.1%,关系抽取 F1 相对提升 52.4%,语法通过率高于 96.67%,且对输入扰动鲁棒,具有跨领域泛化能力。

问题
复杂软件需求快速演进,传统人工行为建模在效率、准确性和可扩展性上难以应对;现有自动方法对文本需求的深层语义与嵌套系统逻辑推理不足。
方法
提出 LATO,采用受“剥洋葱”启发的渐进式分层分解策略,引导 LLM 逐步解析需求结构、解构行为依赖并生成可执行 UML 活动图。
评估
在四个开源数据集和两个真实工业系统上评估,LATO 在准确性、完整性和语法合规性上优于 SOTA,节点抽取 F1 最高提升 71.1%,关系抽取 F1 相对提升 52.4%,语法通过率超过 96.67%,且对输入扰动鲁棒。
原文摘要(Abstract)

As software complexity skyrockets and requirements evolve at breakneck speed, traditional human-centric behavioral modeling can no longer keep pace in terms of efficiency, accuracy, and scalability. While existing automated approaches can produce models, they still struggle with deep semantic understanding of textual requirements or with reasoning about intricate system logic, especially nested relationships. Inspired by the way experienced analysts “peel back” layers of a problem, we propose LATO, a Layerwise Analysis-Driven AuTomatic Behavioral MOdeling approach. It employs a progressive decomposition strategy to guide large language models in incrementally parsing requirement structures, deconstructing behavioral dependencies, and ultimately generating executable UML activity diagrams. Comprehensive evaluations on four open-source datasets and two real-world industrial systems show that LATO comprehensively outperforms state-of-the-art baselines in accuracy, completeness, and syntactic compliance: F1 scores for behavioral node-extraction improve by up to 71.1%, relation-extraction F1 by 52.4% relatively, and syntactic pass rates remain above 96.67%. The framework also exhibits strong robustness to input perturbations, confirming its cross-domain generalizability. This paper is the first to tightly fuse human-inspired strategies with LLMs in behavior modeling, yielding an intelligent infrastructure that exhibits expert-level logical understanding and generalization. By closing the modeling-skills gap, LATO delivers a next-generation, low-cost, and explainable solution for requirements engineering and AI-native software development.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11661,
  title = {Modeling Like Peeling an Onion: Layerwise Analysis-Driven Automatic Behavioral Model Generation},
  author = {Yike Huang and Ming Hu and Xiaohong Chen and Zhi Jin and Shuyuan Xiao},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3787806}
}