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.

翻译：复杂系统的手工建模是一项艰巨任务；尽管存在大量缓解该问题的方法，但挑战依然严峻。生成式AI的最新进展催生了通用型聊天机器人，能够辅助软件工程师完成各类建模任务。然而，这些聊天机器人通常不够精确，对其非结构化使用可能导致错误的系统模型。本文提出一种更安全、结构化地使用聊天机器人参与建模过程的方法。为简化这一整合过程，我们提议利用已知能促进模型自动化分析的基于场景的建模技术。我们认为，通过迭代调用聊天机器人并对生成模型进行人工与自动检验，最终可获得更精确的系统模型。本文描述了初步有益结果，充分凸显了该方法的潜力。