2024/01/04 by David Harel, Guy Katz, Harel, David +5 · 2 citations
Business, Management and Accounting · Computer Science · Decision Sciences · #68N19 #Business Process Modeling and Analysis #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Simulation Techniques and Applications #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.2401.02245
openalex publication_date 2024/01/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The manual modeling of complex systems is a daunting task; and although a plethora of methods exist that mitigate this issue, the problem remains very difficult. Recent advances in generative AI have allowed the creation of general-purpose chatbots, capable of assisting software engineers in various modeling tasks. However, these chatbots are often inaccurate, and an unstructured use thereof could result in erroneous system models. In this paper, we outline a method for the safer and more structured use of chatbots as part of the modeling process. To streamline this integration, we propose leveraging scenario-based modeling techniques, which are known to facilitate the automated analysis of models. We argue that through iterative invocations of the chatbot and the manual and automatic inspection of the resulting models, a more accurate system model can eventually be obtained. We describe favorable preliminary results, which highlight the potential of this approach.